mirror of
https://github.com/plexusorg/Website.git
synced 2024-12-22 09:57:37 +00:00
1499 lines
30 KiB
CSS
1499 lines
30 KiB
CSS
/*
|
|
* Javadoc style sheet
|
|
*/
|
|
|
|
@import url('resources/fonts/dejavu.css');
|
|
|
|
/*
|
|
* These CSS custom properties (variables) define the core color and font
|
|
* properties used in this stylesheet.
|
|
*/
|
|
:root {
|
|
/* body, block and code fonts */
|
|
--body-font-family: 'DejaVu Sans', Arial, Helvetica, sans-serif;
|
|
--block-font-family: 'DejaVu Serif', Georgia, "Times New Roman", Times, serif;
|
|
--code-font-family: 'DejaVu Sans Mono', monospace;
|
|
/* Base font sizes for body and code elements */
|
|
--body-font-size: 14px;
|
|
--code-font-size: 14px;
|
|
/* Text colors for body and block elements */
|
|
--body-text-color: #353833;
|
|
--block-text-color: #474747;
|
|
/* Background colors for various structural elements */
|
|
--body-background-color: #ffffff;
|
|
--section-background-color: #f8f8f8;
|
|
--detail-background-color: #ffffff;
|
|
/* Colors for navigation bar and table captions */
|
|
--navbar-background-color: #4D7A97;
|
|
--navbar-text-color: #ffffff;
|
|
/* Background color for subnavigation and various headers */
|
|
--subnav-background-color: #dee3e9;
|
|
/* Background and text colors for selected tabs and navigation items */
|
|
--selected-background-color: #f8981d;
|
|
--selected-text-color: #253441;
|
|
--selected-link-color: #1f389c;
|
|
/* Background colors for generated tables */
|
|
--even-row-color: #ffffff;
|
|
--odd-row-color: #eeeeef;
|
|
/* Text color for page title */
|
|
--title-color: #2c4557;
|
|
/* Text colors for links */
|
|
--link-color: #4A6782;
|
|
--link-color-active: #bb7a2a;
|
|
/* Snippet colors */
|
|
--snippet-background-color: #ebecee;
|
|
--snippet-text-color: var(--block-text-color);
|
|
--snippet-highlight-color: #f7c590;
|
|
/* Border colors for structural elements and user defined tables */
|
|
--border-color: #ededed;
|
|
--table-border-color: #000000;
|
|
/* Search input colors */
|
|
--search-input-background-color: #ffffff;
|
|
--search-input-text-color: #000000;
|
|
--search-input-placeholder-color: #909090;
|
|
/* Highlight color for active search tag target */
|
|
--search-tag-highlight-color: #ffff00;
|
|
/* Adjustments for icon and active background colors of copy-to-clipboard buttons */
|
|
--copy-icon-brightness: 100%;
|
|
--copy-button-background-color-active: rgba(168, 168, 176, 0.3);
|
|
/* Colors for invalid tag notifications */
|
|
--invalid-tag-background-color: #ffe6e6;
|
|
--invalid-tag-text-color: #000000;
|
|
}
|
|
|
|
/*
|
|
* 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: var(--body-background-color);
|
|
color: var(--body-text-color);
|
|
font-family: var(--body-font-family);
|
|
font-size: var(--body-font-size);
|
|
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: var(--link-color);
|
|
}
|
|
|
|
a[href]:hover, a[href]:focus {
|
|
text-decoration: none;
|
|
color: var(--link-color-active);
|
|
}
|
|
|
|
pre {
|
|
font-family: var(--code-font-family);
|
|
font-size: 1em;
|
|
}
|
|
|
|
h1 {
|
|
font-size: 1.428em;
|
|
}
|
|
|
|
h2 {
|
|
font-size: 1.285em;
|
|
}
|
|
|
|
h3 {
|
|
font-size: 1.14em;
|
|
}
|
|
|
|
h4 {
|
|
font-size: 1.072em;
|
|
}
|
|
|
|
h5 {
|
|
font-size: 1.001em;
|
|
}
|
|
|
|
h6 {
|
|
font-size: 0.93em;
|
|
}
|
|
|
|
/* Disable font boosting for selected elements */
|
|
h1, h2, h3, h4, h5, h6, div.member-signature {
|
|
max-height: 1000em;
|
|
}
|
|
|
|
ul {
|
|
list-style-type: disc;
|
|
}
|
|
|
|
code, tt {
|
|
font-family: var(--code-font-family);
|
|
}
|
|
|
|
:not(h1, h2, h3, h4, h5, h6) > code,
|
|
:not(h1, h2, h3, h4, h5, h6) > tt {
|
|
font-size: var(--code-font-size);
|
|
padding-top: 4px;
|
|
margin-top: 8px;
|
|
line-height: 1.4em;
|
|
}
|
|
|
|
dt code {
|
|
font-family: var(--code-font-family);
|
|
font-size: 1em;
|
|
padding-top: 4px;
|
|
}
|
|
|
|
.summary-table dt code {
|
|
font-family: var(--code-font-family);
|
|
font-size: 1em;
|
|
vertical-align: top;
|
|
padding-top: 4px;
|
|
}
|
|
|
|
sup {
|
|
font-size: 8px;
|
|
}
|
|
|
|
button {
|
|
font-family: var(--body-font-family);
|
|
font-size: 1em;
|
|
}
|
|
|
|
/*
|
|
* 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.
|
|
*/
|
|
.about-language {
|
|
float: right;
|
|
padding: 0 21px 8px 8px;
|
|
font-size: 0.915em;
|
|
margin-top: -9px;
|
|
height: 2.9em;
|
|
}
|
|
|
|
.legal-copy {
|
|
margin-left: .5em;
|
|
}
|
|
|
|
/*
|
|
* Styles for navigation bar.
|
|
*/
|
|
@media screen {
|
|
div.flex-box {
|
|
position: fixed;
|
|
display: flex;
|
|
flex-direction: column;
|
|
height: 100%;
|
|
width: 100%;
|
|
}
|
|
|
|
header.flex-header {
|
|
flex: 0 0 auto;
|
|
}
|
|
|
|
div.flex-content {
|
|
flex: 1 1 auto;
|
|
overflow-y: auto;
|
|
}
|
|
}
|
|
|
|
.top-nav {
|
|
background-color: var(--navbar-background-color);
|
|
color: var(--navbar-text-color);
|
|
float: left;
|
|
width: 100%;
|
|
clear: right;
|
|
min-height: 2.8em;
|
|
padding: 10px 0 0 0;
|
|
overflow: hidden;
|
|
font-size: 0.857em;
|
|
}
|
|
|
|
button#navbar-toggle-button {
|
|
display: none;
|
|
}
|
|
|
|
ul.sub-nav-list-small {
|
|
display: none;
|
|
}
|
|
|
|
.sub-nav {
|
|
background-color: var(--subnav-background-color);
|
|
float: left;
|
|
width: 100%;
|
|
overflow: hidden;
|
|
font-size: 0.857em;
|
|
}
|
|
|
|
.sub-nav div {
|
|
clear: left;
|
|
float: left;
|
|
padding: 6px;
|
|
text-transform: uppercase;
|
|
}
|
|
|
|
.sub-nav .sub-nav-list {
|
|
padding-top: 4px;
|
|
}
|
|
|
|
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;
|
|
padding: 6px;
|
|
clear: none;
|
|
text-align: right;
|
|
position: relative;
|
|
}
|
|
|
|
ul.sub-nav-list li {
|
|
list-style: none;
|
|
float: left;
|
|
}
|
|
|
|
.top-nav a:link, .top-nav a:active, .top-nav a:visited {
|
|
color: var(--navbar-text-color);
|
|
text-decoration: none;
|
|
text-transform: uppercase;
|
|
}
|
|
|
|
.top-nav a:hover {
|
|
color: var(--link-color-active);
|
|
}
|
|
|
|
.nav-bar-cell1-rev {
|
|
background-color: var(--selected-background-color);
|
|
color: var(--selected-text-color);
|
|
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.
|
|
*/
|
|
.title {
|
|
color: var(--title-color);
|
|
margin: 10px 0;
|
|
}
|
|
|
|
.sub-title {
|
|
margin: 5px 0 0 0;
|
|
}
|
|
|
|
ul.contents-list {
|
|
margin: 0 0 15px 0;
|
|
padding: 0;
|
|
list-style: none;
|
|
}
|
|
|
|
ul.contents-list li {
|
|
font-size: 0.93em;
|
|
}
|
|
|
|
/*
|
|
* 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: var(--subnav-background-color);
|
|
border: 1px solid var(--border-color);
|
|
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: var(--body-font-family);
|
|
font-size: 0.856em;
|
|
font-weight: bold;
|
|
margin: 10px 0 0 0;
|
|
color: var(--body-text-color);
|
|
}
|
|
|
|
dl.notes > dd {
|
|
margin: 5px 10px 10px 0;
|
|
font-size: 1em;
|
|
font-family: var(--block-font-family)
|
|
}
|
|
|
|
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;
|
|
}
|
|
|
|
ul.ref-list {
|
|
padding: 0;
|
|
margin: 0;
|
|
}
|
|
|
|
ul.ref-list > li {
|
|
list-style: none;
|
|
}
|
|
|
|
.summary-table dl, .summary-table dl dt, .summary-table dl dd {
|
|
margin-top: 0;
|
|
margin-bottom: 1px;
|
|
}
|
|
|
|
ul.tag-list, ul.tag-list-long {
|
|
padding-left: 0;
|
|
list-style: none;
|
|
}
|
|
|
|
ul.tag-list li {
|
|
display: inline;
|
|
}
|
|
|
|
ul.tag-list li:not(:last-child):after,
|
|
ul.tag-list-long li:not(:last-child):after {
|
|
content: ", ";
|
|
white-space: pre-wrap;
|
|
}
|
|
|
|
ul.preview-feature-list {
|
|
list-style: none;
|
|
margin: 0;
|
|
padding: 0.1em;
|
|
line-height: 1.6em;
|
|
}
|
|
|
|
/*
|
|
* Styles for tables.
|
|
*/
|
|
.summary-table, .details-table {
|
|
width: 100%;
|
|
border-spacing: 0;
|
|
border: 1px solid var(--border-color);
|
|
border-top: 0;
|
|
padding: 0;
|
|
}
|
|
|
|
.caption {
|
|
position: relative;
|
|
text-align: left;
|
|
background-repeat: no-repeat;
|
|
color: var(--selected-text-color);
|
|
clear: none;
|
|
overflow: hidden;
|
|
padding: 10px 0 0 1px;
|
|
margin: 0;
|
|
}
|
|
|
|
.caption a:link, .caption a:visited {
|
|
color: var(--selected-link-color);
|
|
}
|
|
|
|
.caption a:hover,
|
|
.caption a:active {
|
|
color: var(--navbar-text-color);
|
|
}
|
|
|
|
.caption span {
|
|
font-weight: bold;
|
|
white-space: nowrap;
|
|
padding: 5px 12px 7px 12px;
|
|
display: inline-block;
|
|
float: left;
|
|
background-color: var(--selected-background-color);
|
|
border: none;
|
|
height: 16px;
|
|
}
|
|
|
|
div.table-tabs {
|
|
padding: 10px 0 0 1px;
|
|
margin: 10px 0 0 0;
|
|
}
|
|
|
|
div.table-tabs > button {
|
|
border: none;
|
|
cursor: pointer;
|
|
padding: 5px 12px 7px 12px;
|
|
font-weight: bold;
|
|
margin-right: 8px;
|
|
}
|
|
|
|
div.table-tabs > .active-table-tab {
|
|
background: var(--selected-background-color);
|
|
color: var(--selected-text-color);
|
|
}
|
|
|
|
div.table-tabs > button.table-tab {
|
|
background: var(--navbar-background-color);
|
|
color: var(--navbar-text-color);
|
|
}
|
|
|
|
.two-column-search-results {
|
|
display: grid;
|
|
grid-template-columns: minmax(400px, max-content) minmax(400px, auto);
|
|
}
|
|
|
|
div.checkboxes {
|
|
line-height: 2em;
|
|
}
|
|
|
|
div.checkboxes > span {
|
|
margin-left: 10px;
|
|
}
|
|
|
|
div.checkboxes > label {
|
|
margin-left: 8px;
|
|
white-space: nowrap;
|
|
}
|
|
|
|
div.checkboxes > label > input {
|
|
margin: 0 2px;
|
|
}
|
|
|
|
.two-column-summary {
|
|
display: grid;
|
|
grid-template-columns: minmax(25%, max-content) minmax(25%, auto);
|
|
}
|
|
|
|
.three-column-summary {
|
|
display: grid;
|
|
grid-template-columns: minmax(15%, max-content) minmax(20%, max-content) minmax(20%, auto);
|
|
}
|
|
|
|
.three-column-release-summary {
|
|
display: grid;
|
|
grid-template-columns: minmax(40%, max-content) minmax(10%, max-content) minmax(40%, auto);
|
|
}
|
|
|
|
.four-column-summary {
|
|
display: grid;
|
|
grid-template-columns: minmax(10%, max-content) minmax(15%, max-content) minmax(15%, max-content) minmax(15%, auto);
|
|
}
|
|
|
|
@media screen and (max-width: 1000px) {
|
|
.four-column-summary {
|
|
display: grid;
|
|
grid-template-columns: minmax(15%, max-content) minmax(15%, auto);
|
|
}
|
|
}
|
|
|
|
@media screen and (max-width: 800px) {
|
|
.two-column-search-results {
|
|
display: grid;
|
|
grid-template-columns: minmax(40%, max-content) minmax(40%, auto);
|
|
}
|
|
|
|
.three-column-summary {
|
|
display: grid;
|
|
grid-template-columns: minmax(10%, max-content) minmax(25%, auto);
|
|
}
|
|
|
|
.three-column-release-summary {
|
|
display: grid;
|
|
grid-template-columns: minmax(70%, max-content) minmax(30%, max-content)
|
|
}
|
|
|
|
.three-column-summary .col-last,
|
|
.three-column-release-summary .col-last {
|
|
grid-column-end: span 2;
|
|
}
|
|
}
|
|
|
|
@media screen and (max-width: 600px) {
|
|
.two-column-summary {
|
|
display: grid;
|
|
grid-template-columns: 1fr;
|
|
}
|
|
}
|
|
|
|
.summary-table > div, .details-table > div {
|
|
text-align: left;
|
|
padding: 8px 3px 3px 7px;
|
|
overflow-x: auto;
|
|
scrollbar-width: thin;
|
|
}
|
|
|
|
.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: var(--subnav-background-color);
|
|
font-weight: bold;
|
|
}
|
|
|
|
/* Sortable table columns */
|
|
.table-header[onclick] {
|
|
cursor: pointer;
|
|
}
|
|
|
|
.table-header[onclick]::after {
|
|
content: "";
|
|
display: inline-block;
|
|
background-image: url('data:image/svg+xml; utf8, \
|
|
<svg xmlns="http://www.w3.org/2000/svg" width="125" height="170"> \
|
|
<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>');
|
|
background-size: 100% 100%;
|
|
width: 9px;
|
|
height: 14px;
|
|
margin-left: 4px;
|
|
margin-bottom: -3px;
|
|
}
|
|
|
|
.table-header[onclick].sort-asc::after {
|
|
background-image: url('data:image/svg+xml; utf8, \
|
|
<svg xmlns="http://www.w3.org/2000/svg" width="125" height="170"> \
|
|
<path d="M10.101 57.059L63.019 4.142l52.917 52.917" style="opacity:.75;"/> \
|
|
<path d="M10.101 86.392l52.917 52.917 52.917-52.917" style="opacity:.35;"/></svg>');
|
|
|
|
}
|
|
|
|
.table-header[onclick].sort-desc::after {
|
|
background-image: url('data:image/svg+xml; utf8, \
|
|
<svg xmlns="http://www.w3.org/2000/svg" width="125" height="170"> \
|
|
<path d="M10.101 57.059L63.019 4.142l52.917 52.917" style="opacity:.35;"/> \
|
|
<path d="M10.101 86.392l52.917 52.917 52.917-52.917" style="opacity:.75;"/></svg>');
|
|
}
|
|
|
|
.col-first, .col-first {
|
|
font-size: 0.93em;
|
|
}
|
|
|
|
.col-second, .col-second, .col-last, .col-constructor-name, .col-summary-item-name, .col-last {
|
|
font-size: 0.93em;
|
|
}
|
|
|
|
.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 {
|
|
font-weight: bold;
|
|
}
|
|
|
|
.even-row-color, .even-row-color .table-header {
|
|
background-color: var(--even-row-color);
|
|
}
|
|
|
|
.odd-row-color, .odd-row-color .table-header {
|
|
background-color: var(--odd-row-color);
|
|
}
|
|
|
|
/*
|
|
* Styles for contents.
|
|
*/
|
|
div.block {
|
|
font-size: var(--body-font-size);
|
|
font-family: var(--block-font-family);
|
|
}
|
|
|
|
.col-last div {
|
|
padding-top: 0;
|
|
}
|
|
|
|
.col-last a {
|
|
padding-bottom: 3px;
|
|
}
|
|
|
|
.module-signature,
|
|
.package-signature,
|
|
.type-signature,
|
|
.member-signature {
|
|
font-family: var(--code-font-family);
|
|
font-size: 1em;
|
|
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 of line numbers in source pages can be set via custom property below */
|
|
color: var(--source-linenumber-color, green);
|
|
padding: 0 30px 0 0;
|
|
}
|
|
|
|
.block {
|
|
display: block;
|
|
margin: 0 10px 5px 0;
|
|
color: var(--block-text-color);
|
|
}
|
|
|
|
.deprecated-label, .description-from-type-label, .implementation-label, .member-name-link,
|
|
.module-label-in-package, .module-label-in-type, .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: 1em;
|
|
font-family: var(--block-font-family);
|
|
border-style: solid;
|
|
border-width: thin;
|
|
border-radius: 10px;
|
|
padding: 10px;
|
|
margin-bottom: 10px;
|
|
margin-right: 10px;
|
|
display: inline-block;
|
|
}
|
|
|
|
.preview-block {
|
|
font-size: 1em;
|
|
font-family: var(--block-font-family);
|
|
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;
|
|
}
|
|
|
|
details.invalid-tag, span.invalid-tag {
|
|
font-size: 1em;
|
|
font-family: var(--block-font-family);
|
|
color: var(--invalid-tag-text-color);
|
|
background: var(--invalid-tag-background-color);
|
|
border: thin solid var(--table-border-color);
|
|
border-radius: 2px;
|
|
padding: 2px 4px;
|
|
display: inline-block;
|
|
}
|
|
|
|
details summary {
|
|
cursor: pointer;
|
|
}
|
|
|
|
/*
|
|
* Styles specific to HTML5 elements.
|
|
*/
|
|
main, nav, header, footer, section {
|
|
display: block;
|
|
}
|
|
|
|
/*
|
|
* Styles for javadoc search.
|
|
*/
|
|
.ui-state-active {
|
|
/* Overrides the color of selection used in jQuery UI */
|
|
background: var(--selected-background-color);
|
|
border: 1px solid var(--selected-background-color);
|
|
color: var(--selected-text-color);
|
|
}
|
|
|
|
.ui-autocomplete-category {
|
|
font-weight: bold;
|
|
font-size: 15px;
|
|
padding: 7px 0 7px 3px;
|
|
background-color: var(--navbar-background-color);
|
|
color: var(--navbar-text-color);
|
|
}
|
|
|
|
.ui-autocomplete {
|
|
max-height: 85%;
|
|
max-width: 65%;
|
|
overflow-y: auto;
|
|
overflow-x: auto;
|
|
scrollbar-width: thin;
|
|
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: 1;
|
|
background-color: var(--body-background-color);
|
|
}
|
|
|
|
ul.ui-autocomplete li {
|
|
float: left;
|
|
clear: both;
|
|
min-width: 100%;
|
|
}
|
|
|
|
ul.ui-autocomplete li.ui-static-link {
|
|
position: sticky;
|
|
bottom: 0;
|
|
left: 0;
|
|
background: var(--subnav-background-color);
|
|
padding: 5px 0;
|
|
font-family: var(--body-font-family);
|
|
font-size: 0.93em;
|
|
font-weight: bolder;
|
|
z-index: 2;
|
|
}
|
|
|
|
li.ui-static-link a, li.ui-static-link a:visited {
|
|
text-decoration: none;
|
|
color: var(--link-color);
|
|
float: right;
|
|
margin-right: 20px;
|
|
}
|
|
|
|
.ui-autocomplete .result-item {
|
|
font-size: inherit;
|
|
}
|
|
|
|
.ui-autocomplete .result-highlight {
|
|
font-weight: bold;
|
|
}
|
|
|
|
#search-input, #page-search-input {
|
|
background-image: url('resources/glass.png');
|
|
background-size: 13px;
|
|
background-repeat: no-repeat;
|
|
background-position: 2px 3px;
|
|
background-color: var(--search-input-background-color);
|
|
color: var(--search-input-text-color);
|
|
border-color: var(--border-color);
|
|
padding-left: 20px;
|
|
width: 250px;
|
|
margin: 0;
|
|
}
|
|
|
|
#search-input {
|
|
margin-left: 4px;
|
|
}
|
|
|
|
#reset-button {
|
|
background-color: transparent;
|
|
background-image: url('resources/x.png');
|
|
background-repeat: no-repeat;
|
|
background-size: contain;
|
|
border: 0;
|
|
border-radius: 0;
|
|
width: 12px;
|
|
height: 12px;
|
|
position: absolute;
|
|
right: 12px;
|
|
top: 10px;
|
|
font-size: 0;
|
|
}
|
|
|
|
::placeholder {
|
|
color: var(--search-input-placeholder-color);
|
|
opacity: 1;
|
|
}
|
|
|
|
.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: var(--search-tag-highlight-color);
|
|
}
|
|
|
|
details.page-search-details {
|
|
display: inline-block;
|
|
}
|
|
|
|
div#result-container {
|
|
font-size: 1em;
|
|
}
|
|
|
|
div#result-container a.search-result-link {
|
|
padding: 0;
|
|
margin: 4px 0;
|
|
width: 100%;
|
|
}
|
|
|
|
#result-container .result-highlight {
|
|
font-weight: bolder;
|
|
}
|
|
|
|
.page-search-info {
|
|
background-color: var(--subnav-background-color);
|
|
border-radius: 3px;
|
|
border: 0 solid var(--border-color);
|
|
padding: 0 8px;
|
|
overflow: hidden;
|
|
height: 0;
|
|
transition: all 0.2s ease;
|
|
}
|
|
|
|
div.table-tabs > button.table-tab {
|
|
background: var(--navbar-background-color);
|
|
color: var(--navbar-text-color);
|
|
}
|
|
|
|
.page-search-header {
|
|
padding: 5px 12px 7px 12px;
|
|
font-weight: bold;
|
|
margin-right: 3px;
|
|
background-color: var(--navbar-background-color);
|
|
color: var(--navbar-text-color);
|
|
display: inline-block;
|
|
}
|
|
|
|
button.page-search-header {
|
|
border: none;
|
|
cursor: pointer;
|
|
}
|
|
|
|
span#page-search-link {
|
|
text-decoration: underline;
|
|
}
|
|
|
|
.module-graph span, .sealed-graph span {
|
|
display: none;
|
|
position: absolute;
|
|
}
|
|
|
|
.module-graph:hover span, .sealed-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: 0 20px 5px 10px;
|
|
border: 1px solid var(--border-color);
|
|
background-color: var(--section-background-color);
|
|
}
|
|
|
|
.inherited-list, section[class$="-details"] .detail {
|
|
padding: 0 0 5px 8px;
|
|
background-color: var(--detail-background-color);
|
|
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;
|
|
}
|
|
|
|
.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 header/section anchor links
|
|
*/
|
|
a.anchor-link {
|
|
opacity: 0;
|
|
transition: opacity 0.1s;
|
|
}
|
|
|
|
:hover > a.anchor-link {
|
|
opacity: 80%;
|
|
}
|
|
|
|
a.anchor-link:hover,
|
|
a.anchor-link:focus-visible,
|
|
a.anchor-link.visible {
|
|
opacity: 100%;
|
|
}
|
|
|
|
a.anchor-link > img {
|
|
width: 0.9em;
|
|
height: 0.9em;
|
|
}
|
|
|
|
/*
|
|
* Styles for copy-to-clipboard buttons
|
|
*/
|
|
button.copy {
|
|
opacity: 70%;
|
|
border: none;
|
|
border-radius: 3px;
|
|
position: relative;
|
|
background: none;
|
|
transition: opacity 0.3s;
|
|
cursor: pointer;
|
|
}
|
|
|
|
:hover > button.copy {
|
|
opacity: 80%;
|
|
}
|
|
|
|
button.copy:hover,
|
|
button.copy:active,
|
|
button.copy:focus-visible,
|
|
button.copy.visible {
|
|
opacity: 100%;
|
|
}
|
|
|
|
button.copy img {
|
|
position: relative;
|
|
background: none;
|
|
filter: brightness(var(--copy-icon-brightness));
|
|
}
|
|
|
|
button.copy:active {
|
|
background-color: var(--copy-button-background-color-active);
|
|
}
|
|
|
|
button.copy span {
|
|
color: var(--body-text-color);
|
|
position: relative;
|
|
top: -0.1em;
|
|
transition: all 0.1s;
|
|
font-size: 0.76rem;
|
|
line-height: 1.2em;
|
|
opacity: 0;
|
|
}
|
|
|
|
button.copy:hover span,
|
|
button.copy:focus-visible span,
|
|
button.copy.visible span {
|
|
opacity: 100%;
|
|
}
|
|
|
|
/* search page copy button */
|
|
button#page-search-copy {
|
|
margin-left: 0.4em;
|
|
padding: 0.3em;
|
|
top: 0.13em;
|
|
}
|
|
|
|
button#page-search-copy img {
|
|
width: 1.2em;
|
|
height: 1.2em;
|
|
padding: 0.01em 0;
|
|
top: 0.15em;
|
|
}
|
|
|
|
button#page-search-copy span {
|
|
color: var(--body-text-color);
|
|
line-height: 1.2em;
|
|
padding: 0.2em;
|
|
top: -0.18em;
|
|
}
|
|
|
|
div.page-search-info:hover button#page-search-copy span {
|
|
opacity: 100%;
|
|
}
|
|
|
|
/* snippet copy button */
|
|
button.snippet-copy {
|
|
position: absolute;
|
|
top: 6px;
|
|
right: 6px;
|
|
height: 1.7em;
|
|
padding: 2px;
|
|
}
|
|
|
|
button.snippet-copy img {
|
|
width: 18px;
|
|
height: 18px;
|
|
padding: 0.05em 0;
|
|
}
|
|
|
|
button.snippet-copy span {
|
|
line-height: 1.2em;
|
|
padding: 0.2em;
|
|
position: relative;
|
|
top: -0.5em;
|
|
}
|
|
|
|
div.snippet-container:hover button.snippet-copy span {
|
|
opacity: 100%;
|
|
}
|
|
|
|
/*
|
|
* 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 var(--table-border-color);
|
|
}
|
|
|
|
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 var(--table-border-color);
|
|
}
|
|
|
|
table.striped {
|
|
border-collapse: collapse;
|
|
border: 1px solid var(--table-border-color);
|
|
}
|
|
|
|
table.striped > thead {
|
|
background-color: var(--subnav-background-color);
|
|
}
|
|
|
|
table.striped > thead > tr > th, table.striped > thead > tr > td {
|
|
border: 1px solid var(--table-border-color);
|
|
}
|
|
|
|
table.striped > tbody > tr:nth-child(even) {
|
|
background-color: var(--odd-row-color)
|
|
}
|
|
|
|
table.striped > tbody > tr:nth-child(odd) {
|
|
background-color: var(--even-row-color)
|
|
}
|
|
|
|
table.striped > tbody > tr > th, table.striped > tbody > tr > td {
|
|
border-left: 1px solid var(--table-border-color);
|
|
border-right: 1px solid var(--table-border-color);
|
|
}
|
|
|
|
table.striped > tbody > tr > th {
|
|
font-weight: normal;
|
|
}
|
|
|
|
/**
|
|
* Tweak style for small screens.
|
|
*/
|
|
@media screen and (max-width: 920px) {
|
|
header.flex-header {
|
|
max-height: 100vh;
|
|
overflow-y: auto;
|
|
}
|
|
|
|
div#navbar-top {
|
|
height: 2.8em;
|
|
transition: height 0.35s ease;
|
|
}
|
|
|
|
ul.nav-list {
|
|
display: block;
|
|
width: 40%;
|
|
float: left;
|
|
clear: left;
|
|
margin: 10px 0 0 0;
|
|
padding: 0;
|
|
}
|
|
|
|
ul.nav-list li {
|
|
float: none;
|
|
padding: 6px;
|
|
margin-left: 10px;
|
|
margin-top: 2px;
|
|
}
|
|
|
|
ul.sub-nav-list-small {
|
|
display: block;
|
|
height: 100%;
|
|
width: 50%;
|
|
float: right;
|
|
clear: right;
|
|
background-color: var(--subnav-background-color);
|
|
color: var(--body-text-color);
|
|
margin: 6px 0 0 0;
|
|
padding: 0;
|
|
}
|
|
|
|
ul.sub-nav-list-small ul {
|
|
padding-left: 20px;
|
|
}
|
|
|
|
ul.sub-nav-list-small a:link, ul.sub-nav-list-small a:visited {
|
|
color: var(--link-color);
|
|
}
|
|
|
|
ul.sub-nav-list-small a:hover {
|
|
color: var(--link-color-active);
|
|
}
|
|
|
|
ul.sub-nav-list-small li {
|
|
list-style: none;
|
|
float: none;
|
|
padding: 6px;
|
|
margin-top: 1px;
|
|
text-transform: uppercase;
|
|
}
|
|
|
|
ul.sub-nav-list-small > li {
|
|
margin-left: 10px;
|
|
}
|
|
|
|
ul.sub-nav-list-small li p {
|
|
margin: 5px 0;
|
|
}
|
|
|
|
div#navbar-sub-list {
|
|
display: none;
|
|
}
|
|
|
|
.top-nav a:link, .top-nav a:active, .top-nav a:visited {
|
|
display: block;
|
|
}
|
|
|
|
button#navbar-toggle-button {
|
|
width: 3.4em;
|
|
height: 2.8em;
|
|
background-color: transparent;
|
|
display: block;
|
|
float: left;
|
|
border: 0;
|
|
margin: 0 10px;
|
|
cursor: pointer;
|
|
font-size: 10px;
|
|
}
|
|
|
|
button#navbar-toggle-button .nav-bar-toggle-icon {
|
|
display: block;
|
|
width: 24px;
|
|
height: 3px;
|
|
margin: 1px 0 4px 0;
|
|
border-radius: 2px;
|
|
transition: all 0.1s;
|
|
background-color: var(--navbar-text-color);
|
|
}
|
|
|
|
button#navbar-toggle-button.expanded span.nav-bar-toggle-icon:nth-child(1) {
|
|
transform: rotate(45deg);
|
|
transform-origin: 10% 10%;
|
|
width: 26px;
|
|
}
|
|
|
|
button#navbar-toggle-button.expanded span.nav-bar-toggle-icon:nth-child(2) {
|
|
opacity: 0;
|
|
}
|
|
|
|
button#navbar-toggle-button.expanded span.nav-bar-toggle-icon:nth-child(3) {
|
|
transform: rotate(-45deg);
|
|
transform-origin: 10% 90%;
|
|
width: 26px;
|
|
}
|
|
}
|
|
|
|
@media screen and (max-width: 800px) {
|
|
.about-language {
|
|
padding-right: 16px;
|
|
}
|
|
|
|
ul.nav-list li {
|
|
margin-left: 5px;
|
|
}
|
|
|
|
ul.sub-nav-list-small > li {
|
|
margin-left: 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: 400px) {
|
|
.about-language {
|
|
font-size: 10px;
|
|
padding-right: 12px;
|
|
}
|
|
}
|
|
|
|
@media screen and (max-width: 400px) {
|
|
.nav-list-search {
|
|
width: 94%;
|
|
}
|
|
|
|
#search-input, #page-search-input {
|
|
width: 70%;
|
|
}
|
|
}
|
|
|
|
@media screen and (max-width: 320px) {
|
|
.nav-list-search > label {
|
|
display: none;
|
|
}
|
|
|
|
.nav-list-search {
|
|
width: 90%;
|
|
}
|
|
|
|
#search-input, #page-search-input {
|
|
width: 80%;
|
|
}
|
|
}
|
|
|
|
pre.snippet {
|
|
background-color: var(--snippet-background-color);
|
|
color: var(--snippet-text-color);
|
|
padding: 10px;
|
|
margin: 12px 0;
|
|
overflow: auto;
|
|
white-space: pre;
|
|
}
|
|
|
|
div.snippet-container {
|
|
position: relative;
|
|
}
|
|
|
|
@media screen and (max-width: 800px) {
|
|
pre.snippet {
|
|
padding-top: 26px;
|
|
}
|
|
|
|
button.snippet-copy {
|
|
top: 4px;
|
|
right: 4px;
|
|
}
|
|
}
|
|
|
|
pre.snippet .italic {
|
|
font-style: italic;
|
|
}
|
|
|
|
pre.snippet .bold {
|
|
font-weight: bold;
|
|
}
|
|
|
|
pre.snippet .highlighted {
|
|
background-color: var(--snippet-highlight-color);
|
|
border-radius: 10%;
|
|
}
|