summaryrefslogtreecommitdiff
path: root/doc/resource-files/stylesheet.css
diff options
context:
space:
mode:
Diffstat (limited to 'doc/resource-files/stylesheet.css')
-rw-r--r--doc/resource-files/stylesheet.css1461
1 files changed, 1461 insertions, 0 deletions
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 @@
1/*
2 * Copyright (c) 2010, 2024, Oracle and/or its affiliates. All rights reserved.
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4 *
5 * Licensed under the Universal Permissive License v 1.0 as shown at https://oss.oracle.com/licenses/upl/
6 */
7
8/*
9 * Javadoc style sheet
10 */
11
12@import url('fonts/dejavu.css');
13
14/*
15 * These CSS custom properties (variables) define the core color and font
16 * properties used in this stylesheet.
17 */
18:root {
19 /* body, block and code fonts */
20 --body-font-family: 'DejaVu Sans', Arial, Helvetica, sans-serif;
21 --block-font-family: 'DejaVu Serif', Georgia, "Times New Roman", Times, serif;
22 --code-font-family: 'DejaVu Sans Mono', monospace;
23 /* Base font sizes for body and code elements */
24 --body-font-size: 14px;
25 --block-font-size: 14px;
26 --code-font-size: 14px;
27 --nav-font-size: 13.2px;
28 /* Line height for continuous text blocks */
29 --block-line-height: 1.4em;
30 /* Text colors for body and block elements */
31 --body-text-color: #353833;
32 --block-text-color: #474747;
33 /* Background colors for various structural elements */
34 --body-background-color: #ffffff;
35 --section-background-color: #f8f8f8;
36 --detail-background-color: #ffffff;
37 /* Colors for navigation bar and table captions */
38 --navbar-background-color: #4D7A97;
39 --navbar-text-color: #ffffff;
40 /* Background color for subnavigation and various headers */
41 --subnav-background-color: #dee3e9;
42 /* Background and text colors for selected tabs and navigation items */
43 --selected-background-color: #f8981d;
44 --selected-text-color: #253441;
45 --selected-link-color: #1f389c;
46 /* Background colors for generated tables */
47 --even-row-color: #ffffff;
48 --odd-row-color: #eeeeef;
49 /* Text color for page title */
50 --title-color: #2c4557;
51 /* Text colors for links */
52 --link-color: #4A6782;
53 --link-color-active: #bb7a2a;
54 /* Snippet colors */
55 --snippet-background-color: #ebecee;
56 --snippet-text-color: var(--block-text-color);
57 --snippet-highlight-color: #f7c590;
58 /* Border colors for structural elements and user defined tables */
59 --border-color: #ededed;
60 --table-border-color: #000000;
61 /* Search input colors */
62 --search-input-background-color: #ffffff;
63 --search-input-text-color: #000000;
64 --search-input-placeholder-color: #909090;
65 /* Highlight color for active search tag target */
66 --search-tag-highlight-color: #ffff00;
67 /* Adjustments for icon and active background colors of copy-to-clipboard buttons */
68 --copy-icon-brightness: 100%;
69 --copy-button-background-color-active: rgba(168, 168, 176, 0.3);
70 /* Colors for invalid tag notifications */
71 --invalid-tag-background-color: #ffe6e6;
72 --invalid-tag-text-color: #000000;
73 /* Navigation bar dimensions */
74 --top-nav-height: 44px;
75 --sub-nav-height: 34px;
76 --nav-height: calc(var(--top-nav-height) + var(--sub-nav-height));
77 scroll-behavior: smooth;
78}
79/*
80 * Styles for individual HTML elements.
81 *
82 * These are styles that are specific to individual HTML elements. Changing them affects the style of a particular
83 * HTML element throughout the page.
84 */
85body {
86 background-color:var(--body-background-color);
87 color:var(--body-text-color);
88 font-family:var(--body-font-family);
89 font-size:var(--body-font-size);
90 margin:0;
91 padding:0;
92 height:100%;
93 width:100%;
94}
95main [id] {
96 scroll-margin-top: calc(var(--nav-height) + 6px);
97}
98a:link, a:visited {
99 text-decoration:none;
100 color:var(--link-color);
101}
102a[href]:hover, a[href]:active {
103 text-decoration:none;
104 color:var(--link-color-active);
105}
106pre {
107 font-family:var(--code-font-family);
108 font-size:var(--code-font-size);
109}
110h1 {
111 font-size:1.428em;
112}
113h2 {
114 font-size:1.285em;
115}
116h3 {
117 font-size:1.14em;
118}
119h4 {
120 font-size:1.072em;
121}
122h5 {
123 font-size:1.001em;
124}
125h6 {
126 font-size:0.93em;
127}
128/* Disable font boosting for selected elements */
129h1, h2, h3, h4, h5, h6, div.member-signature {
130 max-height: 1000em;
131}
132ul {
133 list-style-type:disc;
134}
135code, tt {
136 font-family:var(--code-font-family);
137}
138:not(h1, h2, h3, h4, h5, h6) > code,
139:not(h1, h2, h3, h4, h5, h6) > tt {
140 font-size:var(--code-font-size);
141 line-height:1.4em;
142}
143dt code {
144 font-family:var(--code-font-family);
145 font-size:1em;
146 padding-top:4px;
147}
148.summary-table dt code {
149 font-family:var(--code-font-family);
150 font-size:1em;
151 vertical-align:top;
152 padding-top:4px;
153}
154sup {
155 font-size:8px;
156}
157button {
158 font-family: var(--body-font-family);
159 font-size: 1em;
160}
161hr {
162 border-color: #aaa;
163}
164/*
165 * Styles for HTML generated by javadoc.
166 *
167 * These are style classes that are used by the standard doclet to generate HTML documentation.
168 */
169
170/*
171 * Styles for document title and copyright.
172 */
173.about-language {
174 flex: 0 0 auto;
175 padding:0 20px;
176 margin:0;
177 font-size:0.915em;
178 max-width: 50%;
179 white-space: nowrap;
180}
181.legal-copy {
182}
183/*
184 * Styles for navigation bar.
185 */
186@media screen {
187 header {
188 position:sticky;
189 top:0;
190 z-index:2;
191 background: var(--body-background-color);
192 }
193}
194.nav-content {
195 display:flex;
196 flex-direction: row;
197 align-items: center;
198 width: 100%;
199 height: 100%;
200}
201.top-nav {
202 background-color:var(--navbar-background-color);
203 color:var(--navbar-text-color);
204 width:100%;
205 height:var(--top-nav-height);
206 overflow:visible;
207 font-size:0.857em;
208 position:relative;
209}
210.top-nav nav.toc {
211 display: none;
212 flex-direction: column;
213}
214.top-nav nav.toc button.show-sidebar,
215.top-nav nav.toc button.hide-sidebar {
216 display: none;
217}
218button#navbar-toggle-button {
219 display:none;
220}
221ul.nav-list {
222 display:inline-flex;
223 margin:0;
224 padding-left:4px;
225 flex: 1 1 auto;
226 white-space: nowrap;
227}
228ul.nav-list li {
229 list-style:none;
230 padding: 5px 6px;
231 text-transform:uppercase;
232 height: 1.2em;
233}
234div.sub-nav {
235 background-color:var(--subnav-background-color);
236 width:100%;
237 overflow:hidden;
238 font-size:var(--nav-font-size);
239 height: var(--sub-nav-height);
240}
241ol.sub-nav-list {
242 flex: 1 1 90%;
243 line-height: 1.8em;
244 display: inline-flex;
245 overflow: auto;
246 scroll-snap-type: x mandatory;
247 scroll-padding-left: 13px;
248 scrollbar-width: none;
249 padding-left:6px;
250 white-space: nowrap;
251 margin:0;
252}
253ol.sub-nav-list::-webkit-scrollbar {
254 display: none;
255}
256ol.sub-nav-list li {
257 list-style:none;
258 scroll-snap-align: start;
259}
260ol.sub-nav-list li:not(:first-child) {
261 list-style-type: " > ";
262 margin-left: 20px;
263}
264ol.sub-nav-list a {
265 padding: 3px;
266}
267ol.sub-nav-list a.current-selection {
268 background-color: var(--section-background-color);
269 border-radius: 4px;
270}
271.sub-nav .nav-list-search {
272 flex: 1 1 10%;
273 margin:0;
274 padding:6px;
275 position:relative;
276 white-space: nowrap;
277}
278.top-nav .nav-list a:link, .top-nav .nav-list a:active, .top-nav .nav-list a:visited {
279 color:var(--navbar-text-color);
280 text-decoration:none;
281 text-transform:uppercase;
282}
283.top-nav .nav-list a:hover {
284 color:var(--link-color-active);
285}
286.nav-bar-cell1-rev {
287 background-color:var(--selected-background-color);
288 color:var(--selected-text-color);
289 margin: 0 5px;
290}
291.skip-nav {
292 position:absolute;
293 top:auto;
294 left:-9999px;
295 overflow:hidden;
296}
297/*
298 * Hide navigation links and search box in print layout
299 */
300@media print {
301 ul.nav-list, div.sub-nav {
302 display:none;
303 }
304}
305/*
306 * Styles for page header.
307 */
308.title {
309 color:var(--title-color);
310 margin:10px 0;
311}
312.sub-title {
313 margin:5px 0 0 0;
314}
315ul.contents-list {
316 margin: 0 0 15px 0;
317 padding: 0;
318 list-style: none;
319}
320ul.contents-list li {
321 font-size:0.93em;
322}
323/*
324 * Styles for headings.
325 */
326body.class-declaration-page .summary h2,
327body.class-declaration-page .details h2,
328body.class-use-page h2,
329body.module-declaration-page .block-list h2 {
330 font-style: italic;
331 padding:0;
332 margin:15px 0;
333 overflow-x:auto;
334}
335body.class-declaration-page .summary h3,
336body.class-declaration-page .details h3 {
337 background-color:var(--subnav-background-color);
338 border:1px solid var(--border-color);
339 margin:0 0 6px -8px;
340 padding:7px 5px;
341 overflow-x:auto;
342}
343/*
344 * Styles for page layout containers.
345 */
346.main-grid {
347 display: flex;
348 flex-direction: row;
349}
350.main-grid main {
351 flex: 2.6 1 0;
352 min-width: 240px
353}
354.main-grid nav.toc {
355 flex: 1 1 0;
356 min-width: 240px;
357}
358main {
359 clear:both;
360 padding:10px 20px;
361 position:relative;
362}
363section[id$=-description] :is(dl, ol, ul, p, div, blockquote, pre):last-child,
364section[id$=-description] :is(dl, ol, ul):last-child > :is(li, dd):last-child {
365 margin-bottom:4px;
366}
367dl.notes > dt {
368 font-family: var(--body-font-family);
369 font-size:0.856em;
370 font-weight:bold;
371 margin:10px 0 0 0;
372 color:var(--body-text-color);
373}
374dl.notes > dd {
375 margin:5px 10px 10px 15px;
376 font-size:var(--block-font-size);
377 font-family:var(--block-font-family);
378}
379dl.notes > dd > ul, dl.notes > dd > ol {
380 margin-bottom: 1em;
381 margin-top: 1em;
382}
383dl.name-value > dt {
384 margin-left:1px;
385 font-size:1.1em;
386 display:inline;
387 font-weight:bold;
388}
389dl.name-value > dd {
390 margin:0 0 0 1px;
391 font-size:1.1em;
392 display:inline;
393}
394/*
395 * Styles for table of contents.
396 */
397.main-grid nav.toc {
398 background-color: var(--section-background-color);
399 border-right: 1px solid var(--border-color);
400 position: sticky;
401 top: calc(var(--nav-height));
402 max-height: calc(100vh - var(--nav-height));
403 display: flex;
404 flex-direction: column;
405 font-family: var(--body-font-family);
406 z-index: 1;
407}
408.main-grid nav.toc div.toc-header {
409 background-color: var(--section-background-color);
410 border-right: 1px solid var(--border-color);
411 top: var(--nav-height);
412 z-index: 1;
413 padding: 15px 20px;
414}
415.main-grid nav.toc > ol.toc-list {
416 max-height: calc(100vh - var(--nav-height) - 100px);
417 padding-left: 12px;
418}
419.main-grid nav.toc button {
420 position: absolute;
421 bottom: 16px;
422 z-index: 3;
423 background-color: var(--section-background-color);
424 color: #666666;
425 font-size: 0.76rem;
426 border: none;
427 cursor: pointer;
428 padding: 6px 10px;
429 white-space: nowrap;
430}
431.main-grid nav.toc button.hide-sidebar {
432 right: 0;
433}
434.main-grid nav.toc button.show-sidebar {
435 left: 0;
436 display: none;
437}
438.main-grid nav.toc button span {
439 display: none;
440}
441.main-grid nav.toc button:hover {
442 color: var(--body-text-color);
443 border: 1px solid var(--subnav-background-color);
444}
445.main-grid nav.toc button:active {
446 background-color: var(--subnav-background-color);
447 color: var(--link-color-active);
448}
449.main-grid nav.toc button:hover span,
450.main-grid nav.toc button:active span {
451 display: inline;
452}
453.main-grid nav.toc button:hover {
454 box-shadow: 1px 1px 5px rgba(0,0,0,0.2);
455}
456.main-grid nav.toc.hide-sidebar {
457 min-width: revert;
458 max-width: 28px;
459}
460.main-grid nav.toc.hide-sidebar div.toc-header,
461.main-grid nav.toc.hide-sidebar ol.toc-list,
462.main-grid nav.toc.hide-sidebar button.hide-sidebar {
463 display: none;
464}
465.main-grid nav.toc.hide-sidebar button.show-sidebar {
466 display: inline;
467}
468nav.toc div.toc-header {
469 padding: 15px;
470 display: inline-flex;
471 align-items: center;
472 color: var(--body-text-color);
473 background-color: var(--body-background-color);
474 font-size: 0.856em;
475 font-weight: bold;
476 white-space: nowrap;
477 overflow-x: hidden;
478 position: sticky;
479 min-height: 20px;
480}
481nav.toc > ol.toc-list {
482 overflow: hidden auto;
483 overscroll-behavior: contain;
484}
485nav.toc ol.toc-list {
486 list-style: none;
487 padding-left: 8px;
488 margin: 0;
489}
490nav.toc ol.toc-list ol.toc-list {
491 margin-left: 8px;
492}
493nav.toc ol.toc-list li {
494 margin: 0;
495 font-size: var(--nav-font-size);
496 overflow-x: hidden;
497}
498a.current-selection {
499 font-weight: bold;
500}
501nav.toc a {
502 display: block;
503 padding: 8px;
504}
505nav.toc a.current-selection {
506 background-color: var(--subnav-background-color);
507}
508/*
509 * Styles for lists.
510 */
511li.circle {
512 list-style:circle;
513}
514ul.horizontal li {
515 display:inline;
516 font-size:0.9em;
517}
518div.inheritance {
519 margin:0;
520 padding:0;
521}
522div.inheritance div.inheritance {
523 margin-left:2em;
524}
525main > div.inheritance {
526 overflow-x:auto;
527}
528ul.block-list,
529ul.details-list,
530ul.member-list,
531ul.summary-list {
532 margin:4px 0 10px 0;
533 padding:0;
534}
535ul.block-list > li,
536ul.details-list > li,
537ul.member-list > li,
538ul.summary-list > li {
539 list-style:none;
540 margin-bottom:15px;
541 line-height:1.4;
542}
543ul.ref-list {
544 padding:0;
545 margin:0;
546}
547ul.ref-list > li {
548 list-style:none;
549}
550.summary-table dl, .summary-table dl dt, .summary-table dl dd {
551 margin-top:0;
552 margin-bottom:1px;
553}
554dl.notes > dd > ul.tag-list, dl.notes > dd > ul.tag-list-long {
555 padding-left: 0;
556 margin: 0;
557 list-style: none;
558}
559ul.tag-list li {
560 display: inline;
561}
562ul.tag-list li:not(:last-child):after,
563ul.tag-list-long li:not(:last-child):after
564{
565 content: ", ";
566 white-space: pre-wrap;
567}
568ul.preview-feature-list {
569 list-style: none;
570 margin:0;
571 padding:0.1em;
572 line-height: 1.6em;
573}
574/*
575 * Styles for tables.
576 */
577.summary-table, .details-table {
578 width:100%;
579 border-spacing:0;
580 border:1px solid var(--border-color);
581 border-top:0;
582 padding:0;
583}
584.caption {
585 position:relative;
586 text-align:left;
587 background-repeat:no-repeat;
588 color:var(--selected-text-color);
589 clear:none;
590 overflow:hidden;
591 padding: 10px 0 0 1px;
592 margin:0;
593}
594.caption a:link, .caption a:visited {
595 color:var(--selected-link-color);
596}
597.caption a:hover,
598.caption a:active {
599 color:var(--navbar-text-color);
600}
601.caption span {
602 font-weight:bold;
603 white-space:nowrap;
604 padding:5px 12px 7px 12px;
605 display:inline-block;
606 float:left;
607 background-color:var(--selected-background-color);
608 border: none;
609 height:16px;
610}
611div.table-tabs {
612 padding: 10px 0 0 1px;
613 margin: 0;
614}
615div.table-tabs > button {
616 border: none;
617 cursor: pointer;
618 padding: 5px 12px 7px 12px;
619 font-weight: bold;
620 margin-right: 8px;
621}
622div.table-tabs > .active-table-tab {
623 background: var(--selected-background-color);
624 color: var(--selected-text-color);
625}
626div.table-tabs > button.table-tab {
627 background: var(--navbar-background-color);
628 color: var(--navbar-text-color);
629}
630.two-column-search-results {
631 display: grid;
632 grid-template-columns: minmax(400px, max-content) minmax(400px, auto);
633}
634div.checkboxes {
635 line-height: 2em;
636}
637div.checkboxes > span {
638 margin-left: 10px;
639}
640div.checkboxes > label {
641 margin-left: 8px;
642 white-space: nowrap;
643}
644div.checkboxes > label > input {
645 margin: 0 2px;
646}
647.two-column-summary {
648 display: grid;
649 grid-template-columns: minmax(25%, max-content) minmax(25%, auto);
650}
651.three-column-summary {
652 display: grid;
653 grid-template-columns: minmax(15%, max-content) minmax(20%, max-content) minmax(20%, auto);
654}
655.three-column-release-summary {
656 display: grid;
657 grid-template-columns: minmax(40%, max-content) minmax(10%, max-content) minmax(40%, auto);
658}
659.four-column-summary {
660 display: grid;
661 grid-template-columns: minmax(10%, max-content) minmax(15%, max-content) minmax(15%, max-content) minmax(15%, auto);
662}
663@media screen and (max-width: 1000px) {
664 .four-column-summary {
665 display: grid;
666 grid-template-columns: minmax(15%, max-content) minmax(15%, auto);
667 }
668}
669@media screen and (max-width: 800px) {
670 .two-column-search-results {
671 display: grid;
672 grid-template-columns: minmax(40%, max-content) minmax(40%, auto);
673 }
674 .three-column-summary {
675 display: grid;
676 grid-template-columns: minmax(10%, max-content) minmax(25%, auto);
677 }
678 .three-column-release-summary {
679 display: grid;
680 grid-template-columns: minmax(70%, max-content) minmax(30%, max-content)
681 }
682 .three-column-summary .col-last,
683 .three-column-release-summary .col-last{
684 grid-column-end: span 2;
685 }
686}
687@media screen and (max-width: 600px) {
688 .two-column-summary {
689 display: grid;
690 grid-template-columns: 1fr;
691 }
692}
693.summary-table > div, .details-table > div {
694 text-align:left;
695 padding: 8px 3px 3px 7px;
696 overflow: auto hidden;
697 scrollbar-width: thin;
698}
699.col-first, .col-second, .col-last, .col-constructor-name, .col-summary-item-name {
700 vertical-align:top;
701 padding-right:0;
702 padding-top:8px;
703 padding-bottom:3px;
704}
705.table-header {
706 background:var(--subnav-background-color);
707 font-weight: bold;
708}
709/* Sortable table columns */
710.table-header[onclick] {
711 cursor: pointer;
712}
713.table-header[onclick]::after {
714 content:"";
715 display:inline-block;
716 background-image:url('data:image/svg+xml; utf8, \
717 <svg xmlns="http://www.w3.org/2000/svg" width="125" height="170"> \
718 <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>');
719 background-size:100% 100%;
720 width:9px;
721 height:14px;
722 margin-left:4px;
723 margin-bottom:-3px;
724}
725.table-header[onclick].sort-asc::after {
726 background-image:url('data:image/svg+xml; utf8, \
727 <svg xmlns="http://www.w3.org/2000/svg" width="125" height="170"> \
728 <path d="M10.101 57.059L63.019 4.142l52.917 52.917" style="opacity:.75;"/> \
729 <path d="M10.101 86.392l52.917 52.917 52.917-52.917" style="opacity:.35;"/></svg>');
730
731}
732.table-header[onclick].sort-desc::after {
733 background-image:url('data:image/svg+xml; utf8, \
734 <svg xmlns="http://www.w3.org/2000/svg" width="125" height="170"> \
735 <path d="M10.101 57.059L63.019 4.142l52.917 52.917" style="opacity:.35;"/> \
736 <path d="M10.101 86.392l52.917 52.917 52.917-52.917" style="opacity:.75;"/></svg>');
737}
738.col-first, .col-first {
739 font-size:0.93em;
740}
741.col-second, .col-second, .col-last, .col-constructor-name, .col-summary-item-name, .col-last {
742 font-size:0.93em;
743}
744.col-first, .col-second, .col-constructor-name {
745 vertical-align:top;
746 overflow: auto;
747}
748.col-last {
749 white-space:normal;
750}
751.col-first a:link, .col-first a:visited,
752.col-second a:link, .col-second a:visited,
753.col-first a:link, .col-first a:visited,
754.col-second a:link, .col-second a:visited,
755.col-constructor-name a:link, .col-constructor-name a:visited,
756.col-summary-item-name a:link, .col-summary-item-name a:visited {
757 font-weight:bold;
758}
759.even-row-color, .even-row-color .table-header {
760 background-color:var(--even-row-color);
761}
762.odd-row-color, .odd-row-color .table-header {
763 background-color:var(--odd-row-color);
764}
765/*
766 * Styles for contents.
767 */
768div.block {
769 font-size:var(--block-font-size);
770 font-family:var(--block-font-family);
771 line-height:var(--block-line-height);
772}
773.col-last div {
774 padding-top:0;
775}
776.col-last a {
777 padding-bottom:3px;
778}
779.module-signature,
780.package-signature,
781.type-signature,
782.member-signature {
783 font-family:var(--code-font-family);
784 font-size:1em;
785 margin:8px 0 14px 0;
786 white-space: pre-wrap;
787}
788.module-signature,
789.package-signature,
790.type-signature {
791 margin-top: 0;
792}
793.member-signature .type-parameters-long,
794.member-signature .parameters,
795.member-signature .exceptions {
796 display: inline-block;
797 vertical-align: top;
798 white-space: pre;
799}
800.member-signature .type-parameters {
801 white-space: normal;
802}
803/*
804 * Styles for formatting effect.
805 */
806.source-line-no {
807 /* Color of line numbers in source pages can be set via custom property below */
808 color:var(--source-linenumber-color, green);
809 padding:0 30px 0 0;
810}
811.block {
812 display:block;
813 margin:0 10px 5px 0;
814 color:var(--block-text-color);
815}
816.deprecated-label, .description-from-type-label, .implementation-label, .member-name-link,
817.package-hierarchy-label, .type-name-label, .type-name-link, .search-tag-link, .preview-label, .restricted-label {
818 font-weight:bold;
819}
820.deprecation-comment, .help-footnote, .preview-comment, .restricted-comment {
821 font-style:italic;
822}
823.deprecation-block, .preview-block, .restricted-block {
824 font-size:1em;
825 font-family:var(--block-font-family);
826 border-style:solid;
827 border-width:thin;
828 border-radius:10px;
829 padding:10px;
830 margin-bottom:10px;
831 margin-right:10px;
832 display:inline-block;
833}
834div.block div.deprecation-comment {
835 font-style:normal;
836}
837details.invalid-tag, span.invalid-tag {
838 font-size:1em;
839 font-family:var(--block-font-family);
840 color: var(--invalid-tag-text-color);
841 background: var(--invalid-tag-background-color);
842 border: thin solid var(--table-border-color);
843 border-radius:2px;
844 padding: 2px 4px;
845 display:inline-block;
846}
847details summary {
848 cursor: pointer;
849}
850/*
851 * Styles specific to HTML5 elements.
852 */
853main, nav, header, footer, section {
854 display:block;
855}
856/*
857 * Styles for javadoc search.
858 */
859.ui-menu .ui-state-active {
860 /* Overrides the color of selection used in jQuery UI */
861 background: var(--selected-background-color);
862 color: var(--selected-text-color);
863 /* Workaround for browser bug, see JDK-8275889 */
864 margin: -1px 0;
865 border-top: 1px solid var(--selected-background-color);
866 border-bottom: 1px solid var(--selected-background-color);
867}
868.ui-autocomplete-category {
869 font-weight:bold;
870 font-size:15px;
871 padding:7px 0 7px 3px;
872 background-color:var(--navbar-background-color);
873 color:var(--navbar-text-color);
874 box-sizing: border-box;
875}
876.ui-autocomplete {
877 max-height:85%;
878 max-width:65%;
879 overflow:auto;
880 white-space:nowrap;
881 box-shadow: 0 3px 6px rgba(0,0,0,0.16), 0 3px 6px rgba(0,0,0,0.23);
882 overscroll-behavior: contain;
883}
884ul.ui-autocomplete {
885 position:fixed;
886 z-index:10;
887 background-color: var(--body-background-color);
888}
889ul.ui-autocomplete li {
890 float:left;
891 clear:both;
892 min-width:100%;
893 box-sizing: border-box;
894}
895ul.ui-autocomplete li.ui-static-link {
896 position:sticky;
897 bottom:0;
898 left:0;
899 background: var(--subnav-background-color);
900 padding: 5px 0;
901 font-family: var(--body-font-family);
902 font-size: 0.93em;
903 font-weight: bolder;
904 z-index: 10;
905}
906li.ui-static-link a, li.ui-static-link a:visited {
907 text-decoration:none;
908 color:var(--link-color);
909 float:right;
910 margin-right:20px;
911}
912.ui-autocomplete .result-item {
913 font-size: inherit;
914}
915.ui-autocomplete .result-highlight {
916 font-weight:bold;
917}
918.ui-menu .ui-menu-item-wrapper {
919 padding-top: 0.4em;
920 padding-bottom: 0.4em;
921}
922.ui-menu .ui-menu-item-wrapper {
923 padding-top: 5px;
924 padding-bottom: 5px;
925}
926input[type="text"] {
927 background-image:url('glass.png');
928 background-size:13px;
929 background-repeat:no-repeat;
930 background-position:2px 3px;
931 background-color: var(--search-input-background-color);
932 color: var(--search-input-text-color);
933 border-color: var(--border-color);
934 border-radius: 4px;
935 padding-left:20px;
936 font-size: var(--nav-font-size);
937 height: 17px;
938}
939input#search-input, input#page-search-input {
940 width: calc(180px + 10vw);
941 margin: 0;
942}
943input#search-input {
944 margin: 0 4px;
945 padding-right: 18px;
946 max-width: 340px;
947}
948input.filter-input {
949 width: 40%;
950 max-width: 140px;
951 margin: 0 4px;
952 padding-right: 18px;
953}
954input#reset-search, input.reset-filter {
955 background-color: transparent;
956 background-image:url('x.png');
957 background-repeat:no-repeat;
958 background-size:contain;
959 border:0;
960 border-radius:0;
961 width:12px;
962 height:12px;
963 font-size:0;
964 display:none;
965}
966input#reset-search {
967 position:absolute;
968 right:15px;
969 top:11px;
970}
971input.reset-filter {
972 position: relative;
973 right: 20px;
974 top: 0;
975}
976input::placeholder {
977 color:var(--search-input-placeholder-color);
978 opacity: 1;
979}
980.search-tag-desc-result {
981 font-style:italic;
982 font-size:11px;
983}
984.search-tag-holder-result {
985 font-style:italic;
986 font-size:12px;
987}
988.search-tag-result:target {
989 background-color:var(--search-tag-highlight-color);
990}
991details.page-search-details {
992 display: inline-block;
993}
994div#result-container {
995 font-size: 1em;
996}
997div#result-container a.search-result-link {
998 padding: 0;
999 margin: 4px 0;
1000 width: 100%;
1001}
1002#result-container .result-highlight {
1003 font-weight:bolder;
1004}
1005.page-search-info {
1006 background-color: var(--subnav-background-color);
1007 border-radius: 3px;
1008 border: 0 solid var(--border-color);
1009 padding: 0 8px;
1010 overflow: hidden;
1011 height: 0;
1012 transition: all 0.2s ease;
1013}
1014div.table-tabs > button.table-tab {
1015 background: var(--navbar-background-color);
1016 color: var(--navbar-text-color);
1017}
1018.page-search-header {
1019 padding: 5px 12px 7px 12px;
1020 font-weight: bold;
1021 margin-right: 3px;
1022 background-color:var(--navbar-background-color);
1023 color:var(--navbar-text-color);
1024 display: inline-block;
1025}
1026button.page-search-header {
1027 border: none;
1028 cursor: pointer;
1029}
1030span#page-search-link {
1031 text-decoration: underline;
1032}
1033.module-graph span, .sealed-graph span {
1034 display:none;
1035 position:absolute;
1036}
1037.module-graph:hover span, .sealed-graph:hover span {
1038 display:block;
1039 margin: -100px 0 0 100px;
1040 z-index: 5;
1041}
1042.inherited-list {
1043 margin: 10px 0 10px 0;
1044}
1045.horizontal-scroll {
1046 overflow: auto hidden;
1047}
1048section.class-description {
1049 line-height: 1.4;
1050}
1051.summary section[class$="-summary"], .details section[class$="-details"],
1052.class-uses .detail, .serialized-class-details {
1053 padding: 0 20px 5px 10px;
1054 border: 1px solid var(--border-color);
1055 background-color: var(--section-background-color);
1056}
1057.inherited-list, section[class$="-details"] .detail {
1058 padding:0 0 5px 8px;
1059 background-color:var(--detail-background-color);
1060 border:none;
1061}
1062.vertical-separator {
1063 padding: 0 5px;
1064}
1065.help-section {
1066 font-size: var(--block-font-size);
1067 line-height: var(--block-line-height);
1068}
1069ul.help-section-list {
1070 margin: 0;
1071}
1072ul.help-subtoc > li {
1073 display: inline-block;
1074 padding-right: 5px;
1075 font-size: smaller;
1076}
1077ul.help-subtoc > li::before {
1078 content: "\2022" ;
1079 padding-right:2px;
1080}
1081.help-note {
1082 font-style: italic;
1083}
1084/*
1085 * Indicator icon for external links.
1086 */
1087main a[href*="://"]::after {
1088 content:"";
1089 display:inline-block;
1090 background-image:url('data:image/svg+xml; utf8, \
1091 <svg xmlns="http://www.w3.org/2000/svg" width="768" height="768">\
1092 <path d="M584 664H104V184h216V80H0v688h688V448H584zM384 0l132 \
1093 132-240 240 120 120 240-240 132 132V0z" fill="%234a6782"/>\
1094 </svg>');
1095 background-size:100% 100%;
1096 width:7px;
1097 height:7px;
1098 margin-left:2px;
1099 margin-bottom:4px;
1100}
1101main a[href*="://"]:hover::after,
1102main a[href*="://"]:focus::after {
1103 background-image:url('data:image/svg+xml; utf8, \
1104 <svg xmlns="http://www.w3.org/2000/svg" width="768" height="768">\
1105 <path d="M584 664H104V184h216V80H0v688h688V448H584zM384 0l132 \
1106 132-240 240 120 120 240-240 132 132V0z" fill="%23bb7a2a"/>\
1107 </svg>');
1108}
1109/*
1110 * Styles for header/section anchor links
1111 */
1112a.anchor-link {
1113 opacity: 0;
1114 transition: opacity 0.1s;
1115}
1116:hover > a.anchor-link {
1117 opacity: 80%;
1118}
1119a.anchor-link:hover,
1120a.anchor-link:focus-visible,
1121a.anchor-link.visible {
1122 opacity: 100%;
1123}
1124a.anchor-link > img {
1125 width: 0.9em;
1126 height: 0.9em;
1127}
1128/*
1129 * Styles for copy-to-clipboard buttons
1130 */
1131button.copy {
1132 opacity: 70%;
1133 border: none;
1134 border-radius: 3px;
1135 position: relative;
1136 background:none;
1137 transition: opacity 0.3s;
1138 cursor: pointer;
1139}
1140:hover > button.copy {
1141 opacity: 80%;
1142}
1143button.copy:hover,
1144button.copy:active,
1145button.copy:focus-visible,
1146button.copy.visible {
1147 opacity: 100%;
1148}
1149button.copy img {
1150 position: relative;
1151 background: none;
1152 filter: brightness(var(--copy-icon-brightness));
1153}
1154button.copy:active {
1155 background-color: var(--copy-button-background-color-active);
1156}
1157button.copy span {
1158 color: var(--body-text-color);
1159 position: relative;
1160 top: -0.1em;
1161 transition: all 0.1s;
1162 font-size: 0.76rem;
1163 line-height: 1.2em;
1164 opacity: 0;
1165}
1166button.copy:hover span,
1167button.copy:focus-visible span,
1168button.copy.visible span {
1169 opacity: 100%;
1170}
1171/* search page copy button */
1172button#page-search-copy {
1173 margin-left: 0.4em;
1174 padding:0.3em;
1175 top:0.13em;
1176}
1177button#page-search-copy img {
1178 width: 1.2em;
1179 height: 1.2em;
1180 padding: 0.01em 0;
1181 top: 0.15em;
1182}
1183button#page-search-copy span {
1184 color: var(--body-text-color);
1185 line-height: 1.2em;
1186 padding: 0.2em;
1187 top: -0.18em;
1188}
1189div.page-search-info:hover button#page-search-copy span {
1190 opacity: 100%;
1191}
1192/* snippet copy button */
1193button.snippet-copy {
1194 position: absolute;
1195 top: 6px;
1196 right: 6px;
1197 height: 1.7em;
1198 padding: 2px;
1199}
1200button.snippet-copy img {
1201 width: 18px;
1202 height: 18px;
1203 padding: 0.05em 0;
1204}
1205button.snippet-copy span {
1206 line-height: 1.2em;
1207 padding: 0.2em;
1208 position: relative;
1209 top: -0.5em;
1210}
1211div.snippet-container:hover button.snippet-copy span {
1212 opacity: 100%;
1213}
1214/*
1215 * Styles for user-provided tables.
1216 *
1217 * borderless:
1218 * No borders, vertical margins, styled caption.
1219 * This style is provided for use with existing doc comments.
1220 * In general, borderless tables should not be used for layout purposes.
1221 *
1222 * plain:
1223 * Plain borders around table and cells, vertical margins, styled caption.
1224 * Best for small tables or for complex tables for tables with cells that span
1225 * rows and columns, when the "striped" style does not work well.
1226 *
1227 * striped:
1228 * Borders around the table and vertical borders between cells, striped rows,
1229 * vertical margins, styled caption.
1230 * Best for tables that have a header row, and a body containing a series of simple rows.
1231 */
1232
1233table.borderless,
1234table.plain,
1235table.striped {
1236 margin-top: 10px;
1237 margin-bottom: 10px;
1238}
1239table.borderless > caption,
1240table.plain > caption,
1241table.striped > caption {
1242 font-weight: bold;
1243 font-size: smaller;
1244}
1245table.borderless th, table.borderless td,
1246table.plain th, table.plain td,
1247table.striped th, table.striped td {
1248 padding: 2px 5px;
1249}
1250table.borderless,
1251table.borderless > thead > tr > th, table.borderless > tbody > tr > th, table.borderless > tr > th,
1252table.borderless > thead > tr > td, table.borderless > tbody > tr > td, table.borderless > tr > td {
1253 border: none;
1254}
1255table.borderless > thead > tr, table.borderless > tbody > tr, table.borderless > tr {
1256 background-color: transparent;
1257}
1258table.plain {
1259 border-collapse: collapse;
1260 border: 1px solid var(--table-border-color);
1261}
1262table.plain > thead > tr, table.plain > tbody tr, table.plain > tr {
1263 background-color: transparent;
1264}
1265table.plain > thead > tr > th, table.plain > tbody > tr > th, table.plain > tr > th,
1266table.plain > thead > tr > td, table.plain > tbody > tr > td, table.plain > tr > td {
1267 border: 1px solid var(--table-border-color);
1268}
1269table.striped {
1270 border-collapse: collapse;
1271 border: 1px solid var(--table-border-color);
1272}
1273table.striped > thead {
1274 background-color: var(--subnav-background-color);
1275}
1276table.striped > thead > tr > th, table.striped > thead > tr > td {
1277 border: 1px solid var(--table-border-color);
1278}
1279table.striped > tbody > tr:nth-child(even) {
1280 background-color: var(--odd-row-color)
1281}
1282table.striped > tbody > tr:nth-child(odd) {
1283 background-color: var(--even-row-color)
1284}
1285table.striped > tbody > tr > th, table.striped > tbody > tr > td {
1286 border-left: 1px solid var(--table-border-color);
1287 border-right: 1px solid var(--table-border-color);
1288}
1289table.striped > tbody > tr > th {
1290 font-weight: normal;
1291}
1292/**
1293 * Tweak style for small screens.
1294 */
1295@media screen and (max-width: 1050px) {
1296 .summary section[class$="-summary"], .details section[class$="-details"],
1297 .class-uses .detail, .serialized-class-details {
1298 padding: 0 10px 5px 8px;
1299 }
1300 input#search-input {
1301 width: 22vw;
1302 }
1303}
1304@media screen and (max-width: 920px) {
1305 .main-grid nav.toc {
1306 display: none;
1307 }
1308 .top-nav nav.toc {
1309 display: none;
1310 position: absolute;
1311 top: var(--top-nav-height);
1312 left: 40vw;
1313 width: 60vw;
1314 z-index: 7;
1315 background-color: var(--section-background-color);
1316 box-sizing: border-box;
1317 }
1318 .top-nav nav.toc div.toc-header {
1319 padding: 6px 15px;
1320 font-size: 0.94em;
1321 background-color: var(--section-background-color);
1322 top: calc(var(--top-nav-height) + 10px);
1323 }
1324 .top-nav nav.toc ol.toc-list li {
1325 font-size: 1.04em;
1326 }
1327 nav.toc a:link, nav.toc a:visited {
1328 text-decoration:none;
1329 color:var(--link-color);
1330 }
1331 nav.toc a[href]:hover, nav.toc a[href]:focus {
1332 text-decoration:none;
1333 color:var(--link-color-active);
1334 }
1335 :root {
1336 scroll-behavior: auto;
1337 }
1338 header {
1339 max-height: 100vh;
1340 overflow-y: visible;
1341 overscroll-behavior: contain;
1342 }
1343 nav {
1344 overflow: visible;
1345 }
1346 ul.nav-list {
1347 display: none;
1348 position: absolute;
1349 top: var(--top-nav-height);
1350 overflow: auto;
1351 z-index: 7;
1352 background-color: var(--navbar-background-color);
1353 width: 40%;
1354 padding: 0;
1355 box-sizing: border-box;
1356 }
1357 ul.nav-list li {
1358 float: none;
1359 padding: 6px;
1360 margin-left: 10px;
1361 margin-top: 2px;
1362 }
1363 .top-nav a:link, .top-nav a:active, .top-nav a:visited {
1364 display: block;
1365 }
1366 .top-nav div.nav-menu-button {
1367 flex: 1 1 auto;
1368 }
1369 .sub-nav ol.sub-nav-list {
1370 margin-left: 4px;
1371 padding-left: 4px;
1372 }
1373 button#navbar-toggle-button {
1374 width: 3.4em;
1375 height: 2.8em;
1376 background-color: transparent;
1377 display: block;
1378 border: 0;
1379 margin: 0 10px;
1380 cursor: pointer;
1381 font-size: 10px;
1382 }
1383 button#navbar-toggle-button .nav-bar-toggle-icon {
1384 display: block;
1385 width: 24px;
1386 height: 3px;
1387 margin: 4px 0;
1388 border-radius: 2px;
1389 background-color: var(--navbar-text-color);
1390 }
1391 button#navbar-toggle-button.expanded span.nav-bar-toggle-icon:nth-child(1) {
1392 transform: rotate(45deg);
1393 transform-origin: 10% 10%;
1394 width: 26px;
1395 }
1396 button#navbar-toggle-button.expanded span.nav-bar-toggle-icon:nth-child(2) {
1397 opacity: 0;
1398 }
1399 button#navbar-toggle-button.expanded span.nav-bar-toggle-icon:nth-child(3) {
1400 transform: rotate(-45deg);
1401 transform-origin: 10% 90%;
1402 width: 26px;
1403 }
1404}
1405@media screen and (max-width: 800px) {
1406 .about-language {
1407 padding-right: 16px;
1408 max-width: 90%;
1409 }
1410 ul.nav-list li {
1411 margin-left: 5px;
1412 }
1413 main {
1414 padding: 10px 12px;
1415 }
1416 body {
1417 -webkit-text-size-adjust: none;
1418 }
1419}
1420@media screen and (max-width: 600px) {
1421 .nav-list-search > a {
1422 display: none;
1423 }
1424 input#search-input {
1425 width: 18vw;
1426 }
1427 .summary section[class$="-summary"], .details section[class$="-details"],
1428 .class-uses .detail, .serialized-class-details {
1429 padding: 0;
1430 }
1431}
1432pre.snippet {
1433 background-color: var(--snippet-background-color);
1434 color: var(--snippet-text-color);
1435 padding: 10px;
1436 margin: 12px 0;
1437 overflow: auto;
1438 white-space: pre;
1439}
1440div.snippet-container {
1441 position: relative;
1442}
1443@media screen and (max-width: 800px) {
1444 pre.snippet {
1445 padding-top: 26px;
1446 }
1447 button.snippet-copy {
1448 top: 4px;
1449 right: 4px;
1450 }
1451}
1452pre.snippet .italic {
1453 font-style: italic;
1454}
1455pre.snippet .bold {
1456 font-weight: bold;
1457}
1458pre.snippet .highlighted {
1459 background-color: var(--snippet-highlight-color);
1460 border-radius: 10%;
1461}
generated by cgit v1.2.3 (git 2.25.1) at 2025-08-14 05:30:03 +0000