uni

Thing1's amazing uni repo
Log | Files | Refs | Submodules

stylesheet.css (42485B)


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