uni

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

stylesheet.css (18737B)


      1 /*
      2  * Javadoc style sheet
      3  */
      4 
      5 @import url('resources/fonts/dejavu.css');
      6 
      7 /*
      8  * Styles for individual HTML elements.
      9  *
     10  * These are styles that are specific to individual HTML elements. Changing them affects the style of a particular
     11  * HTML element throughout the page.
     12  */
     13 
     14 body {
     15     background-color:#ffffff;
     16     color:#353833;
     17     font-family:'DejaVu Sans', Arial, Helvetica, sans-serif;
     18     font-size:14px;
     19     margin:0;
     20     padding:0;
     21     height:100%;
     22     width:100%;
     23 }
     24 iframe {
     25     margin:0;
     26     padding:0;
     27     height:100%;
     28     width:100%;
     29     overflow-y:scroll;
     30     border:none;
     31 }
     32 a:link, a:visited {
     33     text-decoration:none;
     34     color:#4A6782;
     35 }
     36 a[href]:hover, a[href]:focus {
     37     text-decoration:none;
     38     color:#bb7a2a;
     39 }
     40 a[name] {
     41     color:#353833;
     42 }
     43 pre {
     44     font-family:'DejaVu Sans Mono', monospace;
     45     font-size:14px;
     46 }
     47 h1 {
     48     font-size:20px;
     49 }
     50 h2 {
     51     font-size:18px;
     52 }
     53 h3 {
     54     font-size:16px;
     55 }
     56 h4 {
     57     font-size:15px;
     58 }
     59 h5 {
     60     font-size:14px;
     61 }
     62 h6 {
     63     font-size:13px;
     64 }
     65 ul {
     66     list-style-type:disc;
     67 }
     68 code, tt {
     69     font-family:'DejaVu Sans Mono', monospace;
     70 }
     71 :not(h1, h2, h3, h4, h5, h6) > code,
     72 :not(h1, h2, h3, h4, h5, h6) > tt {
     73     font-size:14px;
     74     padding-top:4px;
     75     margin-top:8px;
     76     line-height:1.4em;
     77 }
     78 dt code {
     79     font-family:'DejaVu Sans Mono', monospace;
     80     font-size:14px;
     81     padding-top:4px;
     82 }
     83 .summary-table dt code {
     84     font-family:'DejaVu Sans Mono', monospace;
     85     font-size:14px;
     86     vertical-align:top;
     87     padding-top:4px;
     88 }
     89 sup {
     90     font-size:8px;
     91 }
     92 button {
     93     font-family: 'DejaVu Sans', Arial, Helvetica, sans-serif;
     94     font-size: 14px;
     95 }
     96 /*
     97  * Styles for HTML generated by javadoc.
     98  *
     99  * These are style classes that are used by the standard doclet to generate HTML documentation.
    100  */
    101 
    102 /*
    103  * Styles for document title and copyright.
    104  */
    105 .clear {
    106     clear:both;
    107     height:0;
    108     overflow:hidden;
    109 }
    110 .about-language {
    111     float:right;
    112     padding:0 21px 8px 8px;
    113     font-size:11px;
    114     margin-top:-9px;
    115     height:2.9em;
    116 }
    117 .legal-copy {
    118     margin-left:.5em;
    119 }
    120 .tab {
    121     background-color:#0066FF;
    122     color:#ffffff;
    123     padding:8px;
    124     width:5em;
    125     font-weight:bold;
    126 }
    127 /*
    128  * Styles for navigation bar.
    129  */
    130 @media screen {
    131     .flex-box {
    132         position:fixed;
    133         display:flex;
    134         flex-direction:column;
    135         height: 100%;
    136         width: 100%;
    137     }
    138     .flex-header {
    139         flex: 0 0 auto;
    140     }
    141     .flex-content {
    142         flex: 1 1 auto;
    143         overflow-y: auto;
    144     }
    145 }
    146 .top-nav {
    147     background-color:#4D7A97;
    148     color:#FFFFFF;
    149     float:left;
    150     padding:0;
    151     width:100%;
    152     clear:right;
    153     min-height:2.8em;
    154     padding-top:10px;
    155     overflow:hidden;
    156     font-size:12px;
    157 }
    158 .sub-nav {
    159     background-color:#dee3e9;
    160     float:left;
    161     width:100%;
    162     overflow:hidden;
    163     font-size:12px;
    164 }
    165 .sub-nav div {
    166     clear:left;
    167     float:left;
    168     padding:0 0 5px 6px;
    169     text-transform:uppercase;
    170 }
    171 .sub-nav .nav-list {
    172     padding-top:5px;
    173 }
    174 ul.nav-list {
    175     display:block;
    176     margin:0 25px 0 0;
    177     padding:0;
    178 }
    179 ul.sub-nav-list {
    180     float:left;
    181     margin:0 25px 0 0;
    182     padding:0;
    183 }
    184 ul.nav-list li {
    185     list-style:none;
    186     float:left;
    187     padding: 5px 6px;
    188     text-transform:uppercase;
    189 }
    190 .sub-nav .nav-list-search {
    191     float:right;
    192     margin:0 0 0 0;
    193     padding:5px 6px;
    194     clear:none;
    195 }
    196 .nav-list-search label {
    197     position:relative;
    198     right:-16px;
    199 }
    200 ul.sub-nav-list li {
    201     list-style:none;
    202     float:left;
    203     padding-top:10px;
    204 }
    205 .top-nav a:link, .top-nav a:active, .top-nav a:visited {
    206     color:#FFFFFF;
    207     text-decoration:none;
    208     text-transform:uppercase;
    209 }
    210 .top-nav a:hover {
    211     text-decoration:none;
    212     color:#bb7a2a;
    213     text-transform:uppercase;
    214 }
    215 .nav-bar-cell1-rev {
    216     background-color:#F8981D;
    217     color:#253441;
    218     margin: auto 5px;
    219 }
    220 .skip-nav {
    221     position:absolute;
    222     top:auto;
    223     left:-9999px;
    224     overflow:hidden;
    225 }
    226 /*
    227  * Hide navigation links and search box in print layout
    228  */
    229 @media print {
    230     ul.nav-list, div.sub-nav  {
    231         display:none;
    232     }
    233 }
    234 /*
    235  * Styles for page header and footer.
    236  */
    237 .title {
    238     color:#2c4557;
    239     margin:10px 0;
    240 }
    241 .sub-title {
    242     margin:5px 0 0 0;
    243 }
    244 .header ul {
    245     margin:0 0 15px 0;
    246     padding:0;
    247 }
    248 .header ul li, .footer ul li {
    249     list-style:none;
    250     font-size:13px;
    251 }
    252 /*
    253  * Styles for headings.
    254  */
    255 body.class-declaration-page .summary h2,
    256 body.class-declaration-page .details h2,
    257 body.class-use-page  h2,
    258 body.module-declaration-page  .block-list h2 {
    259     font-style: italic;
    260     padding:0;
    261     margin:15px 0;
    262 }
    263 body.class-declaration-page .summary h3,
    264 body.class-declaration-page .details h3,
    265 body.class-declaration-page .summary .inherited-list h2 {
    266     background-color:#dee3e9;
    267     border:1px solid #d0d9e0;
    268     margin:0 0 6px -8px;
    269     padding:7px 5px;
    270 }
    271 /*
    272  * Styles for page layout containers.
    273  */
    274 main {
    275     clear:both;
    276     padding:10px 20px;
    277     position:relative;
    278 }
    279 dl.notes > dt {
    280     font-family: 'DejaVu Sans', Arial, Helvetica, sans-serif;
    281     font-size:12px;
    282     font-weight:bold;
    283     margin:10px 0 0 0;
    284     color:#4E4E4E;
    285 }
    286 dl.notes > dd {
    287     margin:5px 10px 10px 0;
    288     font-size:14px;
    289     font-family:'DejaVu Serif', Georgia, "Times New Roman", Times, serif;
    290 }
    291 dl.name-value > dt {
    292     margin-left:1px;
    293     font-size:1.1em;
    294     display:inline;
    295     font-weight:bold;
    296 }
    297 dl.name-value > dd {
    298     margin:0 0 0 1px;
    299     font-size:1.1em;
    300     display:inline;
    301 }
    302 /*
    303  * Styles for lists.
    304  */
    305 li.circle {
    306     list-style:circle;
    307 }
    308 ul.horizontal li {
    309     display:inline;
    310     font-size:0.9em;
    311 }
    312 div.inheritance {
    313     margin:0;
    314     padding:0;
    315 }
    316 div.inheritance div.inheritance {
    317     margin-left:2em;
    318 }
    319 ul.block-list,
    320 ul.details-list,
    321 ul.member-list,
    322 ul.summary-list {
    323     margin:10px 0 10px 0;
    324     padding:0;
    325 }
    326 ul.block-list > li,
    327 ul.details-list > li,
    328 ul.member-list > li,
    329 ul.summary-list > li {
    330     list-style:none;
    331     margin-bottom:15px;
    332     line-height:1.4;
    333 }
    334 .summary-table dl, .summary-table dl dt, .summary-table dl dd {
    335     margin-top:0;
    336     margin-bottom:1px;
    337 }
    338 ul.see-list, ul.see-list-long {
    339     padding-left: 0;
    340     list-style: none;
    341 }
    342 ul.see-list li {
    343     display: inline;
    344 }
    345 ul.see-list li:not(:last-child):after,
    346 ul.see-list-long li:not(:last-child):after {
    347     content: ", ";
    348     white-space: pre-wrap;
    349 }
    350 /*
    351  * Styles for tables.
    352  */
    353 .summary-table, .details-table {
    354     width:100%;
    355     border-spacing:0;
    356     border-left:1px solid #EEE;
    357     border-right:1px solid #EEE;
    358     border-bottom:1px solid #EEE;
    359     padding:0;
    360 }
    361 .caption {
    362     position:relative;
    363     text-align:left;
    364     background-repeat:no-repeat;
    365     color:#253441;
    366     font-weight:bold;
    367     clear:none;
    368     overflow:hidden;
    369     padding:0;
    370     padding-top:10px;
    371     padding-left:1px;
    372     margin:0;
    373     white-space:pre;
    374 }
    375 .caption a:link, .caption a:visited {
    376     color:#1f389c;
    377 }
    378 .caption a:hover,
    379 .caption a:active {
    380     color:#FFFFFF;
    381 }
    382 .caption span {
    383     white-space:nowrap;
    384     padding-top:5px;
    385     padding-left:12px;
    386     padding-right:12px;
    387     padding-bottom:7px;
    388     display:inline-block;
    389     float:left;
    390     background-color:#F8981D;
    391     border: none;
    392     height:16px;
    393 }
    394 div.table-tabs {
    395     padding:10px 0 0 1px;
    396     margin:0;
    397 }
    398 div.table-tabs > button {
    399    border: none;
    400    cursor: pointer;
    401    padding: 5px 12px 7px 12px;
    402    font-weight: bold;
    403    margin-right: 3px;
    404 }
    405 div.table-tabs > button.active-table-tab {
    406    background: #F8981D;
    407    color: #253441;
    408 }
    409 div.table-tabs > button.table-tab {
    410    background: #4D7A97;
    411    color: #FFFFFF;
    412 }
    413 .two-column-summary {
    414     display: grid;
    415     grid-template-columns: minmax(15%, max-content) minmax(15%, auto);
    416 }
    417 .three-column-summary {
    418     display: grid;
    419     grid-template-columns: minmax(10%, max-content) minmax(15%, max-content) minmax(15%, auto);
    420 }
    421 .four-column-summary {
    422     display: grid;
    423     grid-template-columns: minmax(10%, max-content) minmax(10%, max-content) minmax(10%, max-content) minmax(10%, auto);
    424 }
    425 @media screen and (max-width: 600px) {
    426     .two-column-summary {
    427         display: grid;
    428         grid-template-columns: 1fr;
    429     }
    430 }
    431 @media screen and (max-width: 800px) {
    432     .three-column-summary {
    433         display: grid;
    434         grid-template-columns: minmax(10%, max-content) minmax(25%, auto);
    435     }
    436     .three-column-summary .col-last {
    437         grid-column-end: span 2;
    438     }
    439 }
    440 @media screen and (max-width: 1000px) {
    441     .four-column-summary {
    442         display: grid;
    443         grid-template-columns: minmax(15%, max-content) minmax(15%, auto);
    444     }
    445 }
    446 .summary-table > div, .details-table > div {
    447     text-align:left;
    448     padding: 8px 3px 3px 7px;
    449 }
    450 .col-first, .col-second, .col-last, .col-constructor-name, .col-summary-item-name {
    451     vertical-align:top;
    452     padding-right:0;
    453     padding-top:8px;
    454     padding-bottom:3px;
    455 }
    456 .table-header {
    457     background:#dee3e9;
    458     font-weight: bold;
    459 }
    460 .col-first, .col-first {
    461     font-size:13px;
    462 }
    463 .col-second, .col-second, .col-last, .col-constructor-name, .col-summary-item-name, .col-last {
    464     font-size:13px;
    465 }
    466 .col-first, .col-second, .col-constructor-name {
    467     vertical-align:top;
    468     overflow: auto;
    469 }
    470 .col-last {
    471     white-space:normal;
    472 }
    473 .col-first a:link, .col-first a:visited,
    474 .col-second a:link, .col-second a:visited,
    475 .col-first a:link, .col-first a:visited,
    476 .col-second a:link, .col-second a:visited,
    477 .col-constructor-name a:link, .col-constructor-name a:visited,
    478 .col-summary-item-name a:link, .col-summary-item-name a:visited,
    479 .constant-values-container a:link, .constant-values-container a:visited,
    480 .all-classes-container a:link, .all-classes-container a:visited,
    481 .all-packages-container a:link, .all-packages-container a:visited {
    482     font-weight:bold;
    483 }
    484 .table-sub-heading-color {
    485     background-color:#EEEEFF;
    486 }
    487 .even-row-color, .even-row-color .table-header {
    488     background-color:#FFFFFF;
    489 }
    490 .odd-row-color, .odd-row-color .table-header {
    491     background-color:#EEEEEF;
    492 }
    493 /*
    494  * Styles for contents.
    495  */
    496 .deprecated-content {
    497     margin:0;
    498     padding:10px 0;
    499 }
    500 div.block {
    501     font-size:14px;
    502     font-family:'DejaVu Serif', Georgia, "Times New Roman", Times, serif;
    503 }
    504 .col-last div {
    505     padding-top:0;
    506 }
    507 .col-last a {
    508     padding-bottom:3px;
    509 }
    510 .module-signature,
    511 .package-signature,
    512 .type-signature,
    513 .member-signature {
    514     font-family:'DejaVu Sans Mono', monospace;
    515     font-size:14px;
    516     margin:14px 0;
    517     white-space: pre-wrap;
    518 }
    519 .module-signature,
    520 .package-signature,
    521 .type-signature {
    522     margin-top: 0;
    523 }
    524 .member-signature .type-parameters-long,
    525 .member-signature .parameters,
    526 .member-signature .exceptions {
    527     display: inline-block;
    528     vertical-align: top;
    529     white-space: pre;
    530 }
    531 .member-signature .type-parameters {
    532     white-space: normal;
    533 }
    534 /*
    535  * Styles for formatting effect.
    536  */
    537 .source-line-no {
    538     color:green;
    539     padding:0 30px 0 0;
    540 }
    541 h1.hidden {
    542     visibility:hidden;
    543     overflow:hidden;
    544     font-size:10px;
    545 }
    546 .block {
    547     display:block;
    548     margin:0 10px 5px 0;
    549     color:#474747;
    550 }
    551 .deprecated-label, .descfrm-type-label, .implementation-label, .member-name-label, .member-name-link,
    552 .module-label-in-package, .module-label-in-type, .override-specify-label, .package-label-in-type,
    553 .package-hierarchy-label, .type-name-label, .type-name-link, .search-tag-link, .preview-label {
    554     font-weight:bold;
    555 }
    556 .deprecation-comment, .help-footnote, .preview-comment {
    557     font-style:italic;
    558 }
    559 .deprecation-block {
    560     font-size:14px;
    561     font-family:'DejaVu Serif', Georgia, "Times New Roman", Times, serif;
    562     border-style:solid;
    563     border-width:thin;
    564     border-radius:10px;
    565     padding:10px;
    566     margin-bottom:10px;
    567     margin-right:10px;
    568     display:inline-block;
    569 }
    570 .preview-block {
    571     font-size:14px;
    572     font-family:'DejaVu Serif', Georgia, "Times New Roman", Times, serif;
    573     border-style:solid;
    574     border-width:thin;
    575     border-radius:10px;
    576     padding:10px;
    577     margin-bottom:10px;
    578     margin-right:10px;
    579     display:inline-block;
    580 }
    581 div.block div.deprecation-comment {
    582     font-style:normal;
    583 }
    584 /*
    585  * Styles specific to HTML5 elements.
    586  */
    587 main, nav, header, footer, section {
    588     display:block;
    589 }
    590 /*
    591  * Styles for javadoc search.
    592  */
    593 .ui-autocomplete-category {
    594     font-weight:bold;
    595     font-size:15px;
    596     padding:7px 0 7px 3px;
    597     background-color:#4D7A97;
    598     color:#FFFFFF;
    599 }
    600 .result-item {
    601     font-size:13px;
    602 }
    603 .ui-autocomplete {
    604     max-height:85%;
    605     max-width:65%;
    606     overflow-y:scroll;
    607     overflow-x:scroll;
    608     white-space:nowrap;
    609     box-shadow: 0 3px 6px rgba(0,0,0,0.16), 0 3px 6px rgba(0,0,0,0.23);
    610 }
    611 ul.ui-autocomplete {
    612     position:fixed;
    613     z-index:999999;
    614     background-color: #FFFFFF;
    615 }
    616 ul.ui-autocomplete  li {
    617     float:left;
    618     clear:both;
    619     width:100%;
    620 }
    621 .result-highlight {
    622     font-weight:bold;
    623 }
    624 .ui-autocomplete .result-item {
    625     font-size: inherit;
    626 }
    627 #search-input {
    628     background-image:url('resources/glass.png');
    629     background-size:13px;
    630     background-repeat:no-repeat;
    631     background-position:2px 3px;
    632     padding-left:20px;
    633     position:relative;
    634     right:-18px;
    635     width:400px;
    636 }
    637 #reset-button {
    638     background-color: rgb(255,255,255);
    639     background-image:url('resources/x.png');
    640     background-position:center;
    641     background-repeat:no-repeat;
    642     background-size:12px;
    643     border:0 none;
    644     width:16px;
    645     height:16px;
    646     position:relative;
    647     left:-4px;
    648     top:-4px;
    649     font-size:0px;
    650 }
    651 .watermark {
    652     color:#545454;
    653 }
    654 .search-tag-desc-result {
    655     font-style:italic;
    656     font-size:11px;
    657 }
    658 .search-tag-holder-result {
    659     font-style:italic;
    660     font-size:12px;
    661 }
    662 .search-tag-result:target {
    663     background-color:yellow;
    664 }
    665 .module-graph span {
    666     display:none;
    667     position:absolute;
    668 }
    669 .module-graph:hover span {
    670     display:block;
    671     margin: -100px 0 0 100px;
    672     z-index: 1;
    673 }
    674 .inherited-list {
    675     margin: 10px 0 10px 0;
    676 }
    677 section.class-description {
    678     line-height: 1.4;
    679 }
    680 .summary section[class$="-summary"], .details section[class$="-details"],
    681 .class-uses .detail, .serialized-class-details {
    682     padding: 0px 20px 5px 10px;
    683     border: 1px solid #ededed;
    684     background-color: #f8f8f8;
    685 }
    686 .inherited-list, section[class$="-details"] .detail {
    687     padding:0 0 5px 8px;
    688     background-color:#ffffff;
    689     border:none;
    690 }
    691 .vertical-separator {
    692     padding: 0 5px;
    693 }
    694 ul.help-section-list {
    695     margin: 0;
    696 }
    697 ul.help-subtoc > li {
    698   display: inline-block;
    699   padding-right: 5px;
    700   font-size: smaller;
    701 }
    702 ul.help-subtoc > li::before {
    703   content: "\2022" ;
    704   padding-right:2px;
    705 }
    706 span.help-note {
    707     font-style: italic;
    708 }
    709 /*
    710  * Indicator icon for external links.
    711  */
    712 main a[href*="://"]::after {
    713     content:"";
    714     display:inline-block;
    715     background-image:url('data:image/svg+xml; utf8, \
    716       <svg xmlns="http://www.w3.org/2000/svg" width="768" height="768">\
    717         <path d="M584 664H104V184h216V80H0v688h688V448H584zM384 0l132 \
    718         132-240 240 120 120 240-240 132 132V0z" fill="%234a6782"/>\
    719       </svg>');
    720     background-size:100% 100%;
    721     width:7px;
    722     height:7px;
    723     margin-left:2px;
    724     margin-bottom:4px;
    725 }
    726 main a[href*="://"]:hover::after,
    727 main a[href*="://"]:focus::after {
    728     background-image:url('data:image/svg+xml; utf8, \
    729       <svg xmlns="http://www.w3.org/2000/svg" width="768" height="768">\
    730         <path d="M584 664H104V184h216V80H0v688h688V448H584zM384 0l132 \
    731         132-240 240 120 120 240-240 132 132V0z" fill="%23bb7a2a"/>\
    732       </svg>');
    733 }
    734 
    735 /*
    736  * Styles for user-provided tables.
    737  *
    738  * borderless:
    739  *      No borders, vertical margins, styled caption.
    740  *      This style is provided for use with existing doc comments.
    741  *      In general, borderless tables should not be used for layout purposes.
    742  *
    743  * plain:
    744  *      Plain borders around table and cells, vertical margins, styled caption.
    745  *      Best for small tables or for complex tables for tables with cells that span
    746  *      rows and columns, when the "striped" style does not work well.
    747  *
    748  * striped:
    749  *      Borders around the table and vertical borders between cells, striped rows,
    750  *      vertical margins, styled caption.
    751  *      Best for tables that have a header row, and a body containing a series of simple rows.
    752  */
    753 
    754 table.borderless,
    755 table.plain,
    756 table.striped {
    757     margin-top: 10px;
    758     margin-bottom: 10px;
    759 }
    760 table.borderless > caption,
    761 table.plain > caption,
    762 table.striped > caption {
    763     font-weight: bold;
    764     font-size: smaller;
    765 }
    766 table.borderless th, table.borderless td,
    767 table.plain th, table.plain td,
    768 table.striped th, table.striped td {
    769     padding: 2px 5px;
    770 }
    771 table.borderless,
    772 table.borderless > thead > tr > th, table.borderless > tbody > tr > th, table.borderless > tr > th,
    773 table.borderless > thead > tr > td, table.borderless > tbody > tr > td, table.borderless > tr > td {
    774     border: none;
    775 }
    776 table.borderless > thead > tr, table.borderless > tbody > tr, table.borderless > tr {
    777     background-color: transparent;
    778 }
    779 table.plain {
    780     border-collapse: collapse;
    781     border: 1px solid black;
    782 }
    783 table.plain > thead > tr, table.plain > tbody tr, table.plain > tr {
    784     background-color: transparent;
    785 }
    786 table.plain > thead > tr > th, table.plain > tbody > tr > th, table.plain > tr > th,
    787 table.plain > thead > tr > td, table.plain > tbody > tr > td, table.plain > tr > td {
    788     border: 1px solid black;
    789 }
    790 table.striped {
    791     border-collapse: collapse;
    792     border: 1px solid black;
    793 }
    794 table.striped > thead {
    795     background-color: #E3E3E3;
    796 }
    797 table.striped > thead > tr > th, table.striped > thead > tr > td {
    798     border: 1px solid black;
    799 }
    800 table.striped > tbody > tr:nth-child(even) {
    801     background-color: #EEE
    802 }
    803 table.striped > tbody > tr:nth-child(odd) {
    804     background-color: #FFF
    805 }
    806 table.striped > tbody > tr > th, table.striped > tbody > tr > td {
    807     border-left: 1px solid black;
    808     border-right: 1px solid black;
    809 }
    810 table.striped > tbody > tr > th {
    811     font-weight: normal;
    812 }
    813 /**
    814  * Tweak font sizes and paddings for small screens.
    815  */
    816 @media screen and (max-width: 1050px) {
    817     #search-input {
    818         width: 300px;
    819     }
    820 }
    821 @media screen and (max-width: 800px) {
    822     #search-input {
    823         width: 200px;
    824     }
    825     .top-nav,
    826     .bottom-nav {
    827         font-size: 11px;
    828         padding-top: 6px;
    829     }
    830     .sub-nav {
    831         font-size: 11px;
    832     }
    833     .about-language {
    834         padding-right: 16px;
    835     }
    836     ul.nav-list li,
    837     .sub-nav .nav-list-search {
    838         padding: 6px;
    839     }
    840     ul.sub-nav-list li {
    841         padding-top: 5px;
    842     }
    843     main {
    844         padding: 10px;
    845     }
    846     .summary section[class$="-summary"], .details section[class$="-details"],
    847     .class-uses .detail, .serialized-class-details {
    848         padding: 0 8px 5px 8px;
    849     }
    850     body {
    851         -webkit-text-size-adjust: none;
    852     }
    853 }
    854 @media screen and (max-width: 500px) {
    855     #search-input {
    856         width: 150px;
    857     }
    858     .top-nav,
    859     .bottom-nav {
    860         font-size: 10px;
    861     }
    862     .sub-nav {
    863         font-size: 10px;
    864     }
    865     .about-language {
    866         font-size: 10px;
    867         padding-right: 12px;
    868     }
    869 }