FIProjetIHM2022/docs/stylesheet.css

1013 lines
22 KiB
CSS
Raw Normal View History

2022-11-26 19:46:16 +01:00
/*
2022-11-15 20:03:04 +01:00
* Javadoc style sheet
*/
2022-11-15 17:38:45 +01:00
@import url('resources/fonts/dejavu.css');
2022-11-15 20:03:04 +01:00
/*
* 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.
*/
2022-11-15 17:38:45 +01:00
body {
background-color:#ffffff;
color:#353833;
font-family:'DejaVu Sans', Arial, Helvetica, sans-serif;
font-size:14px;
margin:0;
2022-11-15 20:03:04 +01:00
padding:0;
height:100%;
width:100%;
}
iframe {
margin:0;
padding:0;
height:100%;
width:100%;
overflow-y:scroll;
border:none;
2022-11-15 17:38:45 +01:00
}
a:link, a:visited {
text-decoration:none;
color:#4A6782;
}
2022-11-15 20:03:04 +01:00
a[href]:hover, a[href]:focus {
2022-11-15 17:38:45 +01:00
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 {
2022-11-26 19:46:16 +01:00
font-size:15px;
2022-11-15 17:38:45 +01:00
}
h5 {
2022-11-26 19:46:16 +01:00
font-size:14px;
2022-11-15 17:38:45 +01:00
}
h6 {
2022-11-26 19:46:16 +01:00
font-size:13px;
2022-11-15 17:38:45 +01:00
}
ul {
list-style-type:disc;
}
code, tt {
font-family:'DejaVu Sans Mono', monospace;
2022-11-26 19:46:16 +01:00
}
:not(h1, h2, h3, h4, h5, h6) > code,
:not(h1, h2, h3, h4, h5, h6) > tt {
2022-11-15 17:38:45 +01:00
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;
}
2022-11-26 19:46:16 +01:00
.summary-table dt code {
2022-11-15 17:38:45 +01:00
font-family:'DejaVu Sans Mono', monospace;
font-size:14px;
vertical-align:top;
padding-top:4px;
}
sup {
font-size:8px;
}
2022-11-26 19:46:16 +01:00
button {
font-family: 'DejaVu Sans', Arial, Helvetica, sans-serif;
font-size: 14px;
}
2022-11-15 20:03:04 +01:00
/*
* Styles for HTML generated by javadoc.
*
* These are style classes that are used by the standard doclet to generate HTML documentation.
*/
2022-11-15 17:38:45 +01:00
/*
2022-11-15 20:03:04 +01:00
* Styles for document title and copyright.
*/
2022-11-26 19:46:16 +01:00
.about-language {
2022-11-15 17:38:45 +01:00
float:right;
2022-11-26 19:46:16 +01:00
padding:0 21px 8px 8px;
2022-11-15 17:38:45 +01:00
font-size:11px;
margin-top:-9px;
2022-11-26 19:46:16 +01:00
height:2.9em;
2022-11-15 17:38:45 +01:00
}
2022-11-26 19:46:16 +01:00
.legal-copy {
2022-11-15 17:38:45 +01:00
margin-left:.5em;
}
/*
2022-11-15 20:03:04 +01:00
* Styles for navigation bar.
*/
2022-11-26 19:46:16 +01:00
@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 {
2022-11-15 17:38:45 +01:00
background-color:#4D7A97;
color:#FFFFFF;
float:left;
padding:0;
width:100%;
clear:right;
2022-11-26 19:46:16 +01:00
min-height:2.8em;
2022-11-15 17:38:45 +01:00
padding-top:10px;
overflow:hidden;
font-size:12px;
}
2022-11-26 19:46:16 +01:00
button#navbar-toggle-button {
display:none;
}
ul.sub-nav-list-small {
display: none;
}
.sub-nav {
2022-11-15 17:38:45 +01:00
background-color:#dee3e9;
float:left;
width:100%;
overflow:hidden;
font-size:12px;
}
2022-11-26 19:46:16 +01:00
.sub-nav div {
2022-11-15 17:38:45 +01:00
clear:left;
float:left;
2022-11-26 19:46:16 +01:00
padding:6px;
2022-11-15 17:38:45 +01:00
text-transform:uppercase;
}
2022-11-26 19:46:16 +01:00
.sub-nav .sub-nav-list {
padding-top:4px;
}
ul.nav-list {
display:block;
2022-11-15 17:38:45 +01:00
margin:0 25px 0 0;
padding:0;
}
2022-11-26 19:46:16 +01:00
ul.sub-nav-list {
2022-11-15 17:38:45 +01:00
float:left;
2022-11-26 19:46:16 +01:00
margin:0 25px 0 0;
2022-11-15 20:03:04 +01:00
padding:0;
}
2022-11-26 19:46:16 +01:00
ul.nav-list li {
2022-11-15 20:03:04 +01:00
list-style:none;
2022-11-26 19:46:16 +01:00
float:left;
2022-11-15 20:03:04 +01:00
padding: 5px 6px;
text-transform:uppercase;
}
2022-11-26 19:46:16 +01:00
.sub-nav .nav-list-search {
float:right;
margin:0;
padding:6px;
clear:none;
text-align:right;
2022-11-15 20:03:04 +01:00
position:relative;
}
2022-11-26 19:46:16 +01:00
ul.sub-nav-list li {
2022-11-15 17:38:45 +01:00
list-style:none;
float:left;
}
2022-11-26 19:46:16 +01:00
.top-nav a:link, .top-nav a:active, .top-nav a:visited {
color:#ffffff;
2022-11-15 17:38:45 +01:00
text-decoration:none;
text-transform:uppercase;
}
2022-11-26 19:46:16 +01:00
.top-nav a:hover {
2022-11-15 17:38:45 +01:00
color:#bb7a2a;
}
2022-11-26 19:46:16 +01:00
.nav-bar-cell1-rev {
2022-11-15 17:38:45 +01:00
background-color:#F8981D;
color:#253441;
margin: auto 5px;
}
2022-11-26 19:46:16 +01:00
.skip-nav {
2022-11-15 17:38:45 +01:00
position:absolute;
top:auto;
left:-9999px;
overflow:hidden;
}
/*
2022-11-26 19:46:16 +01:00
* Hide navigation links and search box in print layout
2022-11-15 20:03:04 +01:00
*/
2022-11-26 19:46:16 +01:00
@media print {
ul.nav-list, div.sub-nav {
display:none;
}
2022-11-15 17:38:45 +01:00
}
2022-11-26 19:46:16 +01:00
/*
* Styles for page header.
*/
2022-11-15 17:38:45 +01:00
.title {
color:#2c4557;
margin:10px 0;
}
2022-11-26 19:46:16 +01:00
.sub-title {
2022-11-15 17:38:45 +01:00
margin:5px 0 0 0;
}
.header ul {
margin:0 0 15px 0;
padding:0;
}
2022-11-26 19:46:16 +01:00
.header ul li {
2022-11-15 17:38:45 +01:00
list-style:none;
font-size:13px;
}
/*
2022-11-15 20:03:04 +01:00
* Styles for headings.
*/
2022-11-26 19:46:16 +01:00
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;
2022-11-15 17:38:45 +01:00
}
2022-11-26 19:46:16 +01:00
body.class-declaration-page .summary h3,
body.class-declaration-page .details h3,
body.class-declaration-page .summary .inherited-list h2 {
2022-11-15 17:38:45 +01:00
background-color:#dee3e9;
border:1px solid #d0d9e0;
margin:0 0 6px -8px;
padding:7px 5px;
}
/*
2022-11-15 20:03:04 +01:00
* Styles for page layout containers.
*/
2022-11-26 19:46:16 +01:00
main {
2022-11-15 17:38:45 +01:00
clear:both;
padding:10px 20px;
position:relative;
}
2022-11-26 19:46:16 +01:00
dl.notes > dt {
font-family: 'DejaVu Sans', Arial, Helvetica, sans-serif;
2022-11-15 17:38:45 +01:00
font-size:12px;
font-weight:bold;
margin:10px 0 0 0;
color:#4E4E4E;
}
2022-11-26 19:46:16 +01:00
dl.notes > dd {
margin:5px 10px 10px 0;
2022-11-15 17:38:45 +01:00
font-size:14px;
2022-11-15 20:03:04 +01:00
font-family:'DejaVu Serif', Georgia, "Times New Roman", Times, serif;
2022-11-15 17:38:45 +01:00
}
2022-11-26 19:46:16 +01:00
dl.name-value > dt {
2022-11-15 17:38:45 +01:00
margin-left:1px;
font-size:1.1em;
display:inline;
font-weight:bold;
}
2022-11-26 19:46:16 +01:00
dl.name-value > dd {
2022-11-15 17:38:45 +01:00
margin:0 0 0 1px;
font-size:1.1em;
display:inline;
}
/*
2022-11-15 20:03:04 +01:00
* Styles for lists.
*/
li.circle {
list-style:circle;
}
2022-11-15 17:38:45 +01:00
ul.horizontal li {
display:inline;
font-size:0.9em;
}
2022-11-26 19:46:16 +01:00
div.inheritance {
2022-11-15 17:38:45 +01:00
margin:0;
padding:0;
}
2022-11-26 19:46:16 +01:00
div.inheritance div.inheritance {
margin-left:2em;
2022-11-15 17:38:45 +01:00
}
2022-11-26 19:46:16 +01:00
ul.block-list,
ul.details-list,
ul.member-list,
ul.summary-list {
2022-11-15 17:38:45 +01:00
margin:10px 0 10px 0;
padding:0;
}
2022-11-26 19:46:16 +01:00
ul.block-list > li,
ul.details-list > li,
ul.member-list > li,
ul.summary-list > li {
2022-11-15 17:38:45 +01:00
list-style:none;
margin-bottom:15px;
line-height:1.4;
}
2022-11-26 19:46:16 +01:00
.summary-table dl, .summary-table dl dt, .summary-table dl dd {
margin-top:0;
margin-bottom:1px;
2022-11-15 17:38:45 +01:00
}
2022-11-26 19:46:16 +01:00
ul.see-list, ul.see-list-long {
padding-left: 0;
list-style: none;
2022-11-15 17:38:45 +01:00
}
2022-11-26 19:46:16 +01:00
ul.see-list li {
display: inline;
2022-11-15 17:38:45 +01:00
}
2022-11-26 19:46:16 +01:00
ul.see-list li:not(:last-child):after,
ul.see-list-long li:not(:last-child):after {
content: ", ";
white-space: pre-wrap;
2022-11-15 17:38:45 +01:00
}
/*
2022-11-15 20:03:04 +01:00
* Styles for tables.
*/
2022-11-26 19:46:16 +01:00
.summary-table, .details-table {
2022-11-15 17:38:45 +01:00
width:100%;
2022-11-15 20:03:04 +01:00
border-spacing:0;
2022-11-26 19:46:16 +01:00
border-left:1px solid #EEE;
border-right:1px solid #EEE;
border-bottom:1px solid #EEE;
padding:0;
2022-11-15 17:38:45 +01:00
}
2022-11-26 19:46:16 +01:00
.caption {
2022-11-15 17:38:45 +01:00
position:relative;
text-align:left;
background-repeat:no-repeat;
color:#253441;
font-weight:bold;
clear:none;
overflow:hidden;
2022-11-26 19:46:16 +01:00
padding:0;
2022-11-15 17:38:45 +01:00
padding-top:10px;
padding-left:1px;
2022-11-26 19:46:16 +01:00
margin:0;
2022-11-15 17:38:45 +01:00
white-space:pre;
}
2022-11-26 19:46:16 +01:00
.caption a:link, .caption a:visited {
2022-11-15 20:03:04 +01:00
color:#1f389c;
}
2022-11-26 19:46:16 +01:00
.caption a:hover,
.caption a:active {
2022-11-15 17:38:45 +01:00
color:#FFFFFF;
}
2022-11-26 19:46:16 +01:00
.caption span {
2022-11-15 17:38:45 +01:00
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;
}
2022-11-26 19:46:16 +01:00
div.table-tabs {
padding:10px 0 0 1px;
margin:0;
2022-11-15 17:38:45 +01:00
}
2022-11-26 19:46:16 +01:00
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 {
2022-11-15 17:38:45 +01:00
text-align:left;
2022-11-26 19:46:16 +01:00
padding: 8px 3px 3px 7px;
2022-11-15 17:38:45 +01:00
}
2022-11-26 19:46:16 +01:00
.col-first, .col-second, .col-last, .col-constructor-name, .col-summary-item-name {
2022-11-15 17:38:45 +01:00
vertical-align:top;
2022-11-26 19:46:16 +01:00
padding-right:0;
2022-11-15 17:38:45 +01:00
padding-top:8px;
padding-bottom:3px;
}
2022-11-26 19:46:16 +01:00
.table-header {
2022-11-15 17:38:45 +01:00
background:#dee3e9;
2022-11-26 19:46:16 +01:00
font-weight: bold;
2022-11-15 17:38:45 +01:00
}
2022-11-26 19:46:16 +01:00
.col-first, .col-first {
2022-11-15 17:38:45 +01:00
font-size:13px;
}
2022-11-26 19:46:16 +01:00
.col-second, .col-second, .col-last, .col-constructor-name, .col-summary-item-name, .col-last {
2022-11-15 20:03:04 +01:00
font-size:13px;
}
2022-11-26 19:46:16 +01:00
.col-first, .col-second, .col-constructor-name {
2022-11-15 17:38:45 +01:00
vertical-align:top;
2022-11-26 19:46:16 +01:00
overflow: auto;
2022-11-15 17:38:45 +01:00
}
2022-11-26 19:46:16 +01:00
.col-last {
2022-11-15 20:03:04 +01:00
white-space:normal;
}
2022-11-26 19:46:16 +01:00
.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 {
2022-11-15 17:38:45 +01:00
font-weight:bold;
}
2022-11-26 19:46:16 +01:00
.even-row-color, .even-row-color .table-header {
2022-11-15 17:38:45 +01:00
background-color:#FFFFFF;
}
2022-11-26 19:46:16 +01:00
.odd-row-color, .odd-row-color .table-header {
2022-11-15 17:38:45 +01:00
background-color:#EEEEEF;
}
/*
2022-11-15 20:03:04 +01:00
* Styles for contents.
*/
2022-11-15 17:38:45 +01:00
div.block {
font-size:14px;
font-family:'DejaVu Serif', Georgia, "Times New Roman", Times, serif;
}
2022-11-26 19:46:16 +01:00
.col-last div {
padding-top:0;
2022-11-15 17:38:45 +01:00
}
2022-11-26 19:46:16 +01:00
.col-last a {
2022-11-15 17:38:45 +01:00
padding-bottom:3px;
}
2022-11-26 19:46:16 +01:00
.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;
}
2022-11-15 17:38:45 +01:00
/*
2022-11-15 20:03:04 +01:00
* Styles for formatting effect.
*/
2022-11-26 19:46:16 +01:00
.source-line-no {
2022-11-15 17:38:45 +01:00
color:green;
padding:0 30px 0 0;
}
.block {
display:block;
2022-11-26 19:46:16 +01:00
margin:0 10px 5px 0;
2022-11-15 17:38:45 +01:00
color:#474747;
}
2022-11-26 19:46:16 +01:00
.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 {
2022-11-15 17:38:45 +01:00
font-weight:bold;
}
2022-11-26 19:46:16 +01:00
.deprecation-comment, .help-footnote, .preview-comment {
2022-11-15 17:38:45 +01:00
font-style:italic;
}
2022-11-26 19:46:16 +01:00
.deprecation-block {
2022-11-15 20:03:04 +01:00
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;
}
2022-11-26 19:46:16 +01:00
.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;
2022-11-15 17:38:45 +01:00
}
2022-11-26 19:46:16 +01:00
div.block div.deprecation-comment {
font-style:normal;
2022-11-15 20:03:04 +01:00
}
2022-11-26 19:46:16 +01:00
details.invalid-tag, span.invalid-tag {
font-size:14px;
font-family:'DejaVu Serif', Georgia, "Times New Roman", Times, serif;
background: #ffe6e6;
border: thin solid #000000;
border-radius:2px;
padding: 2px 4px;
display:inline-block;
2022-11-15 20:03:04 +01:00
}
2022-11-26 19:46:16 +01:00
details.invalid-tag summary {
cursor: pointer;
2022-11-15 20:03:04 +01:00
}
/*
* 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;
}
2022-11-26 19:46:16 +01:00
.result-item {
2022-11-15 20:03:04 +01:00
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;
}
2022-11-26 19:46:16 +01:00
ul.ui-autocomplete li {
2022-11-15 20:03:04 +01:00
float:left;
clear:both;
2022-11-26 19:46:16 +01:00
min-width:100%;
2022-11-15 20:03:04 +01:00
}
2022-11-26 19:46:16 +01:00
.result-highlight {
2022-11-15 20:03:04 +01:00
font-weight:bold;
}
2022-11-26 19:46:16 +01:00
#search-input {
2022-11-15 20:03:04 +01:00
background-image:url('resources/glass.png');
background-size:13px;
background-repeat:no-repeat;
background-position:2px 3px;
padding-left:20px;
2022-11-26 19:46:16 +01:00
width: 250px;
margin: 0;
2022-11-15 20:03:04 +01:00
}
2022-11-26 19:46:16 +01:00
#reset-button {
background-color: transparent;
2022-11-15 20:03:04 +01:00
background-image:url('resources/x.png');
background-repeat:no-repeat;
2022-11-26 19:46:16 +01:00
background-size:contain;
border:0;
border-radius:0;
width:12px;
height:12px;
position:absolute;
right:12px;
top:10px;
font-size:0;
2022-11-15 20:03:04 +01:00
}
2022-11-26 19:46:16 +01:00
::placeholder {
color:#909090;
opacity: 1;
2022-11-15 20:03:04 +01:00
}
2022-11-26 19:46:16 +01:00
.search-tag-desc-result {
2022-11-15 20:03:04 +01:00
font-style:italic;
font-size:11px;
}
2022-11-26 19:46:16 +01:00
.search-tag-holder-result {
2022-11-15 20:03:04 +01:00
font-style:italic;
font-size:12px;
}
2022-11-26 19:46:16 +01:00
.search-tag-result:target {
background-color:yellow;
2022-11-15 20:03:04 +01:00
}
2022-11-26 19:46:16 +01:00
.module-graph span {
2022-11-15 20:03:04 +01:00
display:none;
position:absolute;
}
2022-11-26 19:46:16 +01:00
.module-graph:hover span {
2022-11-15 20:03:04 +01:00
display:block;
margin: -100px 0 0 100px;
z-index: 1;
}
2022-11-26 19:46:16 +01:00
.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>');
2022-11-15 20:03:04 +01:00
}
/*
* 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;
}
2022-11-26 19:46:16 +01:00
/**
* 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: #dee3e9;
color: #353833;
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:#4A6782;
}
ul.sub-nav-list-small a:hover {
color:#bb7a2a;
}
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: #ffffff;
}
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 {
width: 70%;
}
}
@media screen and (max-width: 320px) {
.nav-list-search > label {
display: none;
}
.nav-list-search {
width: 90%;
}
#search-input {
width: 80%;
}
}
pre.snippet {
background-color: #ebecee;
padding: 10px;
margin: 12px 0;
overflow: auto;
white-space: pre;
}
div.snippet-container {
position: relative;
}
button.snippet-copy {
position: absolute;
top: 6px;
right: 6px;
height: 1.7em;
opacity: 50%;
transition: opacity 0.2s;
padding: 2px;
border: none;
cursor: pointer;
background: none;
}
button.snippet-copy img {
width: 18px;
height: 18px;
padding: 0.05em 0;
background: none;
}
div.snippet-container:hover button.snippet-copy {
opacity: 80%;
}
div.snippet-container button.snippet-copy:hover {
opacity: 100%;
}
button.snippet-copy span {
color: #3d3d3d;
content: attr(aria-label);
font-family:'DejaVu Sans', Arial, Helvetica, sans-serif;
font-size: 85%;
line-height: 1.2em;
padding: 0.2em;
position: relative;
white-space: nowrap;
top: -0.5em;
display: none;
}
div.snippet-container:hover button.snippet-copy span {
display: inline;
}
button.snippet-copy:active {
background: #d3d3d3;
opacity: 100%;
}
@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: #f7c590;
border-radius: 10%;
}