/*
 * 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%;
}

/*
 * TORO branding layer on top of Java 21 default stylesheet.
 * Keep Java 21 layout behavior, but restore the legacy 2.8.1 visual identity.
 */
:root {
  --body-font-family: 'Nunito Sans', Arial, Helvetica, sans-serif;
  --block-font-family: 'Nunito Sans', Arial, Helvetica, sans-serif;
  --code-font-family: 'DejaVu Sans Mono', monospace;

  --navbar-background-color: #1f1a2b;
  --navbar-text-color: #ffffff;
  --subnav-background-color: #27213a;

  --selected-background-color: #6f2dbd;
  --selected-text-color: #ffffff;
  --selected-link-color: #ffffff;

  --even-row-color: #ffffff;
  --odd-row-color: #f6f7fa;

  --title-color: #1e1e1e;
  --link-color: #111111;
  --link-color-active: #f5c242;
}

body {
  font-size: 14px;
}

h1 {
  font-size: 40px;
}

h2 {
  font-size: 30px;
}

h3 {
  font-size: 24px;
}

h4 {
  font-size: 22px;
}

h5 {
  font-size: 20px;
}

h6 {
  font-size: 18px;
}

p {
  font-size: 14px;
  line-height: 1.75;
}

/* Contrast rule: white text on dark surfaces, black text on white surfaces */
body,
main,
.flex-content,
.header,
.contentContainer {
  background-color: #ffffff;
  color: #111111;
}

a:link,
a:visited {
  color: #111111;
}

a[href]:hover,
a[href]:focus {
  color: #f5c242;
}

/* Footer at page bottom (in document flow, scrolls with content) */
footer[role="contentinfo"] {
  position: static;
  width: 100%;
  display: block !important;
  background-color: #1f1a2b;
  color: #ffffff;
  margin-top: auto;
}

div.flex-content {
  display: flex;
  flex-direction: column;
  min-height: 100%;
  padding-bottom: 0;
  box-sizing: border-box;
}

div.flex-content > main {
  flex: 1 0 auto;
}

.top-nav {
  display: flex;
  align-items: center;
  min-height: 60px;
  padding: 0 1rem;
  flex-direction: column;
  align-items: center;
  padding-top: 2rem;
  background: #1f1a2b;
}

.top-nav,
.top-nav .nav-list li,
.top-nav .nav-list a,
.sub-nav,
.sub-nav .sub-nav-list li,
.sub-nav .sub-nav-list a,
.sub-nav .nav-list-search,
.sub-nav .nav-list-search label,
.legal-copy,
.legalCopy,
.legal-copy small,
.legalCopy small {
  color: #ffffff;
}

/* Dark search/help panels must use white text for contrast */
.page-search-info,
.page-search-info *,
.page-search-header,
.ui-autocomplete-category,
ul.ui-autocomplete li.ui-static-link {
  color: #ffffff;
}

.page-search-info a:link,
.page-search-info a:visited,
.page-search-header a:link,
.page-search-header a:visited,
ul.ui-autocomplete li.ui-static-link a:link,
ul.ui-autocomplete li.ui-static-link a:visited {
  color: #ffffff;
}

.page-search-info a:hover,
.page-search-info a:focus,
.page-search-header a:hover,
.page-search-header a:focus,
ul.ui-autocomplete li.ui-static-link a:hover,
ul.ui-autocomplete li.ui-static-link a:focus {
  color: #f5c242;
}

.page-search-info button#page-search-copy span,
.page-search-info button.copy span {
  color: #ffffff !important;
}

.top-nav::before {
  content: "";
  display: flex;
  flex: none;
  min-width: 96px;
  height: 40px;
  margin-right: 0;
  background-image: url("https://cdn.prod.website-files.com/687477773282b7ab72a7e475/6875cc676bf8da1fa896600e_lonti-logo-yellow.svg");
  background-size: contain;
  background-position: left center;
  background-repeat: no-repeat;
}

.top-nav .nav-list {
  margin: 0;
  width: 100%;
  justify-content: flex-start;
}

.top-nav .nav-list li {
  margin-bottom: 1rem;
}

.top-nav .nav-list li,
.top-nav .nav-list a {
  color: #ffffff;
  font-size: 13px;
  font-weight: 500;
}

.top-nav .nav-list a:link,
.top-nav .nav-list a:visited,
.top-nav .nav-list a:active {
  color: #ffffff;
}

.top-nav .nav-list li.nav-bar-cell1-rev {
  color: #f5c242;
  border-bottom: 1px solid #6f2dbd;
}

.top-nav .nav-list a:hover,
.top-nav .nav-list a:focus {
  color: #f5c242;
  border-bottom: 1px solid #6f2dbd;
}

.sub-nav a:link,
.sub-nav a:visited,
.sub-nav a:active {
  color: #ffffff;
}

.sub-nav a:hover,
.sub-nav a:focus {
  color: #f5c242;
}

.sub-nav .nav-list-search a {
  color: #ffffff;
}

.sub-nav .nav-list-search {
  color: rgba(255, 255, 255, 0.9);
  display: inline-flex !important;
  visibility: visible !important;
  opacity: 1 !important;
  align-items: center;
  gap: .35rem;
  float: right;
  margin-right: 4rem !important;
  margin-left: auto;
  white-space: nowrap;
  position: relative !important;
}

.sub-nav div.nav-list-search {
  display: inline-flex !important;
  visibility: visible !important;
  opacity: 1 !important;
  position: relative !important;
  top: auto !important;
  right: auto !important;
  margin-left: auto !important;
  margin-right: 1rem !important;
  clear: none !important;
  float: none !important;
  text-align: right;
  z-index: 5;
}

.sub-nav #navbar-sub-list {
  display: none !important;
}

.sub-nav {
  position: relative;
  display: flex;
  align-items: center;
  padding: 6px 1rem;
  overflow: visible;
  min-height: 44px;
}

.sub-nav #search-input,
.sub-nav #page-search-input {
  display: inline-block !important;
  visibility: visible !important;
  opacity: 1 !important;
  width: 220px;
  height: 28px;
  padding-left: 30px;
  border: 1px solid #6f2dbd;
  border-radius: 4px;
  background-color: #ffffff;
  background-position: 8px 50%;
  background-size: 14px;
  color: #111111;
}

.sub-nav #search-input:disabled,
.sub-nav #page-search-input:disabled {
  opacity: 1;
  -webkit-text-fill-color: #111111;
  pointer-events: auto;
}

.sub-nav #reset-button {
  display: inline-block !important;
  visibility: visible !important;
  opacity: 1 !important;
  position: absolute !important;
  right: 15px;
  top: 50%;
  transform: translateY(-50%);
  width: 14px;
  height: 14px;
  z-index: 2;
}

.sub-nav #reset-button::before {
  content: "×";
  display: block;
  font-size: 14px;
  line-height: 14px;
  color: #6f2dbd;
  text-align: center;
}

/* Force search controls visible across all Javadoc page variants */
.nav-list-search {
  display: inline-flex !important;
  visibility: visible !important;
  opacity: 1 !important;
  align-items: center !important;
  gap: .35rem !important;
  white-space: nowrap !important;
  margin-right: 4rem !important;
}

#search-input,
#page-search-input {
  display: inline-block !important;
  visibility: visible !important;
  opacity: 1 !important;
}

#reset-button {
  display: inline-block !important;
  visibility: visible !important;
  opacity: 1 !important;
}

@media screen and (max-width: 920px) {
  .sub-nav .nav-list-search,
  .sub-nav div.nav-list-search {
    display: inline-flex !important;
    position: relative !important;
    right: auto !important;
    top: auto !important;
    margin-left: auto !important;
    margin-right: 4rem !important;
    float: none !important;
    width: auto !important;
  }

  .sub-nav #search-input,
  .sub-nav #page-search-input {
    width: 220px !important;
  }
}

@media screen and (min-width: 921px) {
  .sub-nav .nav-list-search,
  .sub-nav div.nav-list-search,
  .nav-list-search {
    display: inline-flex !important;
    visibility: visible !important;
    opacity: 1 !important;
    position: relative !important;
    right: auto !important;
    top: auto !important;
    margin-left: auto !important;
    margin-right: 4rem !important;
    float: none !important;
    clear: none !important;
    width: auto !important;
    z-index: 20 !important;
  }

  .sub-nav #search-input,
  .sub-nav #page-search-input,
  #search-input,
  #page-search-input {
    width: 220px !important;
  }
}

/* Content-area readability + branding (light background) */
main a:link,
main a:visited {
  color: #111111;
}

main a:hover,
main a:focus {
  color: #f5c242;
  text-decoration: underline;
}

/* Apply Package/Description header design consistently across all pages */
.caption > span {
  background-color: #6f2dbd;
  color: #ffffff;
  font-weight: 700;
}

div.table-tabs > button.table-tab {
  background: #27213a;
  color: #ffffff;
  border: 0;
}

div.table-tabs > button.table-tab:hover,
div.table-tabs > button.table-tab:focus {
  color: #f5c242;
}

div.table-tabs > .active-table-tab {
  background: #6f2dbd;
  color: #ffffff;
}

.summary-table > .table-header,
.details-table > .table-header,
.table-header.col-first,
.table-header.col-second,
.table-header.col-last {
  background-color: #2b243f;
  color: #ffffff !important;
  font-weight: 700;
}

/* Standard style for section headers across all Javadoc pages */
.inherited-list > h3,
section.detail > h3,
.details-list section.detail > h3,
.member-list section.detail > h3 {
  background-color: #2b243f;
  color: #ffffff !important;
  font-weight: 700;
  margin: 0;
  padding: .55rem .7rem;
}

.inherited-list > h3 a:link,
.inherited-list > h3 a:visited,
section.detail > h3 a:link,
section.detail > h3 a:visited,
.details-list section.detail > h3 a:link,
.details-list section.detail > h3 a:visited,
.member-list section.detail > h3 a:link,
.member-list section.detail > h3 a:visited,
.inherited-list > h3 .external-link,
section.detail > h3 .external-link,
.details-list section.detail > h3 .external-link,
.member-list section.detail > h3 .external-link,
.inherited-list > h3 .anchor-link,
section.detail > h3 .anchor-link,
.details-list section.detail > h3 .anchor-link,
.member-list section.detail > h3 .anchor-link {
  color: #ffffff !important;
}

.inherited-list > h3 a:hover,
.inherited-list > h3 a:focus,
section.detail > h3 a:hover,
section.detail > h3 a:focus,
.details-list section.detail > h3 a:hover,
.details-list section.detail > h3 a:focus,
.member-list section.detail > h3 a:hover,
.member-list section.detail > h3 a:focus {
  color: #f5c242 !important;
}

.package-index-page .summary-table .col-first,
.package-index-page .summary-table .col-last {
  color: #111111;
}

.header {
  flex: none;
  padding: 2rem 1rem 1rem;
}

.header .title {
  margin: 0;
  font-size: 40px;
  font-weight: 400;
  line-height: 1.3;
}

footer[role="contentinfo"] hr {
  display: none;
}

.legal-copy,
.legalCopy {
  flex: none;
  width: 100%;
  margin: 0;
  padding: .5rem 0;
  text-align: center;
  background-color: #1f1a2b;
  color: #fff;
}

.legal-copy small,
.legalCopy small {
  color: inherit;
}

@media screen and (min-width: 768px) {
  .top-nav {
    position: fixed;
    top: 0;
    left: 0;
    z-index: 99999;
    width: 100%;
    flex-direction: row;
    padding-top: 0;
  }

  .top-nav + .sub-nav {
    position: fixed;
    top: 60px;
    left: 0;
    z-index: 99998;
    width: 100%;
    padding-left: 3rem;
    padding-right: 3rem;
  }

  .flex-box > .flex-content {
    padding-top: 104px;
  }

  body {
    font-size: 18px;
  }

  p {
    font-size: 18px;
  }

  .top-nav {
    padding-left: 3rem;
    padding-right: 3rem;
  }

  .top-nav::before {
    margin-right: 1.5rem;
  }

  .top-nav .nav-list {
    width: auto;
    justify-content: initial;
  }

  .top-nav .nav-list li {
    margin-bottom: 0;
  }
}