31 files changed, 1599 insertions, 0 deletions

diff --git a/doc/resource-files/copy.svg b/doc/resource-files/copy.svg
new file mode 100644
index 0000000..b07ac7e
--- /dev/null
+++ b/doc/resource-files/copy.svg
@@ -0,0 +1,15 @@
+<?xml version="1.0" encoding="UTF-8"?>
+
+<!--
+ Copyright (c) 2021, 2024, Oracle and/or its affiliates. All rights reserved.
+ DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
+
+ Licensed under the Universal Permissive License v 1.0 as shown at https://oss.oracle.com/licenses/upl/
+-->
+
+<svg version="1.1" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 380 460" fill="#505050">
+  <path
+     d="M 346,8 H 108 C 90,8 75,23 75,41 v 316 c 0,18 15,33 33,33 h 238 c 18,0 33,-15 33,-33 V 41 C 379,23 364,8 346,8 Z m -8,344 H 116 c -2,0 -3,-1 -3,-3 V 49 c 0,-2 1,-3 3,-3 h 222 c 2,0 3,1 3,3 v 300 h 10e-4 c 0,2 -1,3 -3,3 z"/>
+  <path
+     d="m 290,389 v 26 h 10e-4 c 0,2 -1,3 -3,3 H 49 c -2,0 -3,-1 -3,-3 V 99 c 0,-2 1,-3 3,-3 h 27 v 0 l -5e-4,-38 H 41 C 23,58 8,73 8,91 v 332 c 10e-4,18 15,33 33,33 h 254 c 18,0 33,-15 33,-33 v -34"/>
+</svg>
diff --git a/doc/resource-files/fonts/DejaVuLGCSans-Bold.woff b/doc/resource-files/fonts/DejaVuLGCSans-Bold.woff
new file mode 100644
index 0000000..63a79c0
--- /dev/null
+++ b/doc/resource-files/fonts/DejaVuLGCSans-Bold.woff
diff --git a/doc/resource-files/fonts/DejaVuLGCSans-Bold.woff2 b/doc/resource-files/fonts/DejaVuLGCSans-Bold.woff2
new file mode 100644
index 0000000..0665554
--- /dev/null
+++ b/doc/resource-files/fonts/DejaVuLGCSans-Bold.woff2
diff --git a/doc/resource-files/fonts/DejaVuLGCSans-BoldOblique.woff b/doc/resource-files/fonts/DejaVuLGCSans-BoldOblique.woff
new file mode 100644
index 0000000..dead290
--- /dev/null
+++ b/doc/resource-files/fonts/DejaVuLGCSans-BoldOblique.woff
diff --git a/doc/resource-files/fonts/DejaVuLGCSans-BoldOblique.woff2 b/doc/resource-files/fonts/DejaVuLGCSans-BoldOblique.woff2
new file mode 100644
index 0000000..89328f3
--- /dev/null
+++ b/doc/resource-files/fonts/DejaVuLGCSans-BoldOblique.woff2
diff --git a/doc/resource-files/fonts/DejaVuLGCSans-Oblique.woff b/doc/resource-files/fonts/DejaVuLGCSans-Oblique.woff
new file mode 100644
index 0000000..6c62443
--- /dev/null
+++ b/doc/resource-files/fonts/DejaVuLGCSans-Oblique.woff
diff --git a/doc/resource-files/fonts/DejaVuLGCSans-Oblique.woff2 b/doc/resource-files/fonts/DejaVuLGCSans-Oblique.woff2
new file mode 100644
index 0000000..8a50fa1
--- /dev/null
+++ b/doc/resource-files/fonts/DejaVuLGCSans-Oblique.woff2
diff --git a/doc/resource-files/fonts/DejaVuLGCSans.woff b/doc/resource-files/fonts/DejaVuLGCSans.woff
new file mode 100644
index 0000000..a0f1efa
--- /dev/null
+++ b/doc/resource-files/fonts/DejaVuLGCSans.woff
diff --git a/doc/resource-files/fonts/DejaVuLGCSans.woff2 b/doc/resource-files/fonts/DejaVuLGCSans.woff2
new file mode 100644
index 0000000..fecdbd8
--- /dev/null
+++ b/doc/resource-files/fonts/DejaVuLGCSans.woff2
diff --git a/doc/resource-files/fonts/DejaVuLGCSansMono-Bold.woff b/doc/resource-files/fonts/DejaVuLGCSansMono-Bold.woff
new file mode 100644
index 0000000..9f646ba
--- /dev/null
+++ b/doc/resource-files/fonts/DejaVuLGCSansMono-Bold.woff
diff --git a/doc/resource-files/fonts/DejaVuLGCSansMono-Bold.woff2 b/doc/resource-files/fonts/DejaVuLGCSansMono-Bold.woff2
new file mode 100644
index 0000000..346de2d
--- /dev/null
+++ b/doc/resource-files/fonts/DejaVuLGCSansMono-Bold.woff2
diff --git a/doc/resource-files/fonts/DejaVuLGCSansMono-BoldOblique.woff b/doc/resource-files/fonts/DejaVuLGCSansMono-BoldOblique.woff
new file mode 100644
index 0000000..7a6b3ac
--- /dev/null
+++ b/doc/resource-files/fonts/DejaVuLGCSansMono-BoldOblique.woff
diff --git a/doc/resource-files/fonts/DejaVuLGCSansMono-BoldOblique.woff2 b/doc/resource-files/fonts/DejaVuLGCSansMono-BoldOblique.woff2
new file mode 100644
index 0000000..ede24ef
--- /dev/null
+++ b/doc/resource-files/fonts/DejaVuLGCSansMono-BoldOblique.woff2
diff --git a/doc/resource-files/fonts/DejaVuLGCSansMono-Oblique.woff b/doc/resource-files/fonts/DejaVuLGCSansMono-Oblique.woff
new file mode 100644
index 0000000..892833b
--- /dev/null
+++ b/doc/resource-files/fonts/DejaVuLGCSansMono-Oblique.woff
diff --git a/doc/resource-files/fonts/DejaVuLGCSansMono-Oblique.woff2 b/doc/resource-files/fonts/DejaVuLGCSansMono-Oblique.woff2
new file mode 100644
index 0000000..9e90514
--- /dev/null
+++ b/doc/resource-files/fonts/DejaVuLGCSansMono-Oblique.woff2
diff --git a/doc/resource-files/fonts/DejaVuLGCSansMono.woff b/doc/resource-files/fonts/DejaVuLGCSansMono.woff
new file mode 100644
index 0000000..e94e844
--- /dev/null
+++ b/doc/resource-files/fonts/DejaVuLGCSansMono.woff
diff --git a/doc/resource-files/fonts/DejaVuLGCSansMono.woff2 b/doc/resource-files/fonts/DejaVuLGCSansMono.woff2
new file mode 100644
index 0000000..9460c05
--- /dev/null
+++ b/doc/resource-files/fonts/DejaVuLGCSansMono.woff2
diff --git a/doc/resource-files/fonts/DejaVuLGCSerif-Bold.woff b/doc/resource-files/fonts/DejaVuLGCSerif-Bold.woff
new file mode 100644
index 0000000..0f38846
--- /dev/null
+++ b/doc/resource-files/fonts/DejaVuLGCSerif-Bold.woff
diff --git a/doc/resource-files/fonts/DejaVuLGCSerif-Bold.woff2 b/doc/resource-files/fonts/DejaVuLGCSerif-Bold.woff2
new file mode 100644
index 0000000..d65a5e9
--- /dev/null
+++ b/doc/resource-files/fonts/DejaVuLGCSerif-Bold.woff2
diff --git a/doc/resource-files/fonts/DejaVuLGCSerif-BoldItalic.woff b/doc/resource-files/fonts/DejaVuLGCSerif-BoldItalic.woff
new file mode 100644
index 0000000..63fd5e3
--- /dev/null
+++ b/doc/resource-files/fonts/DejaVuLGCSerif-BoldItalic.woff
diff --git a/doc/resource-files/fonts/DejaVuLGCSerif-BoldItalic.woff2 b/doc/resource-files/fonts/DejaVuLGCSerif-BoldItalic.woff2
new file mode 100644
index 0000000..e29307e
--- /dev/null
+++ b/doc/resource-files/fonts/DejaVuLGCSerif-BoldItalic.woff2
diff --git a/doc/resource-files/fonts/DejaVuLGCSerif-Italic.woff b/doc/resource-files/fonts/DejaVuLGCSerif-Italic.woff
new file mode 100644
index 0000000..5df6d00
--- /dev/null
+++ b/doc/resource-files/fonts/DejaVuLGCSerif-Italic.woff
diff --git a/doc/resource-files/fonts/DejaVuLGCSerif-Italic.woff2 b/doc/resource-files/fonts/DejaVuLGCSerif-Italic.woff2
new file mode 100644
index 0000000..61ff146
--- /dev/null
+++ b/doc/resource-files/fonts/DejaVuLGCSerif-Italic.woff2
diff --git a/doc/resource-files/fonts/DejaVuLGCSerif.woff b/doc/resource-files/fonts/DejaVuLGCSerif.woff
new file mode 100644
index 0000000..280e378
--- /dev/null
+++ b/doc/resource-files/fonts/DejaVuLGCSerif.woff
diff --git a/doc/resource-files/fonts/DejaVuLGCSerif.woff2 b/doc/resource-files/fonts/DejaVuLGCSerif.woff2
new file mode 100644
index 0000000..bbd32cd
--- /dev/null
+++ b/doc/resource-files/fonts/DejaVuLGCSerif.woff2
diff --git a/doc/resource-files/fonts/dejavu.css b/doc/resource-files/fonts/dejavu.css
new file mode 100644
index 0000000..b450caa
--- /dev/null
+++ b/doc/resource-files/fonts/dejavu.css
@@ -0,0 +1,104 @@
+/*
+ * Copyright (c) 2024, Oracle and/or its affiliates. All rights reserved.
+ * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
+ *
+ * Licensed under the Universal Permissive License v 1.0 as shown at https://oss.oracle.com/licenses/upl/
+ */
+
+/* DejaVu fonts v2.37 */
+
+@font-face {
+  font-family: 'DejaVu Sans Mono';
+  src: url('DejaVuLGCSansMono.woff2') format('woff2'),
+       url('DejaVuLGCSansMono.woff') format('woff');
+  font-weight: normal;
+  font-style: normal;
+}
+
+@font-face {
+  font-family: 'DejaVu Sans Mono';
+  src: url('DejaVuLGCSansMono-Oblique.woff2') format('woff2'),
+       url('DejaVuLGCSansMono-Oblique.woff') format('woff');
+  font-weight: normal;
+  font-style: italic;
+}
+
+@font-face {
+  font-family: 'DejaVu Sans Mono';
+  src: url('DejaVuLGCSansMono-Bold.woff2') format('woff2'),
+       url('DejaVuLGCSansMono-Bold.woff') format('woff');
+  font-weight: bold;
+  font-style: normal;
+}
+
+@font-face {
+  font-family: 'DejaVu Sans Mono';
+  src: url('DejaVuLGCSansMono-BoldOblique.woff2') format('woff2'),
+       url('DejaVuLGCSansMono-BoldOblique.woff') format('woff');
+  font-weight: bold;
+  font-style: italic;
+}
+
+@font-face {
+  font-family: 'DejaVu Sans';
+  src: url('DejaVuLGCSans.woff2') format('woff2'),
+       url('DejaVuLGCSans.woff') format('woff');
+  font-weight: normal;
+  font-style: normal;
+}
+
+@font-face {
+  font-family: 'DejaVu Sans';
+  src: url('DejaVuLGCSans-Oblique.woff2') format('woff2'),
+       url('DejaVuLGCSans-Oblique.woff') format('woff');
+  font-weight: normal;
+  font-style: italic;
+}
+
+@font-face {
+  font-family: 'DejaVu Sans';
+  src: url('DejaVuLGCSans-Bold.woff2') format('woff2'),
+       url('DejaVuLGCSans-Bold.woff') format('woff');
+  font-weight: bold;
+  font-style: normal;
+}
+
+@font-face {
+  font-family: 'DejaVu Sans';
+  src: url('DejaVuLGCSans-BoldOblique.woff2') format('woff2'),
+       url('DejaVuLGCSans-BoldOblique.woff') format('woff');
+  font-weight: bold;
+  font-style: italic;
+}
+
+@font-face {
+  font-family: 'DejaVu Serif';
+  src: url('DejaVuLGCSerif.woff2') format('woff2'),
+       url('DejaVuLGCSerif.woff') format('woff');
+  font-weight: normal;
+  font-style: normal;
+}
+
+@font-face {
+  font-family: 'DejaVu Serif';
+  src: url('DejaVuLGCSerif-Italic.woff2') format('woff2'),
+       url('DejaVuLGCSerif-Italic.woff') format('woff');
+  font-weight: normal;
+  font-style: italic;
+}
+
+@font-face {
+  font-family: 'DejaVu Serif';
+  src: url('DejaVuLGCSerif-Bold.woff2') format('woff2'),
+       url('DejaVuLGCSerif-Bold.woff') format('woff');
+  font-weight: bold;
+  font-style: normal;
+}
+
+@font-face {
+  font-family: 'DejaVu Serif';
+  src: url('DejaVuLGCSerif-BoldItalic.woff2') format('woff2'),
+       url('DejaVuLGCSerif-BoldItalic.woff') format('woff');
+  font-weight: bold;
+  font-style: italic;
+}
diff --git a/doc/resource-files/glass.png b/doc/resource-files/glass.png
new file mode 100644
index 0000000..a7f591f
--- /dev/null
+++ b/doc/resource-files/glass.png
diff --git a/doc/resource-files/jquery-ui.min.css b/doc/resource-files/jquery-ui.min.css
new file mode 100644
index 0000000..693327f
--- /dev/null
+++ b/doc/resource-files/jquery-ui.min.css
@@ -0,0 +1,6 @@
+/*! jQuery UI - v1.13.2 - 2023-02-27
+* http://jqueryui.com
+* Includes: core.css, autocomplete.css, menu.css
+* Copyright jQuery Foundation and other contributors; Licensed MIT */
+
+.ui-helper-hidden{display:none}.ui-helper-hidden-accessible{border:0;clip:rect(0 0 0 0);height:1px;margin:-1px;overflow:hidden;padding:0;position:absolute;width:1px}.ui-helper-reset{margin:0;padding:0;border:0;outline:0;line-height:1.3;text-decoration:none;font-size:100%;list-style:none}.ui-helper-clearfix:before,.ui-helper-clearfix:after{content:"";display:table;border-collapse:collapse}.ui-helper-clearfix:after{clear:both}.ui-helper-zfix{width:100%;height:100%;top:0;left:0;position:absolute;opacity:0;-ms-filter:"alpha(opacity=0)"}.ui-front{z-index:100}.ui-state-disabled{cursor:default!important;pointer-events:none}.ui-icon{display:inline-block;vertical-align:middle;margin-top:-.25em;position:relative;text-indent:-99999px;overflow:hidden;background-repeat:no-repeat}.ui-widget-icon-block{left:50%;margin-left:-8px;display:block}.ui-widget-overlay{position:fixed;top:0;left:0;width:100%;height:100%}.ui-autocomplete{position:absolute;top:0;left:0;cursor:default}.ui-menu{list-style:none;padding:0;margin:0;display:block;outline:0}.ui-menu .ui-menu{position:absolute}.ui-menu .ui-menu-item{margin:0;cursor:pointer;list-style-image:url("data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7")}.ui-menu .ui-menu-item-wrapper{position:relative;padding:3px 1em 3px .4em}.ui-menu .ui-menu-divider{margin:5px 0;height:0;font-size:0;line-height:0;border-width:1px 0 0 0}.ui-menu .ui-state-focus,.ui-menu .ui-state-active{margin:-1px}.ui-menu-icons{position:relative}.ui-menu-icons .ui-menu-item-wrapper{padding-left:2em}.ui-menu .ui-icon{position:absolute;top:0;bottom:0;left:.2em;margin:auto 0}.ui-menu .ui-menu-icon{left:auto;right:0}
\ No newline at end of file
diff --git a/doc/resource-files/link.svg b/doc/resource-files/link.svg
new file mode 100644
index 0000000..2bbac38
--- /dev/null
+++ b/doc/resource-files/link.svg
@@ -0,0 +1,13 @@
+<?xml version="1.0" encoding="UTF-8"?>
+
+<!--
+ Copyright (c) 2023, 2024, Oracle and/or its affiliates. All rights reserved.
+ DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
+
+ Licensed under the Universal Permissive License v 1.0 as shown at https://oss.oracle.com/licenses/upl/
+-->
+
+<svg version="1.1" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 256 256" fill="#505050">
+    <path d="M32 239.3c18.2 16.7 57.1 15.4 74.5-1.7l30.9-32c8.3-8.8 4.8-15.1.7-19.9-4.7-3-12-8.1-20.4.5l-29.4 29.6a29.4 29.4 0 0 1-39.4.9l-8-7c-8.8-9.4-11-28.3-.8-38.8l49.8-51.3c7.2-6.6 21.3-10 36.1-2.4 6.9 5.4 15.6 15.7 26 6.2 9.9-11.2 2.9-20.4-10-29.3-18.7-12.6-52-14.8-70.4 3.8L17 154.2c-20 20.2-11.3 58 1.7 71.5a69 69 0 0 0 13.2 13.6z"/>
+    <path d="M223.2 17.5c-18.4-16.6-57.3-15.3-74.6 2l-30.8 31.9c-8.3 9-4.8 15.2-.7 20 4.8 3 12.1 8 20.5-.6 4.8-5 29.3-29.6 29.3-29.6a29.4 29.4 0 0 1 39.4-1l8 6.8c8.8 9.5 11 28.3.9 38.9l-49.6 51.4c-7.2 6.7-21.3 10.1-36.1 2.6-7-5.4-15.7-15.7-26.1-6.2-9.8 11.2-2.8 20.4 10.2 29.3 18.7 12.5 52 14.7 70.3-4l54.4-56.5c20-20.3 11.2-58-1.9-71.5a69 69 0 0 0-13.2-13.5Z"/>
+</svg>
diff --git a/doc/resource-files/stylesheet.css b/doc/resource-files/stylesheet.css
new file mode 100644
index 0000000..8086e0d
--- /dev/null
+++ b/doc/resource-files/stylesheet.css
@@ -0,0 +1,1461 @@
+/*
+ * Copyright (c) 2010, 2024, Oracle and/or its affiliates. All rights reserved.
+ * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
+ *
+ * Licensed under the Universal Permissive License v 1.0 as shown at https://oss.oracle.com/licenses/upl/
+ */
+
+/*
+ * Javadoc style sheet
+ */
+
+@import url('fonts/dejavu.css');
+
+/*
+ * These CSS custom properties (variables) define the core color and font
+ * properties used in this stylesheet.
+ */
+:root {
+    /* body, block and code fonts */
+    --body-font-family: 'DejaVu Sans', Arial, Helvetica, sans-serif;
+    --block-font-family: 'DejaVu Serif', Georgia, "Times New Roman", Times, serif;
+    --code-font-family: 'DejaVu Sans Mono', monospace;
+    /* Base font sizes for body and code elements */
+    --body-font-size: 14px;
+    --block-font-size: 14px;
+    --code-font-size: 14px;
+    --nav-font-size: 13.2px;
+    /* Line height for continuous text blocks */
+    --block-line-height: 1.4em;
+    /* Text colors for body and block elements */
+    --body-text-color: #353833;
+    --block-text-color: #474747;
+    /* Background colors for various structural elements */
+    --body-background-color: #ffffff;
+    --section-background-color: #f8f8f8;
+    --detail-background-color: #ffffff;
+    /* Colors for navigation bar and table captions */
+    --navbar-background-color: #4D7A97;
+    --navbar-text-color: #ffffff;
+    /* Background color for subnavigation and various headers */
+    --subnav-background-color: #dee3e9;
+    /* Background and text colors for selected tabs and navigation items */
+    --selected-background-color: #f8981d;
+    --selected-text-color: #253441;
+    --selected-link-color: #1f389c;
+    /* Background colors for generated tables */
+    --even-row-color: #ffffff;
+    --odd-row-color: #eeeeef;
+    /* Text color for page title */
+    --title-color: #2c4557;
+    /* Text colors for links */
+    --link-color: #4A6782;
+    --link-color-active: #bb7a2a;
+    /* Snippet colors */
+    --snippet-background-color: #ebecee;
+    --snippet-text-color: var(--block-text-color);
+    --snippet-highlight-color: #f7c590;
+    /* Border colors for structural elements and user defined tables */
+    --border-color: #ededed;
+    --table-border-color: #000000;
+    /* Search input colors */
+    --search-input-background-color: #ffffff;
+    --search-input-text-color: #000000;
+    --search-input-placeholder-color: #909090;
+    /* Highlight color for active search tag target */
+    --search-tag-highlight-color: #ffff00;
+    /* Adjustments for icon and active background colors of copy-to-clipboard buttons */
+    --copy-icon-brightness: 100%;
+    --copy-button-background-color-active: rgba(168, 168, 176, 0.3);
+    /* Colors for invalid tag notifications */
+    --invalid-tag-background-color: #ffe6e6;
+    --invalid-tag-text-color: #000000;
+    /* Navigation bar dimensions */
+    --top-nav-height: 44px;
+    --sub-nav-height: 34px;
+    --nav-height: calc(var(--top-nav-height) + var(--sub-nav-height));
+    scroll-behavior: smooth;
+}
+/*
+ * Styles for individual HTML elements.
+ *
+ * These are styles that are specific to individual HTML elements. Changing them affects the style of a particular
+ * HTML element throughout the page.
+ */
+body {
+    background-color:var(--body-background-color);
+    color:var(--body-text-color);
+    font-family:var(--body-font-family);
+    font-size:var(--body-font-size);
+    margin:0;
+    padding:0;
+    height:100%;
+    width:100%;
+}
+main [id] {
+    scroll-margin-top: calc(var(--nav-height) + 6px);
+}
+a:link, a:visited {
+    text-decoration:none;
+    color:var(--link-color);
+}
+a[href]:hover, a[href]:active {
+    text-decoration:none;
+    color:var(--link-color-active);
+}
+pre {
+    font-family:var(--code-font-family);
+    font-size:var(--code-font-size);
+}
+h1 {
+    font-size:1.428em;
+}
+h2 {
+    font-size:1.285em;
+}
+h3 {
+    font-size:1.14em;
+}
+h4 {
+    font-size:1.072em;
+}
+h5 {
+    font-size:1.001em;
+}
+h6 {
+    font-size:0.93em;
+}
+/* Disable font boosting for selected elements */
+h1, h2, h3, h4, h5, h6, div.member-signature {
+    max-height: 1000em;
+}
+ul {
+    list-style-type:disc;
+}
+code, tt {
+    font-family:var(--code-font-family);
+}
+:not(h1, h2, h3, h4, h5, h6) > code,
+:not(h1, h2, h3, h4, h5, h6) > tt {
+    font-size:var(--code-font-size);
+    line-height:1.4em;
+}
+dt code {
+    font-family:var(--code-font-family);
+    font-size:1em;
+    padding-top:4px;
+}
+.summary-table dt code {
+    font-family:var(--code-font-family);
+    font-size:1em;
+    vertical-align:top;
+    padding-top:4px;
+}
+sup {
+    font-size:8px;
+}
+button {
+    font-family: var(--body-font-family);
+    font-size: 1em;
+}
+hr {
+    border-color: #aaa;
+}
+/*
+ * Styles for HTML generated by javadoc.
+ *
+ * These are style classes that are used by the standard doclet to generate HTML documentation.
+ */
+
+/*
+ * Styles for document title and copyright.
+ */
+.about-language {
+    flex: 0 0 auto;
+    padding:0 20px;
+    margin:0;
+    font-size:0.915em;
+    max-width: 50%;
+    white-space: nowrap;
+}
+.legal-copy {
+}
+/*
+ * Styles for navigation bar.
+ */
+@media screen {
+    header {
+        position:sticky;
+        top:0;
+        z-index:2;
+        background: var(--body-background-color);
+    }
+}
+.nav-content {
+    display:flex;
+    flex-direction: row;
+    align-items: center;
+    width: 100%;
+    height: 100%;
+}
+.top-nav {
+    background-color:var(--navbar-background-color);
+    color:var(--navbar-text-color);
+    width:100%;
+    height:var(--top-nav-height);
+    overflow:visible;
+    font-size:0.857em;
+    position:relative;
+}
+.top-nav nav.toc {
+    display: none;
+    flex-direction: column;
+}
+.top-nav nav.toc button.show-sidebar,
+.top-nav nav.toc button.hide-sidebar {
+    display: none;
+}
+button#navbar-toggle-button {
+    display:none;
+}
+ul.nav-list {
+    display:inline-flex;
+    margin:0;
+    padding-left:4px;
+    flex: 1 1 auto;
+    white-space: nowrap;
+}
+ul.nav-list li {
+    list-style:none;
+    padding: 5px 6px;
+    text-transform:uppercase;
+    height: 1.2em;
+}
+div.sub-nav {
+    background-color:var(--subnav-background-color);
+    width:100%;
+    overflow:hidden;
+    font-size:var(--nav-font-size);
+    height: var(--sub-nav-height);
+}
+ol.sub-nav-list {
+    flex: 1 1 90%;
+    line-height: 1.8em;
+    display: inline-flex;
+    overflow: auto;
+    scroll-snap-type: x mandatory;
+    scroll-padding-left: 13px;
+    scrollbar-width: none;
+    padding-left:6px;
+    white-space: nowrap;
+    margin:0;
+}
+ol.sub-nav-list::-webkit-scrollbar {
+    display: none;
+}
+ol.sub-nav-list li {
+    list-style:none;
+    scroll-snap-align: start;
+}
+ol.sub-nav-list li:not(:first-child) {
+    list-style-type: " > ";
+    margin-left: 20px;
+}
+ol.sub-nav-list a {
+    padding: 3px;
+}
+ol.sub-nav-list a.current-selection {
+    background-color: var(--section-background-color);
+    border-radius: 4px;
+}
+.sub-nav .nav-list-search {
+    flex: 1 1 10%;
+    margin:0;
+    padding:6px;
+    position:relative;
+    white-space: nowrap;
+}
+.top-nav .nav-list a:link, .top-nav .nav-list a:active, .top-nav .nav-list a:visited {
+    color:var(--navbar-text-color);
+    text-decoration:none;
+    text-transform:uppercase;
+}
+.top-nav .nav-list a:hover {
+    color:var(--link-color-active);
+}
+.nav-bar-cell1-rev {
+    background-color:var(--selected-background-color);
+    color:var(--selected-text-color);
+    margin: 0 5px;
+}
+.skip-nav {
+    position:absolute;
+    top:auto;
+    left:-9999px;
+    overflow:hidden;
+}
+/*
+ * Hide navigation links and search box in print layout
+ */
+@media print {
+    ul.nav-list, div.sub-nav  {
+        display:none;
+    }
+}
+/*
+ * Styles for page header.
+ */
+.title {
+    color:var(--title-color);
+    margin:10px 0;
+}
+.sub-title {
+    margin:5px 0 0 0;
+}
+ul.contents-list {
+    margin: 0 0 15px 0;
+    padding: 0;
+    list-style: none;
+}
+ul.contents-list li {
+    font-size:0.93em;
+}
+/*
+ * Styles for headings.
+ */
+body.class-declaration-page .summary h2,
+body.class-declaration-page .details h2,
+body.class-use-page h2,
+body.module-declaration-page .block-list h2 {
+    font-style: italic;
+    padding:0;
+    margin:15px 0;
+    overflow-x:auto;
+}
+body.class-declaration-page .summary h3,
+body.class-declaration-page .details h3 {
+    background-color:var(--subnav-background-color);
+    border:1px solid var(--border-color);
+    margin:0 0 6px -8px;
+    padding:7px 5px;
+    overflow-x:auto;
+}
+/*
+ * Styles for page layout containers.
+ */
+.main-grid {
+    display: flex;
+    flex-direction: row;
+}
+.main-grid main {
+    flex: 2.6 1 0;
+    min-width: 240px
+}
+.main-grid nav.toc {
+    flex: 1 1 0;
+    min-width: 240px;
+}
+main {
+    clear:both;
+    padding:10px 20px;
+    position:relative;
+}
+section[id$=-description] :is(dl, ol, ul, p, div, blockquote, pre):last-child,
+section[id$=-description] :is(dl, ol, ul):last-child > :is(li, dd):last-child {
+    margin-bottom:4px;
+}
+dl.notes > dt {
+    font-family: var(--body-font-family);
+    font-size:0.856em;
+    font-weight:bold;
+    margin:10px 0 0 0;
+    color:var(--body-text-color);
+}
+dl.notes > dd {
+    margin:5px 10px 10px 15px;
+    font-size:var(--block-font-size);
+    font-family:var(--block-font-family);
+}
+dl.notes > dd > ul, dl.notes > dd > ol {
+    margin-bottom: 1em;
+    margin-top: 1em;
+}
+dl.name-value > dt {
+    margin-left:1px;
+    font-size:1.1em;
+    display:inline;
+    font-weight:bold;
+}
+dl.name-value > dd {
+    margin:0 0 0 1px;
+    font-size:1.1em;
+    display:inline;
+}
+/*
+ * Styles for table of contents.
+ */
+.main-grid nav.toc {
+    background-color: var(--section-background-color);
+    border-right: 1px solid var(--border-color);
+    position: sticky;
+    top: calc(var(--nav-height));
+    max-height: calc(100vh - var(--nav-height));
+    display: flex;
+    flex-direction: column;
+    font-family: var(--body-font-family);
+    z-index: 1;
+}
+.main-grid nav.toc div.toc-header {
+    background-color: var(--section-background-color);
+    border-right: 1px solid var(--border-color);
+    top: var(--nav-height);
+    z-index: 1;
+    padding: 15px 20px;
+}
+.main-grid nav.toc > ol.toc-list {
+    max-height: calc(100vh - var(--nav-height) - 100px);
+    padding-left: 12px;
+}
+.main-grid nav.toc button {
+    position: absolute;
+    bottom: 16px;
+    z-index: 3;
+    background-color: var(--section-background-color);
+    color: #666666;
+    font-size: 0.76rem;
+    border: none;
+    cursor: pointer;
+    padding: 6px 10px;
+    white-space: nowrap;
+}
+.main-grid nav.toc button.hide-sidebar {
+    right: 0;
+}
+.main-grid nav.toc button.show-sidebar {
+    left: 0;
+    display: none;
+}
+.main-grid nav.toc button span {
+    display: none;
+}
+.main-grid nav.toc button:hover {
+    color: var(--body-text-color);
+    border: 1px solid var(--subnav-background-color);
+}
+.main-grid nav.toc button:active {
+    background-color: var(--subnav-background-color);
+    color: var(--link-color-active);
+}
+.main-grid nav.toc button:hover span,
+.main-grid nav.toc button:active span  {
+    display: inline;
+}
+.main-grid nav.toc button:hover {
+    box-shadow: 1px 1px 5px rgba(0,0,0,0.2);
+}
+.main-grid nav.toc.hide-sidebar {
+    min-width: revert;
+    max-width: 28px;
+}
+.main-grid nav.toc.hide-sidebar div.toc-header,
+.main-grid nav.toc.hide-sidebar ol.toc-list,
+.main-grid nav.toc.hide-sidebar button.hide-sidebar {
+    display: none;
+}
+.main-grid nav.toc.hide-sidebar button.show-sidebar {
+    display: inline;
+}
+nav.toc div.toc-header {
+    padding: 15px;
+    display: inline-flex;
+    align-items: center;
+    color: var(--body-text-color);
+    background-color: var(--body-background-color);
+    font-size: 0.856em;
+    font-weight: bold;
+    white-space: nowrap;
+    overflow-x: hidden;
+    position: sticky;
+    min-height: 20px;
+}
+nav.toc > ol.toc-list {
+    overflow: hidden auto;
+    overscroll-behavior: contain;
+}
+nav.toc ol.toc-list {
+    list-style: none;
+    padding-left: 8px;
+    margin: 0;
+}
+nav.toc ol.toc-list ol.toc-list {
+    margin-left: 8px;
+}
+nav.toc ol.toc-list li {
+    margin: 0;
+    font-size: var(--nav-font-size);
+    overflow-x: hidden;
+}
+a.current-selection {
+    font-weight: bold;
+}
+nav.toc a {
+    display: block;
+    padding: 8px;
+}
+nav.toc a.current-selection {
+    background-color: var(--subnav-background-color);
+}
+/*
+ * Styles for lists.
+ */
+li.circle {
+    list-style:circle;
+}
+ul.horizontal li {
+    display:inline;
+    font-size:0.9em;
+}
+div.inheritance {
+    margin:0;
+    padding:0;
+}
+div.inheritance div.inheritance {
+    margin-left:2em;
+}
+main > div.inheritance {
+    overflow-x:auto;
+}
+ul.block-list,
+ul.details-list,
+ul.member-list,
+ul.summary-list {
+    margin:4px 0 10px 0;
+    padding:0;
+}
+ul.block-list > li,
+ul.details-list > li,
+ul.member-list > li,
+ul.summary-list > li {
+    list-style:none;
+    margin-bottom:15px;
+    line-height:1.4;
+}
+ul.ref-list {
+  padding:0;
+  margin:0;
+}
+ul.ref-list > li {
+    list-style:none;
+}
+.summary-table dl, .summary-table dl dt, .summary-table dl dd {
+    margin-top:0;
+    margin-bottom:1px;
+}
+dl.notes > dd > ul.tag-list, dl.notes > dd > ul.tag-list-long {
+    padding-left: 0;
+    margin: 0;
+    list-style: none;
+}
+ul.tag-list li {
+    display: inline;
+}
+ul.tag-list li:not(:last-child):after,
+ul.tag-list-long li:not(:last-child):after
+{
+    content: ", ";
+    white-space: pre-wrap;
+}
+ul.preview-feature-list {
+    list-style: none;
+    margin:0;
+    padding:0.1em;
+    line-height: 1.6em;
+}
+/*
+ * Styles for tables.
+ */
+.summary-table, .details-table {
+    width:100%;
+    border-spacing:0;
+    border:1px solid var(--border-color);
+    border-top:0;
+    padding:0;
+}
+.caption {
+    position:relative;
+    text-align:left;
+    background-repeat:no-repeat;
+    color:var(--selected-text-color);
+    clear:none;
+    overflow:hidden;
+    padding: 10px 0 0 1px;
+    margin:0;
+}
+.caption a:link, .caption a:visited {
+    color:var(--selected-link-color);
+}
+.caption a:hover,
+.caption a:active {
+    color:var(--navbar-text-color);
+}
+.caption span {
+    font-weight:bold;
+    white-space:nowrap;
+    padding:5px 12px 7px 12px;
+    display:inline-block;
+    float:left;
+    background-color:var(--selected-background-color);
+    border: none;
+    height:16px;
+}
+div.table-tabs {
+    padding: 10px 0 0 1px;
+    margin: 0;
+}
+div.table-tabs > button {
+    border: none;
+    cursor: pointer;
+    padding: 5px 12px 7px 12px;
+    font-weight: bold;
+    margin-right: 8px;
+}
+div.table-tabs > .active-table-tab {
+    background: var(--selected-background-color);
+    color: var(--selected-text-color);
+}
+div.table-tabs > button.table-tab {
+    background: var(--navbar-background-color);
+    color: var(--navbar-text-color);
+}
+.two-column-search-results {
+    display: grid;
+    grid-template-columns: minmax(400px, max-content) minmax(400px, auto);
+}
+div.checkboxes {
+    line-height: 2em;
+}
+div.checkboxes > span {
+    margin-left: 10px;
+}
+div.checkboxes > label {
+    margin-left: 8px;
+    white-space: nowrap;
+}
+div.checkboxes > label > input {
+    margin: 0 2px;
+}
+.two-column-summary {
+    display: grid;
+    grid-template-columns: minmax(25%, max-content) minmax(25%, auto);
+}
+.three-column-summary {
+    display: grid;
+    grid-template-columns: minmax(15%, max-content) minmax(20%, max-content) minmax(20%, auto);
+}
+.three-column-release-summary {
+    display: grid;
+    grid-template-columns: minmax(40%, max-content) minmax(10%, max-content) minmax(40%, auto);
+}
+.four-column-summary {
+    display: grid;
+    grid-template-columns: minmax(10%, max-content) minmax(15%, max-content) minmax(15%, max-content) minmax(15%, auto);
+}
+@media screen and (max-width: 1000px) {
+    .four-column-summary {
+        display: grid;
+        grid-template-columns: minmax(15%, max-content) minmax(15%, auto);
+    }
+}
+@media screen and (max-width: 800px) {
+    .two-column-search-results {
+        display: grid;
+        grid-template-columns: minmax(40%, max-content) minmax(40%, auto);
+    }
+    .three-column-summary {
+        display: grid;
+        grid-template-columns: minmax(10%, max-content) minmax(25%, auto);
+    }
+    .three-column-release-summary {
+        display: grid;
+        grid-template-columns: minmax(70%, max-content) minmax(30%, max-content)
+    }
+    .three-column-summary .col-last,
+    .three-column-release-summary .col-last{
+        grid-column-end: span 2;
+    }
+}
+@media screen and (max-width: 600px) {
+    .two-column-summary {
+        display: grid;
+        grid-template-columns: 1fr;
+    }
+}
+.summary-table > div, .details-table > div {
+    text-align:left;
+    padding: 8px 3px 3px 7px;
+    overflow: auto hidden;
+    scrollbar-width: thin;
+}
+.col-first, .col-second, .col-last, .col-constructor-name, .col-summary-item-name {
+    vertical-align:top;
+    padding-right:0;
+    padding-top:8px;
+    padding-bottom:3px;
+}
+.table-header {
+    background:var(--subnav-background-color);
+    font-weight: bold;
+}
+/* Sortable table columns */
+.table-header[onclick] {
+    cursor: pointer;
+}
+.table-header[onclick]::after {
+    content:"";
+    display:inline-block;
+    background-image:url('data:image/svg+xml; utf8, \
+    <svg xmlns="http://www.w3.org/2000/svg" width="125" height="170"> \
+    <path d="M10.101 57.059L63.019 4.142l52.917 52.917M10.101 86.392l52.917 52.917 52.917-52.917" style="opacity:.35;"/></svg>');
+    background-size:100% 100%;
+    width:9px;
+    height:14px;
+    margin-left:4px;
+    margin-bottom:-3px;
+}
+.table-header[onclick].sort-asc::after {
+    background-image:url('data:image/svg+xml; utf8, \
+    <svg xmlns="http://www.w3.org/2000/svg" width="125" height="170"> \
+    <path d="M10.101 57.059L63.019 4.142l52.917 52.917" style="opacity:.75;"/> \
+    <path d="M10.101 86.392l52.917 52.917 52.917-52.917" style="opacity:.35;"/></svg>');
+
+}
+.table-header[onclick].sort-desc::after {
+    background-image:url('data:image/svg+xml; utf8, \
+    <svg xmlns="http://www.w3.org/2000/svg" width="125" height="170"> \
+    <path d="M10.101 57.059L63.019 4.142l52.917 52.917" style="opacity:.35;"/> \
+    <path d="M10.101 86.392l52.917 52.917 52.917-52.917" style="opacity:.75;"/></svg>');
+}
+.col-first, .col-first {
+    font-size:0.93em;
+}
+.col-second, .col-second, .col-last, .col-constructor-name, .col-summary-item-name, .col-last {
+    font-size:0.93em;
+}
+.col-first, .col-second, .col-constructor-name {
+    vertical-align:top;
+    overflow: auto;
+}
+.col-last {
+    white-space:normal;
+}
+.col-first a:link, .col-first a:visited,
+.col-second a:link, .col-second a:visited,
+.col-first a:link, .col-first a:visited,
+.col-second a:link, .col-second a:visited,
+.col-constructor-name a:link, .col-constructor-name a:visited,
+.col-summary-item-name a:link, .col-summary-item-name a:visited {
+    font-weight:bold;
+}
+.even-row-color, .even-row-color .table-header {
+    background-color:var(--even-row-color);
+}
+.odd-row-color, .odd-row-color .table-header {
+    background-color:var(--odd-row-color);
+}
+/*
+ * Styles for contents.
+ */
+div.block {
+    font-size:var(--block-font-size);
+    font-family:var(--block-font-family);
+    line-height:var(--block-line-height);
+}
+.col-last div {
+    padding-top:0;
+}
+.col-last a {
+    padding-bottom:3px;
+}
+.module-signature,
+.package-signature,
+.type-signature,
+.member-signature {
+    font-family:var(--code-font-family);
+    font-size:1em;
+    margin:8px 0 14px 0;
+    white-space: pre-wrap;
+}
+.module-signature,
+.package-signature,
+.type-signature {
+    margin-top: 0;
+}
+.member-signature .type-parameters-long,
+.member-signature .parameters,
+.member-signature .exceptions {
+    display: inline-block;
+    vertical-align: top;
+    white-space: pre;
+}
+.member-signature .type-parameters {
+    white-space: normal;
+}
+/*
+ * Styles for formatting effect.
+ */
+.source-line-no {
+    /* Color of line numbers in source pages can be set via custom property below */
+    color:var(--source-linenumber-color, green);
+    padding:0 30px 0 0;
+}
+.block {
+    display:block;
+    margin:0 10px 5px 0;
+    color:var(--block-text-color);
+}
+.deprecated-label, .description-from-type-label, .implementation-label, .member-name-link,
+.package-hierarchy-label, .type-name-label, .type-name-link, .search-tag-link, .preview-label, .restricted-label {
+    font-weight:bold;
+}
+.deprecation-comment, .help-footnote, .preview-comment, .restricted-comment {
+    font-style:italic;
+}
+.deprecation-block, .preview-block, .restricted-block {
+    font-size:1em;
+    font-family:var(--block-font-family);
+    border-style:solid;
+    border-width:thin;
+    border-radius:10px;
+    padding:10px;
+    margin-bottom:10px;
+    margin-right:10px;
+    display:inline-block;
+}
+div.block div.deprecation-comment {
+    font-style:normal;
+}
+details.invalid-tag, span.invalid-tag {
+    font-size:1em;
+    font-family:var(--block-font-family);
+    color: var(--invalid-tag-text-color);
+    background: var(--invalid-tag-background-color);
+    border: thin solid var(--table-border-color);
+    border-radius:2px;
+    padding: 2px 4px;
+    display:inline-block;
+}
+details summary {
+    cursor: pointer;
+}
+/*
+ * Styles specific to HTML5 elements.
+ */
+main, nav, header, footer, section {
+    display:block;
+}
+/*
+ * Styles for javadoc search.
+ */
+.ui-menu .ui-state-active {
+    /* Overrides the color of selection used in jQuery UI */
+    background: var(--selected-background-color);
+    color: var(--selected-text-color);
+    /* Workaround for browser bug, see JDK-8275889 */
+    margin: -1px 0;
+    border-top: 1px solid var(--selected-background-color);
+    border-bottom: 1px solid var(--selected-background-color);
+}
+.ui-autocomplete-category {
+    font-weight:bold;
+    font-size:15px;
+    padding:7px 0 7px 3px;
+    background-color:var(--navbar-background-color);
+    color:var(--navbar-text-color);
+    box-sizing: border-box;
+}
+.ui-autocomplete {
+    max-height:85%;
+    max-width:65%;
+    overflow:auto;
+    white-space:nowrap;
+    box-shadow: 0 3px 6px rgba(0,0,0,0.16), 0 3px 6px rgba(0,0,0,0.23);
+    overscroll-behavior: contain;
+}
+ul.ui-autocomplete {
+    position:fixed;
+    z-index:10;
+    background-color: var(--body-background-color);
+}
+ul.ui-autocomplete li {
+    float:left;
+    clear:both;
+    min-width:100%;
+    box-sizing: border-box;
+}
+ul.ui-autocomplete li.ui-static-link {
+    position:sticky;
+    bottom:0;
+    left:0;
+    background: var(--subnav-background-color);
+    padding: 5px 0;
+    font-family: var(--body-font-family);
+    font-size: 0.93em;
+    font-weight: bolder;
+    z-index: 10;
+}
+li.ui-static-link a, li.ui-static-link a:visited {
+    text-decoration:none;
+    color:var(--link-color);
+    float:right;
+    margin-right:20px;
+}
+.ui-autocomplete .result-item {
+    font-size: inherit;
+}
+.ui-autocomplete .result-highlight {
+    font-weight:bold;
+}
+.ui-menu .ui-menu-item-wrapper {
+    padding-top: 0.4em;
+    padding-bottom: 0.4em;
+}
+.ui-menu .ui-menu-item-wrapper {
+    padding-top: 5px;
+    padding-bottom: 5px;
+}
+input[type="text"] {
+    background-image:url('glass.png');
+    background-size:13px;
+    background-repeat:no-repeat;
+    background-position:2px 3px;
+    background-color: var(--search-input-background-color);
+    color: var(--search-input-text-color);
+    border-color: var(--border-color);
+    border-radius: 4px;
+    padding-left:20px;
+    font-size: var(--nav-font-size);
+    height: 17px;
+}
+input#search-input, input#page-search-input {
+    width: calc(180px + 10vw);
+    margin: 0;
+}
+input#search-input {
+    margin: 0 4px;
+    padding-right: 18px;
+    max-width: 340px;
+}
+input.filter-input {
+    width: 40%;
+    max-width: 140px;
+    margin: 0 4px;
+    padding-right: 18px;
+}
+input#reset-search, input.reset-filter {
+    background-color: transparent;
+    background-image:url('x.png');
+    background-repeat:no-repeat;
+    background-size:contain;
+    border:0;
+    border-radius:0;
+    width:12px;
+    height:12px;
+    font-size:0;
+    display:none;
+}
+input#reset-search {
+    position:absolute;
+    right:15px;
+    top:11px;
+}
+input.reset-filter {
+    position: relative;
+    right: 20px;
+    top: 0;
+}
+input::placeholder {
+    color:var(--search-input-placeholder-color);
+    opacity: 1;
+}
+.search-tag-desc-result {
+    font-style:italic;
+    font-size:11px;
+}
+.search-tag-holder-result {
+    font-style:italic;
+    font-size:12px;
+}
+.search-tag-result:target {
+    background-color:var(--search-tag-highlight-color);
+}
+details.page-search-details {
+    display: inline-block;
+}
+div#result-container {
+    font-size: 1em;
+}
+div#result-container a.search-result-link {
+    padding: 0;
+    margin: 4px 0;
+    width: 100%;
+}
+#result-container .result-highlight {
+    font-weight:bolder;
+}
+.page-search-info {
+    background-color: var(--subnav-background-color);
+    border-radius: 3px;
+    border: 0 solid var(--border-color);
+    padding: 0 8px;
+    overflow: hidden;
+    height: 0;
+    transition: all 0.2s ease;
+}
+div.table-tabs > button.table-tab {
+    background: var(--navbar-background-color);
+    color: var(--navbar-text-color);
+}
+.page-search-header {
+    padding: 5px 12px 7px 12px;
+    font-weight: bold;
+    margin-right: 3px;
+    background-color:var(--navbar-background-color);
+    color:var(--navbar-text-color);
+    display: inline-block;
+}
+button.page-search-header {
+    border: none;
+    cursor: pointer;
+}
+span#page-search-link {
+    text-decoration: underline;
+}
+.module-graph span, .sealed-graph span {
+    display:none;
+    position:absolute;
+}
+.module-graph:hover span, .sealed-graph:hover span {
+    display:block;
+    margin: -100px 0 0 100px;
+    z-index: 5;
+}
+.inherited-list {
+    margin: 10px 0 10px 0;
+}
+.horizontal-scroll {
+    overflow: auto hidden;
+}
+section.class-description {
+    line-height: 1.4;
+}
+.summary section[class$="-summary"], .details section[class$="-details"],
+.class-uses .detail, .serialized-class-details {
+    padding: 0 20px 5px 10px;
+    border: 1px solid var(--border-color);
+    background-color: var(--section-background-color);
+}
+.inherited-list, section[class$="-details"] .detail {
+    padding:0 0 5px 8px;
+    background-color:var(--detail-background-color);
+    border:none;
+}
+.vertical-separator {
+    padding: 0 5px;
+}
+.help-section {
+    font-size: var(--block-font-size);
+    line-height: var(--block-line-height);
+}
+ul.help-section-list {
+    margin: 0;
+}
+ul.help-subtoc > li {
+  display: inline-block;
+  padding-right: 5px;
+  font-size: smaller;
+}
+ul.help-subtoc > li::before {
+  content: "\2022" ;
+  padding-right:2px;
+}
+.help-note {
+    font-style: italic;
+}
+/*
+ * Indicator icon for external links.
+ */
+main a[href*="://"]::after {
+    content:"";
+    display:inline-block;
+    background-image:url('data:image/svg+xml; utf8, \
+      <svg xmlns="http://www.w3.org/2000/svg" width="768" height="768">\
+        <path d="M584 664H104V184h216V80H0v688h688V448H584zM384 0l132 \
+        132-240 240 120 120 240-240 132 132V0z" fill="%234a6782"/>\
+      </svg>');
+    background-size:100% 100%;
+    width:7px;
+    height:7px;
+    margin-left:2px;
+    margin-bottom:4px;
+}
+main a[href*="://"]:hover::after,
+main a[href*="://"]:focus::after {
+    background-image:url('data:image/svg+xml; utf8, \
+      <svg xmlns="http://www.w3.org/2000/svg" width="768" height="768">\
+        <path d="M584 664H104V184h216V80H0v688h688V448H584zM384 0l132 \
+        132-240 240 120 120 240-240 132 132V0z" fill="%23bb7a2a"/>\
+      </svg>');
+}
+/*
+ * Styles for header/section anchor links
+ */
+a.anchor-link {
+    opacity: 0;
+    transition: opacity 0.1s;
+}
+:hover > a.anchor-link {
+    opacity: 80%;
+}
+a.anchor-link:hover,
+a.anchor-link:focus-visible,
+a.anchor-link.visible {
+    opacity: 100%;
+}
+a.anchor-link > img {
+    width: 0.9em;
+    height: 0.9em;
+}
+/*
+ * Styles for copy-to-clipboard buttons
+ */
+button.copy {
+    opacity: 70%;
+    border: none;
+    border-radius: 3px;
+    position: relative;
+    background:none;
+    transition: opacity 0.3s;
+    cursor: pointer;
+}
+:hover > button.copy {
+    opacity: 80%;
+}
+button.copy:hover,
+button.copy:active,
+button.copy:focus-visible,
+button.copy.visible {
+    opacity: 100%;
+}
+button.copy img {
+    position: relative;
+    background: none;
+    filter: brightness(var(--copy-icon-brightness));
+}
+button.copy:active {
+    background-color: var(--copy-button-background-color-active);
+}
+button.copy span {
+    color: var(--body-text-color);
+    position: relative;
+    top: -0.1em;
+    transition: all 0.1s;
+    font-size: 0.76rem;
+    line-height: 1.2em;
+    opacity: 0;
+}
+button.copy:hover span,
+button.copy:focus-visible span,
+button.copy.visible span {
+    opacity: 100%;
+}
+/* search page copy button */
+button#page-search-copy {
+    margin-left: 0.4em;
+    padding:0.3em;
+    top:0.13em;
+}
+button#page-search-copy img {
+    width: 1.2em;
+    height: 1.2em;
+    padding: 0.01em 0;
+    top: 0.15em;
+}
+button#page-search-copy span {
+    color: var(--body-text-color);
+    line-height: 1.2em;
+    padding: 0.2em;
+    top: -0.18em;
+}
+div.page-search-info:hover button#page-search-copy span {
+    opacity: 100%;
+}
+/* snippet copy button */
+button.snippet-copy {
+    position: absolute;
+    top: 6px;
+    right: 6px;
+    height: 1.7em;
+    padding: 2px;
+}
+button.snippet-copy img {
+    width: 18px;
+    height: 18px;
+    padding: 0.05em 0;
+}
+button.snippet-copy span {
+    line-height: 1.2em;
+    padding: 0.2em;
+    position: relative;
+    top: -0.5em;
+}
+div.snippet-container:hover button.snippet-copy span {
+    opacity: 100%;
+}
+/*
+ * Styles for user-provided tables.
+ *
+ * borderless:
+ *      No borders, vertical margins, styled caption.
+ *      This style is provided for use with existing doc comments.
+ *      In general, borderless tables should not be used for layout purposes.
+ *
+ * plain:
+ *      Plain borders around table and cells, vertical margins, styled caption.
+ *      Best for small tables or for complex tables for tables with cells that span
+ *      rows and columns, when the "striped" style does not work well.
+ *
+ * striped:
+ *      Borders around the table and vertical borders between cells, striped rows,
+ *      vertical margins, styled caption.
+ *      Best for tables that have a header row, and a body containing a series of simple rows.
+ */
+
+table.borderless,
+table.plain,
+table.striped {
+    margin-top: 10px;
+    margin-bottom: 10px;
+}
+table.borderless > caption,
+table.plain > caption,
+table.striped > caption {
+    font-weight: bold;
+    font-size: smaller;
+}
+table.borderless th, table.borderless td,
+table.plain th, table.plain td,
+table.striped th, table.striped td {
+    padding: 2px 5px;
+}
+table.borderless,
+table.borderless > thead > tr > th, table.borderless > tbody > tr > th, table.borderless > tr > th,
+table.borderless > thead > tr > td, table.borderless > tbody > tr > td, table.borderless > tr > td {
+    border: none;
+}
+table.borderless > thead > tr, table.borderless > tbody > tr, table.borderless > tr {
+    background-color: transparent;
+}
+table.plain {
+    border-collapse: collapse;
+    border: 1px solid var(--table-border-color);
+}
+table.plain > thead > tr, table.plain > tbody tr, table.plain > tr {
+    background-color: transparent;
+}
+table.plain > thead > tr > th, table.plain > tbody > tr > th, table.plain > tr > th,
+table.plain > thead > tr > td, table.plain > tbody > tr > td, table.plain > tr > td {
+    border: 1px solid var(--table-border-color);
+}
+table.striped {
+    border-collapse: collapse;
+    border: 1px solid var(--table-border-color);
+}
+table.striped > thead {
+    background-color: var(--subnav-background-color);
+}
+table.striped > thead > tr > th, table.striped > thead > tr > td {
+    border: 1px solid var(--table-border-color);
+}
+table.striped > tbody > tr:nth-child(even) {
+    background-color: var(--odd-row-color)
+}
+table.striped > tbody > tr:nth-child(odd) {
+    background-color: var(--even-row-color)
+}
+table.striped > tbody > tr > th, table.striped > tbody > tr > td {
+    border-left: 1px solid var(--table-border-color);
+    border-right: 1px solid var(--table-border-color);
+}
+table.striped > tbody > tr > th {
+    font-weight: normal;
+}
+/**
+ * Tweak style for small screens.
+ */
+@media screen and (max-width: 1050px) {
+    .summary section[class$="-summary"], .details section[class$="-details"],
+    .class-uses .detail, .serialized-class-details {
+        padding: 0 10px 5px 8px;
+    }
+    input#search-input {
+        width: 22vw;
+    }
+}
+@media screen and (max-width: 920px) {
+    .main-grid nav.toc {
+        display: none;
+    }
+    .top-nav nav.toc {
+        display: none;
+        position: absolute;
+        top: var(--top-nav-height);
+        left: 40vw;
+        width: 60vw;
+        z-index: 7;
+        background-color: var(--section-background-color);
+        box-sizing: border-box;
+    }
+    .top-nav nav.toc div.toc-header {
+        padding: 6px 15px;
+        font-size: 0.94em;
+        background-color: var(--section-background-color);
+        top: calc(var(--top-nav-height) + 10px);
+    }
+    .top-nav nav.toc ol.toc-list li {
+        font-size: 1.04em;
+    }
+    nav.toc a:link, nav.toc a:visited {
+        text-decoration:none;
+        color:var(--link-color);
+    }
+    nav.toc a[href]:hover, nav.toc a[href]:focus {
+        text-decoration:none;
+        color:var(--link-color-active);
+    }
+    :root {
+        scroll-behavior: auto;
+    }
+    header {
+        max-height: 100vh;
+        overflow-y: visible;
+        overscroll-behavior: contain;
+    }
+    nav {
+        overflow: visible;
+    }
+    ul.nav-list {
+        display: none;
+        position: absolute;
+        top: var(--top-nav-height);
+        overflow: auto;
+        z-index: 7;
+        background-color: var(--navbar-background-color);
+        width: 40%;
+        padding: 0;
+        box-sizing: border-box;
+    }
+    ul.nav-list li {
+        float: none;
+        padding: 6px;
+        margin-left: 10px;
+        margin-top: 2px;
+    }
+    .top-nav a:link, .top-nav a:active, .top-nav a:visited {
+        display: block;
+    }
+    .top-nav div.nav-menu-button {
+        flex: 1 1 auto;
+    }
+    .sub-nav ol.sub-nav-list {
+        margin-left: 4px;
+        padding-left: 4px;
+    }
+    button#navbar-toggle-button {
+        width: 3.4em;
+        height: 2.8em;
+        background-color: transparent;
+        display: block;
+        border: 0;
+        margin: 0 10px;
+        cursor: pointer;
+        font-size: 10px;
+    }
+    button#navbar-toggle-button .nav-bar-toggle-icon {
+        display: block;
+        width: 24px;
+        height: 3px;
+        margin: 4px 0;
+        border-radius: 2px;
+        background-color: var(--navbar-text-color);
+    }
+    button#navbar-toggle-button.expanded span.nav-bar-toggle-icon:nth-child(1) {
+        transform: rotate(45deg);
+        transform-origin: 10% 10%;
+        width: 26px;
+    }
+    button#navbar-toggle-button.expanded span.nav-bar-toggle-icon:nth-child(2) {
+        opacity: 0;
+    }
+    button#navbar-toggle-button.expanded span.nav-bar-toggle-icon:nth-child(3) {
+        transform: rotate(-45deg);
+        transform-origin: 10% 90%;
+        width: 26px;
+    }
+}
+@media screen and (max-width: 800px) {
+    .about-language {
+        padding-right: 16px;
+        max-width: 90%;
+    }
+    ul.nav-list li {
+        margin-left: 5px;
+    }
+    main {
+        padding: 10px 12px;
+    }
+    body {
+        -webkit-text-size-adjust: none;
+    }
+}
+@media screen and (max-width: 600px) {
+    .nav-list-search > a {
+        display: none;
+    }
+    input#search-input {
+        width: 18vw;
+    }
+    .summary section[class$="-summary"], .details section[class$="-details"],
+    .class-uses .detail, .serialized-class-details {
+        padding: 0;
+    }
+}
+pre.snippet {
+    background-color: var(--snippet-background-color);
+    color: var(--snippet-text-color);
+    padding: 10px;
+    margin: 12px 0;
+    overflow: auto;
+    white-space: pre;
+}
+div.snippet-container {
+    position: relative;
+}
+@media screen and (max-width: 800px) {
+    pre.snippet {
+        padding-top: 26px;
+    }
+    button.snippet-copy {
+        top: 4px;
+        right: 4px;
+    }
+}
+pre.snippet .italic {
+    font-style: italic;
+}
+pre.snippet .bold {
+    font-weight: bold;
+}
+pre.snippet .highlighted {
+    background-color: var(--snippet-highlight-color);
+    border-radius: 10%;
+}
diff --git a/doc/resource-files/x.png b/doc/resource-files/x.png
new file mode 100644
index 0000000..30548a7
--- /dev/null
+++ b/doc/resource-files/x.png