|
|
/* * 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; } ul.ui-autocomplete li { float:left; clear:both; width:100%; } .result-highlight { font-weight:bold; } #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; } }
|