| /* | 
 |  * Javadoc style sheet | 
 |  */ | 
 |  | 
 | @import url('resources/fonts/dejavu.css'); | 
 |  | 
 | /* | 
 |  * Styles for individual HTML elements. | 
 |  * | 
 |  * These are styles that are specific to individual HTML elements. Changing them affects the style of a particular | 
 |  * HTML element throughout the page. | 
 |  */ | 
 |  | 
 | body { | 
 |     background-color:#ffffff; | 
 |     color:#353833; | 
 |     font-family:'DejaVu Sans', Arial, Helvetica, sans-serif; | 
 |     font-size:14px; | 
 |     margin:0; | 
 |     padding:0; | 
 |     height:100%; | 
 |     width:100%; | 
 | } | 
 | iframe { | 
 |     margin:0; | 
 |     padding:0; | 
 |     height:100%; | 
 |     width:100%; | 
 |     overflow-y:scroll; | 
 |     border:none; | 
 | } | 
 | a:link, a:visited { | 
 |     text-decoration:none; | 
 |     color:#4A6782; | 
 | } | 
 | a[href]:hover, a[href]:focus { | 
 |     text-decoration:none; | 
 |     color:#bb7a2a; | 
 | } | 
 | a[name] { | 
 |     color:#353833; | 
 | } | 
 | pre { | 
 |     font-family:'DejaVu Sans Mono', monospace; | 
 |     font-size:14px; | 
 | } | 
 | h1 { | 
 |     font-size:20px; | 
 | } | 
 | h2 { | 
 |     font-size:18px; | 
 | } | 
 | h3 { | 
 |     font-size:16px; | 
 | } | 
 | h4 { | 
 |     font-size:15px; | 
 | } | 
 | h5 { | 
 |     font-size:14px; | 
 | } | 
 | h6 { | 
 |     font-size:13px; | 
 | } | 
 | ul { | 
 |     list-style-type:disc; | 
 | } | 
 | code, tt { | 
 |     font-family:'DejaVu Sans Mono', monospace; | 
 | } | 
 | :not(h1, h2, h3, h4, h5, h6) > code, | 
 | :not(h1, h2, h3, h4, h5, h6) > tt { | 
 |     font-size:14px; | 
 |     padding-top:4px; | 
 |     margin-top:8px; | 
 |     line-height:1.4em; | 
 | } | 
 | dt code { | 
 |     font-family:'DejaVu Sans Mono', monospace; | 
 |     font-size:14px; | 
 |     padding-top:4px; | 
 | } | 
 | .summary-table dt code { | 
 |     font-family:'DejaVu Sans Mono', monospace; | 
 |     font-size:14px; | 
 |     vertical-align:top; | 
 |     padding-top:4px; | 
 | } | 
 | sup { | 
 |     font-size:8px; | 
 | } | 
 | button { | 
 |     font-family: 'DejaVu Sans', Arial, Helvetica, sans-serif; | 
 |     font-size: 14px; | 
 | } | 
 | /* | 
 |  * Styles for HTML generated by javadoc. | 
 |  * | 
 |  * These are style classes that are used by the standard doclet to generate HTML documentation. | 
 |  */ | 
 |  | 
 | /* | 
 |  * Styles for document title and copyright. | 
 |  */ | 
 | .clear { | 
 |     clear:both; | 
 |     height:0; | 
 |     overflow:hidden; | 
 | } | 
 | .about-language { | 
 |     float:right; | 
 |     padding:0 21px 8px 8px; | 
 |     font-size:11px; | 
 |     margin-top:-9px; | 
 |     height:2.9em; | 
 | } | 
 | .legal-copy { | 
 |     margin-left:.5em; | 
 | } | 
 | .tab { | 
 |     background-color:#0066FF; | 
 |     color:#ffffff; | 
 |     padding:8px; | 
 |     width:5em; | 
 |     font-weight:bold; | 
 | } | 
 | /* | 
 |  * Styles for navigation bar. | 
 |  */ | 
 | @media screen { | 
 |     .flex-box { | 
 |         position:fixed; | 
 |         display:flex; | 
 |         flex-direction:column; | 
 |         height: 100%; | 
 |         width: 100%; | 
 |     } | 
 |     .flex-header { | 
 |         flex: 0 0 auto; | 
 |     } | 
 |     .flex-content { | 
 |         flex: 1 1 auto; | 
 |         overflow-y: auto; | 
 |     } | 
 | } | 
 | .top-nav { | 
 |     background-color:#4D7A97; | 
 |     color:#FFFFFF; | 
 |     float:left; | 
 |     padding:0; | 
 |     width:100%; | 
 |     clear:right; | 
 |     min-height:2.8em; | 
 |     padding-top:10px; | 
 |     overflow:hidden; | 
 |     font-size:12px; | 
 | } | 
 | .sub-nav { | 
 |     background-color:#dee3e9; | 
 |     float:left; | 
 |     width:100%; | 
 |     overflow:hidden; | 
 |     font-size:12px; | 
 | } | 
 | .sub-nav div { | 
 |     clear:left; | 
 |     float:left; | 
 |     padding:0 0 5px 6px; | 
 |     text-transform:uppercase; | 
 | } | 
 | .sub-nav .nav-list { | 
 |     padding-top:5px; | 
 | } | 
 | ul.nav-list { | 
 |     display:block; | 
 |     margin:0 25px 0 0; | 
 |     padding:0; | 
 | } | 
 | ul.sub-nav-list { | 
 |     float:left; | 
 |     margin:0 25px 0 0; | 
 |     padding:0; | 
 | } | 
 | ul.nav-list li { | 
 |     list-style:none; | 
 |     float:left; | 
 |     padding: 5px 6px; | 
 |     text-transform:uppercase; | 
 | } | 
 | .sub-nav .nav-list-search { | 
 |     float:right; | 
 |     margin:0 0 0 0; | 
 |     padding:5px 6px; | 
 |     clear:none; | 
 | } | 
 | .nav-list-search label { | 
 |     position:relative; | 
 |     right:-16px; | 
 | } | 
 | ul.sub-nav-list li { | 
 |     list-style:none; | 
 |     float:left; | 
 |     padding-top:10px; | 
 | } | 
 | .top-nav a:link, .top-nav a:active, .top-nav a:visited { | 
 |     color:#FFFFFF; | 
 |     text-decoration:none; | 
 |     text-transform:uppercase; | 
 | } | 
 | .top-nav a:hover { | 
 |     text-decoration:none; | 
 |     color:#bb7a2a; | 
 |     text-transform:uppercase; | 
 | } | 
 | .nav-bar-cell1-rev { | 
 |     background-color:#F8981D; | 
 |     color:#253441; | 
 |     margin: auto 5px; | 
 | } | 
 | .skip-nav { | 
 |     position:absolute; | 
 |     top:auto; | 
 |     left:-9999px; | 
 |     overflow:hidden; | 
 | } | 
 | /* | 
 |  * Hide navigation links and search box in print layout | 
 |  */ | 
 | @media print { | 
 |     ul.nav-list, div.sub-nav  { | 
 |         display:none; | 
 |     } | 
 | } | 
 | /* | 
 |  * Styles for page header and footer. | 
 |  */ | 
 | .title { | 
 |     color:#2c4557; | 
 |     margin:10px 0; | 
 | } | 
 | .sub-title { | 
 |     margin:5px 0 0 0; | 
 | } | 
 | .header ul { | 
 |     margin:0 0 15px 0; | 
 |     padding:0; | 
 | } | 
 | .header ul li, .footer ul li { | 
 |     list-style:none; | 
 |     font-size:13px; | 
 | } | 
 | /* | 
 |  * Styles for headings. | 
 |  */ | 
 | body.class-declaration-page .summary h2, | 
 | body.class-declaration-page .details h2, | 
 | body.class-use-page  h2, | 
 | body.module-declaration-page  .block-list h2 { | 
 |     font-style: italic; | 
 |     padding:0; | 
 |     margin:15px 0; | 
 | } | 
 | body.class-declaration-page .summary h3, | 
 | body.class-declaration-page .details h3, | 
 | body.class-declaration-page .summary .inherited-list h2 { | 
 |     background-color:#dee3e9; | 
 |     border:1px solid #d0d9e0; | 
 |     margin:0 0 6px -8px; | 
 |     padding:7px 5px; | 
 | } | 
 | /* | 
 |  * Styles for page layout containers. | 
 |  */ | 
 | main { | 
 |     clear:both; | 
 |     padding:10px 20px; | 
 |     position:relative; | 
 | } | 
 | dl.notes > dt { | 
 |     font-family: 'DejaVu Sans', Arial, Helvetica, sans-serif; | 
 |     font-size:12px; | 
 |     font-weight:bold; | 
 |     margin:10px 0 0 0; | 
 |     color:#4E4E4E; | 
 | } | 
 | dl.notes > dd { | 
 |     margin:5px 10px 10px 0; | 
 |     font-size:14px; | 
 |     font-family:'DejaVu Serif', Georgia, "Times New Roman", Times, serif; | 
 | } | 
 | dl.name-value > dt { | 
 |     margin-left:1px; | 
 |     font-size:1.1em; | 
 |     display:inline; | 
 |     font-weight:bold; | 
 | } | 
 | dl.name-value > dd { | 
 |     margin:0 0 0 1px; | 
 |     font-size:1.1em; | 
 |     display:inline; | 
 | } | 
 | /* | 
 |  * Styles for lists. | 
 |  */ | 
 | li.circle { | 
 |     list-style:circle; | 
 | } | 
 | ul.horizontal li { | 
 |     display:inline; | 
 |     font-size:0.9em; | 
 | } | 
 | div.inheritance { | 
 |     margin:0; | 
 |     padding:0; | 
 | } | 
 | div.inheritance div.inheritance { | 
 |     margin-left:2em; | 
 | } | 
 | ul.block-list, | 
 | ul.details-list, | 
 | ul.member-list, | 
 | ul.summary-list { | 
 |     margin:10px 0 10px 0; | 
 |     padding:0; | 
 | } | 
 | ul.block-list > li, | 
 | ul.details-list > li, | 
 | ul.member-list > li, | 
 | ul.summary-list > li { | 
 |     list-style:none; | 
 |     margin-bottom:15px; | 
 |     line-height:1.4; | 
 | } | 
 | .summary-table dl, .summary-table dl dt, .summary-table dl dd { | 
 |     margin-top:0; | 
 |     margin-bottom:1px; | 
 | } | 
 | ul.see-list, ul.see-list-long { | 
 |     padding-left: 0; | 
 |     list-style: none; | 
 | } | 
 | ul.see-list li { | 
 |     display: inline; | 
 | } | 
 | ul.see-list li:not(:last-child):after, | 
 | ul.see-list-long li:not(:last-child):after { | 
 |     content: ", "; | 
 |     white-space: pre-wrap; | 
 | } | 
 | /* | 
 |  * Styles for tables. | 
 |  */ | 
 | .summary-table, .details-table { | 
 |     width:100%; | 
 |     border-spacing:0; | 
 |     border-left:1px solid #EEE; | 
 |     border-right:1px solid #EEE; | 
 |     border-bottom:1px solid #EEE; | 
 |     padding:0; | 
 | } | 
 | .caption { | 
 |     position:relative; | 
 |     text-align:left; | 
 |     background-repeat:no-repeat; | 
 |     color:#253441; | 
 |     font-weight:bold; | 
 |     clear:none; | 
 |     overflow:hidden; | 
 |     padding:0; | 
 |     padding-top:10px; | 
 |     padding-left:1px; | 
 |     margin:0; | 
 |     white-space:pre; | 
 | } | 
 | .caption a:link, .caption a:visited { | 
 |     color:#1f389c; | 
 | } | 
 | .caption a:hover, | 
 | .caption a:active { | 
 |     color:#FFFFFF; | 
 | } | 
 | .caption span { | 
 |     white-space:nowrap; | 
 |     padding-top:5px; | 
 |     padding-left:12px; | 
 |     padding-right:12px; | 
 |     padding-bottom:7px; | 
 |     display:inline-block; | 
 |     float:left; | 
 |     background-color:#F8981D; | 
 |     border: none; | 
 |     height:16px; | 
 | } | 
 | div.table-tabs { | 
 |     padding:10px 0 0 1px; | 
 |     margin:0; | 
 | } | 
 | div.table-tabs > button { | 
 |    border: none; | 
 |    cursor: pointer; | 
 |    padding: 5px 12px 7px 12px; | 
 |    font-weight: bold; | 
 |    margin-right: 3px; | 
 | } | 
 | div.table-tabs > button.active-table-tab { | 
 |    background: #F8981D; | 
 |    color: #253441; | 
 | } | 
 | div.table-tabs > button.table-tab { | 
 |    background: #4D7A97; | 
 |    color: #FFFFFF; | 
 | } | 
 | .two-column-summary { | 
 |     display: grid; | 
 |     grid-template-columns: minmax(15%, max-content) minmax(15%, auto); | 
 | } | 
 | .three-column-summary { | 
 |     display: grid; | 
 |     grid-template-columns: minmax(10%, max-content) minmax(15%, max-content) minmax(15%, auto); | 
 | } | 
 | .four-column-summary { | 
 |     display: grid; | 
 |     grid-template-columns: minmax(10%, max-content) minmax(10%, max-content) minmax(10%, max-content) minmax(10%, auto); | 
 | } | 
 | @media screen and (max-width: 600px) { | 
 |     .two-column-summary { | 
 |         display: grid; | 
 |         grid-template-columns: 1fr; | 
 |     } | 
 | } | 
 | @media screen and (max-width: 800px) { | 
 |     .three-column-summary { | 
 |         display: grid; | 
 |         grid-template-columns: minmax(10%, max-content) minmax(25%, auto); | 
 |     } | 
 |     .three-column-summary .col-last { | 
 |         grid-column-end: span 2; | 
 |     } | 
 | } | 
 | @media screen and (max-width: 1000px) { | 
 |     .four-column-summary { | 
 |         display: grid; | 
 |         grid-template-columns: minmax(15%, max-content) minmax(15%, auto); | 
 |     } | 
 | } | 
 | .summary-table > div, .details-table > div { | 
 |     text-align:left; | 
 |     padding: 8px 3px 3px 7px; | 
 | } | 
 | .col-first, .col-second, .col-last, .col-constructor-name, .col-summary-item-name { | 
 |     vertical-align:top; | 
 |     padding-right:0; | 
 |     padding-top:8px; | 
 |     padding-bottom:3px; | 
 | } | 
 | .table-header { | 
 |     background:#dee3e9; | 
 |     font-weight: bold; | 
 | } | 
 | .col-first, .col-first { | 
 |     font-size:13px; | 
 | } | 
 | .col-second, .col-second, .col-last, .col-constructor-name, .col-summary-item-name, .col-last { | 
 |     font-size:13px; | 
 | } | 
 | .col-first, .col-second, .col-constructor-name { | 
 |     vertical-align:top; | 
 |     overflow: auto; | 
 | } | 
 | .col-last { | 
 |     white-space:normal; | 
 | } | 
 | .col-first a:link, .col-first a:visited, | 
 | .col-second a:link, .col-second a:visited, | 
 | .col-first a:link, .col-first a:visited, | 
 | .col-second a:link, .col-second a:visited, | 
 | .col-constructor-name a:link, .col-constructor-name a:visited, | 
 | .col-summary-item-name a:link, .col-summary-item-name a:visited, | 
 | .constant-values-container a:link, .constant-values-container a:visited, | 
 | .all-classes-container a:link, .all-classes-container a:visited, | 
 | .all-packages-container a:link, .all-packages-container a:visited { | 
 |     font-weight:bold; | 
 | } | 
 | .table-sub-heading-color { | 
 |     background-color:#EEEEFF; | 
 | } | 
 | .even-row-color, .even-row-color .table-header { | 
 |     background-color:#FFFFFF; | 
 | } | 
 | .odd-row-color, .odd-row-color .table-header { | 
 |     background-color:#EEEEEF; | 
 | } | 
 | /* | 
 |  * Styles for contents. | 
 |  */ | 
 | .deprecated-content { | 
 |     margin:0; | 
 |     padding:10px 0; | 
 | } | 
 | div.block { | 
 |     font-size:14px; | 
 |     font-family:'DejaVu Serif', Georgia, "Times New Roman", Times, serif; | 
 | } | 
 | .col-last div { | 
 |     padding-top:0; | 
 | } | 
 | .col-last a { | 
 |     padding-bottom:3px; | 
 | } | 
 | .module-signature, | 
 | .package-signature, | 
 | .type-signature, | 
 | .member-signature { | 
 |     font-family:'DejaVu Sans Mono', monospace; | 
 |     font-size:14px; | 
 |     margin:14px 0; | 
 |     white-space: pre-wrap; | 
 | } | 
 | .module-signature, | 
 | .package-signature, | 
 | .type-signature { | 
 |     margin-top: 0; | 
 | } | 
 | .member-signature .type-parameters-long, | 
 | .member-signature .parameters, | 
 | .member-signature .exceptions { | 
 |     display: inline-block; | 
 |     vertical-align: top; | 
 |     white-space: pre; | 
 | } | 
 | .member-signature .type-parameters { | 
 |     white-space: normal; | 
 | } | 
 | /* | 
 |  * Styles for formatting effect. | 
 |  */ | 
 | .source-line-no { | 
 |     color:green; | 
 |     padding:0 30px 0 0; | 
 | } | 
 | h1.hidden { | 
 |     visibility:hidden; | 
 |     overflow:hidden; | 
 |     font-size:10px; | 
 | } | 
 | .block { | 
 |     display:block; | 
 |     margin:0 10px 5px 0; | 
 |     color:#474747; | 
 | } | 
 | .deprecated-label, .descfrm-type-label, .implementation-label, .member-name-label, .member-name-link, | 
 | .module-label-in-package, .module-label-in-type, .override-specify-label, .package-label-in-type, | 
 | .package-hierarchy-label, .type-name-label, .type-name-link, .search-tag-link, .preview-label { | 
 |     font-weight:bold; | 
 | } | 
 | .deprecation-comment, .help-footnote, .preview-comment { | 
 |     font-style:italic; | 
 | } | 
 | .deprecation-block { | 
 |     font-size:14px; | 
 |     font-family:'DejaVu Serif', Georgia, "Times New Roman", Times, serif; | 
 |     border-style:solid; | 
 |     border-width:thin; | 
 |     border-radius:10px; | 
 |     padding:10px; | 
 |     margin-bottom:10px; | 
 |     margin-right:10px; | 
 |     display:inline-block; | 
 | } | 
 | .preview-block { | 
 |     font-size:14px; | 
 |     font-family:'DejaVu Serif', Georgia, "Times New Roman", Times, serif; | 
 |     border-style:solid; | 
 |     border-width:thin; | 
 |     border-radius:10px; | 
 |     padding:10px; | 
 |     margin-bottom:10px; | 
 |     margin-right:10px; | 
 |     display:inline-block; | 
 | } | 
 | div.block div.deprecation-comment { | 
 |     font-style:normal; | 
 | } | 
 | /* | 
 |  * Styles specific to HTML5 elements. | 
 |  */ | 
 | main, nav, header, footer, section { | 
 |     display:block; | 
 | } | 
 | /* | 
 |  * Styles for javadoc search. | 
 |  */ | 
 | .ui-autocomplete-category { | 
 |     font-weight:bold; | 
 |     font-size:15px; | 
 |     padding:7px 0 7px 3px; | 
 |     background-color:#4D7A97; | 
 |     color:#FFFFFF; | 
 | } | 
 | .result-item { | 
 |     font-size:13px; | 
 | } | 
 | .ui-autocomplete { | 
 |     max-height:85%; | 
 |     max-width:65%; | 
 |     overflow-y:scroll; | 
 |     overflow-x:scroll; | 
 |     white-space:nowrap; | 
 |     box-shadow: 0 3px 6px rgba(0,0,0,0.16), 0 3px 6px rgba(0,0,0,0.23); | 
 | } | 
 | ul.ui-autocomplete { | 
 |     position:fixed; | 
 |     z-index:999999; | 
 |     background-color: #FFFFFF; | 
 | } | 
 | ul.ui-autocomplete  li { | 
 |     float:left; | 
 |     clear:both; | 
 |     width:100%; | 
 | } | 
 | .result-highlight { | 
 |     font-weight:bold; | 
 | } | 
 | .ui-autocomplete .result-item { | 
 |     font-size: inherit; | 
 | } | 
 | #search-input { | 
 |     background-image:url('resources/glass.png'); | 
 |     background-size:13px; | 
 |     background-repeat:no-repeat; | 
 |     background-position:2px 3px; | 
 |     padding-left:20px; | 
 |     position:relative; | 
 |     right:-18px; | 
 |     width:400px; | 
 | } | 
 | #reset-button { | 
 |     background-color: rgb(255,255,255); | 
 |     background-image:url('resources/x.png'); | 
 |     background-position:center; | 
 |     background-repeat:no-repeat; | 
 |     background-size:12px; | 
 |     border:0 none; | 
 |     width:16px; | 
 |     height:16px; | 
 |     position:relative; | 
 |     left:-4px; | 
 |     top:-4px; | 
 |     font-size:0px; | 
 | } | 
 | .watermark { | 
 |     color:#545454; | 
 | } | 
 | .search-tag-desc-result { | 
 |     font-style:italic; | 
 |     font-size:11px; | 
 | } | 
 | .search-tag-holder-result { | 
 |     font-style:italic; | 
 |     font-size:12px; | 
 | } | 
 | .search-tag-result:target { | 
 |     background-color:yellow; | 
 | } | 
 | .module-graph span { | 
 |     display:none; | 
 |     position:absolute; | 
 | } | 
 | .module-graph:hover span { | 
 |     display:block; | 
 |     margin: -100px 0 0 100px; | 
 |     z-index: 1; | 
 | } | 
 | .inherited-list { | 
 |     margin: 10px 0 10px 0; | 
 | } | 
 | section.class-description { | 
 |     line-height: 1.4; | 
 | } | 
 | .summary section[class$="-summary"], .details section[class$="-details"], | 
 | .class-uses .detail, .serialized-class-details { | 
 |     padding: 0px 20px 5px 10px; | 
 |     border: 1px solid #ededed; | 
 |     background-color: #f8f8f8; | 
 | } | 
 | .inherited-list, section[class$="-details"] .detail { | 
 |     padding:0 0 5px 8px; | 
 |     background-color:#ffffff; | 
 |     border:none; | 
 | } | 
 | .vertical-separator { | 
 |     padding: 0 5px; | 
 | } | 
 | ul.help-section-list { | 
 |     margin: 0; | 
 | } | 
 | ul.help-subtoc > li { | 
 |   display: inline-block; | 
 |   padding-right: 5px; | 
 |   font-size: smaller; | 
 | } | 
 | ul.help-subtoc > li::before { | 
 |   content: "\2022" ; | 
 |   padding-right:2px; | 
 | } | 
 | span.help-note { | 
 |     font-style: italic; | 
 | } | 
 | /* | 
 |  * Indicator icon for external links. | 
 |  */ | 
 | main a[href*="://"]::after { | 
 |     content:""; | 
 |     display:inline-block; | 
 |     background-image:url('data:image/svg+xml; utf8, \ | 
 |       <svg xmlns="http://www.w3.org/2000/svg" width="768" height="768">\ | 
 |         <path d="M584 664H104V184h216V80H0v688h688V448H584zM384 0l132 \ | 
 |         132-240 240 120 120 240-240 132 132V0z" fill="%234a6782"/>\ | 
 |       </svg>'); | 
 |     background-size:100% 100%; | 
 |     width:7px; | 
 |     height:7px; | 
 |     margin-left:2px; | 
 |     margin-bottom:4px; | 
 | } | 
 | main a[href*="://"]:hover::after, | 
 | main a[href*="://"]:focus::after { | 
 |     background-image:url('data:image/svg+xml; utf8, \ | 
 |       <svg xmlns="http://www.w3.org/2000/svg" width="768" height="768">\ | 
 |         <path d="M584 664H104V184h216V80H0v688h688V448H584zM384 0l132 \ | 
 |         132-240 240 120 120 240-240 132 132V0z" fill="%23bb7a2a"/>\ | 
 |       </svg>'); | 
 | } | 
 |  | 
 | /* | 
 |  * Styles for user-provided tables. | 
 |  * | 
 |  * borderless: | 
 |  *      No borders, vertical margins, styled caption. | 
 |  *      This style is provided for use with existing doc comments. | 
 |  *      In general, borderless tables should not be used for layout purposes. | 
 |  * | 
 |  * plain: | 
 |  *      Plain borders around table and cells, vertical margins, styled caption. | 
 |  *      Best for small tables or for complex tables for tables with cells that span | 
 |  *      rows and columns, when the "striped" style does not work well. | 
 |  * | 
 |  * striped: | 
 |  *      Borders around the table and vertical borders between cells, striped rows, | 
 |  *      vertical margins, styled caption. | 
 |  *      Best for tables that have a header row, and a body containing a series of simple rows. | 
 |  */ | 
 |  | 
 | table.borderless, | 
 | table.plain, | 
 | table.striped { | 
 |     margin-top: 10px; | 
 |     margin-bottom: 10px; | 
 | } | 
 | table.borderless > caption, | 
 | table.plain > caption, | 
 | table.striped > caption { | 
 |     font-weight: bold; | 
 |     font-size: smaller; | 
 | } | 
 | table.borderless th, table.borderless td, | 
 | table.plain th, table.plain td, | 
 | table.striped th, table.striped td { | 
 |     padding: 2px 5px; | 
 | } | 
 | table.borderless, | 
 | table.borderless > thead > tr > th, table.borderless > tbody > tr > th, table.borderless > tr > th, | 
 | table.borderless > thead > tr > td, table.borderless > tbody > tr > td, table.borderless > tr > td { | 
 |     border: none; | 
 | } | 
 | table.borderless > thead > tr, table.borderless > tbody > tr, table.borderless > tr { | 
 |     background-color: transparent; | 
 | } | 
 | table.plain { | 
 |     border-collapse: collapse; | 
 |     border: 1px solid black; | 
 | } | 
 | table.plain > thead > tr, table.plain > tbody tr, table.plain > tr { | 
 |     background-color: transparent; | 
 | } | 
 | table.plain > thead > tr > th, table.plain > tbody > tr > th, table.plain > tr > th, | 
 | table.plain > thead > tr > td, table.plain > tbody > tr > td, table.plain > tr > td { | 
 |     border: 1px solid black; | 
 | } | 
 | table.striped { | 
 |     border-collapse: collapse; | 
 |     border: 1px solid black; | 
 | } | 
 | table.striped > thead { | 
 |     background-color: #E3E3E3; | 
 | } | 
 | table.striped > thead > tr > th, table.striped > thead > tr > td { | 
 |     border: 1px solid black; | 
 | } | 
 | table.striped > tbody > tr:nth-child(even) { | 
 |     background-color: #EEE | 
 | } | 
 | table.striped > tbody > tr:nth-child(odd) { | 
 |     background-color: #FFF | 
 | } | 
 | table.striped > tbody > tr > th, table.striped > tbody > tr > td { | 
 |     border-left: 1px solid black; | 
 |     border-right: 1px solid black; | 
 | } | 
 | table.striped > tbody > tr > th { | 
 |     font-weight: normal; | 
 | } | 
 | /** | 
 |  * Tweak font sizes and paddings for small screens. | 
 |  */ | 
 | @media screen and (max-width: 1050px) { | 
 |     #search-input { | 
 |         width: 300px; | 
 |     } | 
 | } | 
 | @media screen and (max-width: 800px) { | 
 |     #search-input { | 
 |         width: 200px; | 
 |     } | 
 |     .top-nav, | 
 |     .bottom-nav { | 
 |         font-size: 11px; | 
 |         padding-top: 6px; | 
 |     } | 
 |     .sub-nav { | 
 |         font-size: 11px; | 
 |     } | 
 |     .about-language { | 
 |         padding-right: 16px; | 
 |     } | 
 |     ul.nav-list li, | 
 |     .sub-nav .nav-list-search { | 
 |         padding: 6px; | 
 |     } | 
 |     ul.sub-nav-list li { | 
 |         padding-top: 5px; | 
 |     } | 
 |     main { | 
 |         padding: 10px; | 
 |     } | 
 |     .summary section[class$="-summary"], .details section[class$="-details"], | 
 |     .class-uses .detail, .serialized-class-details { | 
 |         padding: 0 8px 5px 8px; | 
 |     } | 
 |     body { | 
 |         -webkit-text-size-adjust: none; | 
 |     } | 
 | } | 
 | @media screen and (max-width: 500px) { | 
 |     #search-input { | 
 |         width: 150px; | 
 |     } | 
 |     .top-nav, | 
 |     .bottom-nav { | 
 |         font-size: 10px; | 
 |     } | 
 |     .sub-nav { | 
 |         font-size: 10px; | 
 |     } | 
 |     .about-language { | 
 |         font-size: 10px; | 
 |         padding-right: 12px; | 
 |     } | 
 | } |