/*
 * Javadoc style sheet
 */

@import url('resources/fonts/dejavu.css');

/*
 * Styles for individual HTML elements.
 *
 * These are styles that are specific to individual HTML elements. Changing them affects the style of a particular
 * HTML element throughout the page.
 */

body {
  background-color: #ffffff;
  color: #353833;
  font-family: 'DejaVu Sans', Arial, Helvetica, sans-serif;
  font-size: 14px;
  margin: 0;
  padding: 0;
  height: 100%;
  width: 100%;
}

iframe {
  margin: 0;
  padding: 0;
  height: 100%;
  width: 100%;
  overflow-y: scroll;
  border: none;
}

a:link, a:visited {
  text-decoration: none;
  color: #4A6782;
}

a[href]:hover, a[href]:focus {
  text-decoration: none;
  color: #bb7a2a;
}

a[name] {
  color: #353833;
}

pre {
  font-family: 'DejaVu Sans Mono', monospace;
  font-size: 14px;
}

h1 {
  font-size: 20px;
}

h2 {
  font-size: 18px;
}

h3 {
  font-size: 16px;
}

h4 {
  font-size: 15px;
}

h5 {
  font-size: 14px;
}

h6 {
  font-size: 13px;
}

ul {
  list-style-type: disc;
}

code, tt {
  font-family: 'DejaVu Sans Mono', monospace;
}

:not(h1, h2, h3, h4, h5, h6) > code,
:not(h1, h2, h3, h4, h5, h6) > tt {
  font-size: 14px;
  padding-top: 4px;
  margin-top: 8px;
  line-height: 1.4em;
}

dt code {
  font-family: 'DejaVu Sans Mono', monospace;
  font-size: 14px;
  padding-top: 4px;
}

.summary-table dt code {
  font-family: 'DejaVu Sans Mono', monospace;
  font-size: 14px;
  vertical-align: top;
  padding-top: 4px;
}

sup {
  font-size: 8px;
}

button {
  font-family: 'DejaVu Sans', Arial, Helvetica, sans-serif;
  font-size: 14px;
}

/*
 * Styles for HTML generated by javadoc.
 *
 * These are style classes that are used by the standard doclet to generate HTML documentation.
 */

/*
 * Styles for document title and copyright.
 */
.clear {
  clear: both;
  height: 0;
  overflow: hidden;
}

.about-language {
  float: right;
  padding: 0 21px 8px 8px;
  font-size: 11px;
  margin-top: -9px;
  height: 2.9em;
}

.legal-copy {
  margin-left: .5em;
}

.tab {
  background-color: #0066FF;
  color: #ffffff;
  padding: 8px;
  width: 5em;
  font-weight: bold;
}

/*
 * Styles for navigation bar.
 */
@media screen {
  .flex-box {
    position: fixed;
    display: flex;
    flex-direction: column;
    height: 100%;
    width: 100%;
  }

  .flex-header {
    flex: 0 0 auto;
  }

  .flex-content {
    flex: 1 1 auto;
    overflow-y: auto;
  }
}

.top-nav {
  background-color: #4D7A97;
  color: #FFFFFF;
  float: left;
  padding: 0;
  width: 100%;
  clear: right;
  min-height: 2.8em;
  padding-top: 10px;
  overflow: hidden;
  font-size: 12px;
}

.sub-nav {
  background-color: #dee3e9;
  float: left;
  width: 100%;
  overflow: hidden;
  font-size: 12px;
}

.sub-nav div {
  clear: left;
  float: left;
  padding: 0 0 5px 6px;
  text-transform: uppercase;
}

.sub-nav .nav-list {
  padding-top: 5px;
}

ul.nav-list {
  display: block;
  margin: 0 25px 0 0;
  padding: 0;
}

ul.sub-nav-list {
  float: left;
  margin: 0 25px 0 0;
  padding: 0;
}

ul.nav-list li {
  list-style: none;
  float: left;
  padding: 5px 6px;
  text-transform: uppercase;
}

.sub-nav .nav-list-search {
  float: right;
  margin: 0 0 0 0;
  padding: 5px 6px;
  clear: none;
}

.nav-list-search label {
  position: relative;
  right: -16px;
}

ul.sub-nav-list li {
  list-style: none;
  float: left;
  padding-top: 10px;
}

.top-nav a:link, .top-nav a:active, .top-nav a:visited {
  color: #FFFFFF;
  text-decoration: none;
  text-transform: uppercase;
}

.top-nav a:hover {
  text-decoration: none;
  color: #bb7a2a;
  text-transform: uppercase;
}

.nav-bar-cell1-rev {
  background-color: #F8981D;
  color: #253441;
  margin: auto 5px;
}

.skip-nav {
  position: absolute;
  top: auto;
  left: -9999px;
  overflow: hidden;
}

/*
 * Hide navigation links and search box in print layout
 */
@media print {
  ul.nav-list, div.sub-nav {
    display: none;
  }
}

/*
 * Styles for page header and footer.
 */
.title {
  color: #2c4557;
  margin: 10px 0;
}

.sub-title {
  margin: 5px 0 0 0;
}

.header ul {
  margin: 0 0 15px 0;
  padding: 0;
}

.header ul li, .footer ul li {
  list-style: none;
  font-size: 13px;
}

/*
 * Styles for headings.
 */
body.class-declaration-page .summary h2,
body.class-declaration-page .details h2,
body.class-use-page h2,
body.module-declaration-page .block-list h2 {
  font-style: italic;
  padding: 0;
  margin: 15px 0;
}

body.class-declaration-page .summary h3,
body.class-declaration-page .details h3,
body.class-declaration-page .summary .inherited-list h2 {
  background-color: #dee3e9;
  border: 1px solid #d0d9e0;
  margin: 0 0 6px -8px;
  padding: 7px 5px;
}

/*
 * Styles for page layout containers.
 */
main {
  clear: both;
  padding: 10px 20px;
  position: relative;
}

dl.notes > dt {
  font-family: 'DejaVu Sans', Arial, Helvetica, sans-serif;
  font-size: 12px;
  font-weight: bold;
  margin: 10px 0 0 0;
  color: #4E4E4E;
}

dl.notes > dd {
  margin: 5px 10px 10px 0;
  font-size: 14px;
  font-family: 'DejaVu Serif', Georgia, "Times New Roman", Times, serif;
}

dl.name-value > dt {
  margin-left: 1px;
  font-size: 1.1em;
  display: inline;
  font-weight: bold;
}

dl.name-value > dd {
  margin: 0 0 0 1px;
  font-size: 1.1em;
  display: inline;
}

/*
 * Styles for lists.
 */
li.circle {
  list-style: circle;
}

ul.horizontal li {
  display: inline;
  font-size: 0.9em;
}

div.inheritance {
  margin: 0;
  padding: 0;
}

div.inheritance div.inheritance {
  margin-left: 2em;
}

ul.block-list,
ul.details-list,
ul.member-list,
ul.summary-list {
  margin: 10px 0 10px 0;
  padding: 0;
}

ul.block-list > li,
ul.details-list > li,
ul.member-list > li,
ul.summary-list > li {
  list-style: none;
  margin-bottom: 15px;
  line-height: 1.4;
}

.summary-table dl, .summary-table dl dt, .summary-table dl dd {
  margin-top: 0;
  margin-bottom: 1px;
}

ul.see-list, ul.see-list-long {
  padding-left: 0;
  list-style: none;
}

ul.see-list li {
  display: inline;
}

ul.see-list li:not(:last-child):after,
ul.see-list-long li:not(:last-child):after {
  content: ", ";
  white-space: pre-wrap;
}

/*
 * Styles for tables.
 */
.summary-table, .details-table {
  width: 100%;
  border-spacing: 0;
  border-left: 1px solid #EEE;
  border-right: 1px solid #EEE;
  border-bottom: 1px solid #EEE;
  padding: 0;
}

.caption {
  position: relative;
  text-align: left;
  background-repeat: no-repeat;
  color: #253441;
  font-weight: bold;
  clear: none;
  overflow: hidden;
  padding: 0;
  padding-top: 10px;
  padding-left: 1px;
  margin: 0;
  white-space: pre;
}

.caption a:link, .caption a:visited {
  color: #1f389c;
}

.caption a:hover,
.caption a:active {
  color: #FFFFFF;
}

.caption span {
  white-space: nowrap;
  padding-top: 5px;
  padding-left: 12px;
  padding-right: 12px;
  padding-bottom: 7px;
  display: inline-block;
  float: left;
  background-color: #F8981D;
  border: none;
  height: 16px;
}

div.table-tabs {
  padding: 10px 0 0 1px;
  margin: 0;
}

div.table-tabs > button {
  border: none;
  cursor: pointer;
  padding: 5px 12px 7px 12px;
  font-weight: bold;
  margin-right: 3px;
}

div.table-tabs > button.active-table-tab {
  background: #F8981D;
  color: #253441;
}

div.table-tabs > button.table-tab {
  background: #4D7A97;
  color: #FFFFFF;
}

.two-column-summary {
  display: grid;
  grid-template-columns: minmax(15%, max-content) minmax(15%, auto);
}

.three-column-summary {
  display: grid;
  grid-template-columns: minmax(10%, max-content) minmax(15%, max-content) minmax(15%, auto);
}

.four-column-summary {
  display: grid;
  grid-template-columns: minmax(10%, max-content) minmax(10%, max-content) minmax(10%, max-content) minmax(10%, auto);
}

@media screen and (max-width: 600px) {
  .two-column-summary {
    display: grid;
    grid-template-columns: 1fr;
  }
}

@media screen and (max-width: 800px) {
  .three-column-summary {
    display: grid;
    grid-template-columns: minmax(10%, max-content) minmax(25%, auto);
  }

  .three-column-summary .col-last {
    grid-column-end: span 2;
  }
}

@media screen and (max-width: 1000px) {
  .four-column-summary {
    display: grid;
    grid-template-columns: minmax(15%, max-content) minmax(15%, auto);
  }
}

.summary-table > div, .details-table > div {
  text-align: left;
  padding: 8px 3px 3px 7px;
}

.col-first, .col-second, .col-last, .col-constructor-name, .col-summary-item-name {
  vertical-align: top;
  padding-right: 0;
  padding-top: 8px;
  padding-bottom: 3px;
}

.table-header {
  background: #dee3e9;
  font-weight: bold;
}

.col-first, .col-first {
  font-size: 13px;
}

.col-second, .col-second, .col-last, .col-constructor-name, .col-summary-item-name, .col-last {
  font-size: 13px;
}

.col-first, .col-second, .col-constructor-name {
  vertical-align: top;
  overflow: auto;
}

.col-last {
  white-space: normal;
}

.col-first a:link, .col-first a:visited,
.col-second a:link, .col-second a:visited,
.col-first a:link, .col-first a:visited,
.col-second a:link, .col-second a:visited,
.col-constructor-name a:link, .col-constructor-name a:visited,
.col-summary-item-name a:link, .col-summary-item-name a:visited,
.constant-values-container a:link, .constant-values-container a:visited,
.all-classes-container a:link, .all-classes-container a:visited,
.all-packages-container a:link, .all-packages-container a:visited {
  font-weight: bold;
}

.table-sub-heading-color {
  background-color: #EEEEFF;
}

.even-row-color, .even-row-color .table-header {
  background-color: #FFFFFF;
}

.odd-row-color, .odd-row-color .table-header {
  background-color: #EEEEEF;
}

/*
 * Styles for contents.
 */
.deprecated-content {
  margin: 0;
  padding: 10px 0;
}

div.block {
  font-size: 14px;
  font-family: 'DejaVu Serif', Georgia, "Times New Roman", Times, serif;
}

.col-last div {
  padding-top: 0;
}

.col-last a {
  padding-bottom: 3px;
}

.module-signature,
.package-signature,
.type-signature,
.member-signature {
  font-family: 'DejaVu Sans Mono', monospace;
  font-size: 14px;
  margin: 14px 0;
  white-space: pre-wrap;
}

.module-signature,
.package-signature,
.type-signature {
  margin-top: 0;
}

.member-signature .type-parameters-long,
.member-signature .parameters,
.member-signature .exceptions {
  display: inline-block;
  vertical-align: top;
  white-space: pre;
}

.member-signature .type-parameters {
  white-space: normal;
}

/*
 * Styles for formatting effect.
 */
.source-line-no {
  color: green;
  padding: 0 30px 0 0;
}

h1.hidden {
  visibility: hidden;
  overflow: hidden;
  font-size: 10px;
}

.block {
  display: block;
  margin: 0 10px 5px 0;
  color: #474747;
}

.deprecated-label, .descfrm-type-label, .implementation-label, .member-name-label, .member-name-link,
.module-label-in-package, .module-label-in-type, .override-specify-label, .package-label-in-type,
.package-hierarchy-label, .type-name-label, .type-name-link, .search-tag-link, .preview-label {
  font-weight: bold;
}

.deprecation-comment, .help-footnote, .preview-comment {
  font-style: italic;
}

.deprecation-block {
  font-size: 14px;
  font-family: 'DejaVu Serif', Georgia, "Times New Roman", Times, serif;
  border-style: solid;
  border-width: thin;
  border-radius: 10px;
  padding: 10px;
  margin-bottom: 10px;
  margin-right: 10px;
  display: inline-block;
}

.preview-block {
  font-size: 14px;
  font-family: 'DejaVu Serif', Georgia, "Times New Roman", Times, serif;
  border-style: solid;
  border-width: thin;
  border-radius: 10px;
  padding: 10px;
  margin-bottom: 10px;
  margin-right: 10px;
  display: inline-block;
}

div.block div.deprecation-comment {
  font-style: normal;
}

/*
 * Styles specific to HTML5 elements.
 */
main, nav, header, footer, section {
  display: block;
}

/*
 * Styles for javadoc search.
 */
.ui-autocomplete-category {
  font-weight: bold;
  font-size: 15px;
  padding: 7px 0 7px 3px;
  background-color: #4D7A97;
  color: #FFFFFF;
}

.result-item {
  font-size: 13px;
}

.ui-autocomplete {
  max-height: 85%;
  max-width: 65%;
  overflow-y: scroll;
  overflow-x: scroll;
  white-space: nowrap;
  box-shadow: 0 3px 6px rgba(0, 0, 0, 0.16), 0 3px 6px rgba(0, 0, 0, 0.23);
}

ul.ui-autocomplete {
  position: fixed;
  z-index: 999999;
}

ul.ui-autocomplete li {
  float: left;
  clear: both;
  width: 100%;
}

.result-highlight {
  font-weight: bold;
}

#search-input {
  background-image: url('resources/glass.png');
  background-size: 13px;
  background-repeat: no-repeat;
  background-position: 2px 3px;
  padding-left: 20px;
  position: relative;
  right: -18px;
  width: 400px;
}

#reset-button {
  background-color: rgb(255, 255, 255);
  background-image: url('resources/x.png');
  background-position: center;
  background-repeat: no-repeat;
  background-size: 12px;
  border: 0 none;
  width: 16px;
  height: 16px;
  position: relative;
  left: -4px;
  top: -4px;
  font-size: 0px;
}

.watermark {
  color: #545454;
}

.search-tag-desc-result {
  font-style: italic;
  font-size: 11px;
}

.search-tag-holder-result {
  font-style: italic;
  font-size: 12px;
}

.search-tag-result:target {
  background-color: yellow;
}

.module-graph span {
  display: none;
  position: absolute;
}

.module-graph:hover span {
  display: block;
  margin: -100px 0 0 100px;
  z-index: 1;
}

.inherited-list {
  margin: 10px 0 10px 0;
}

section.class-description {
  line-height: 1.4;
}

.summary section[class$="-summary"], .details section[class$="-details"],
.class-uses .detail, .serialized-class-details {
  padding: 0px 20px 5px 10px;
  border: 1px solid #ededed;
  background-color: #f8f8f8;
}

.inherited-list, section[class$="-details"] .detail {
  padding: 0 0 5px 8px;
  background-color: #ffffff;
  border: none;
}

.vertical-separator {
  padding: 0 5px;
}

ul.help-section-list {
  margin: 0;
}

ul.help-subtoc > li {
  display: inline-block;
  padding-right: 5px;
  font-size: smaller;
}

ul.help-subtoc > li::before {
  content: "\2022";
  padding-right: 2px;
}

span.help-note {
  font-style: italic;
}

/*
 * Indicator icon for external links.
 */
main a[href*="://"]::after {
  content: "";
  display: inline-block;
  background-image: url('data:image/svg+xml; utf8, \
      <svg xmlns="http://www.w3.org/2000/svg" width="768" height="768">\
        <path d="M584 664H104V184h216V80H0v688h688V448H584zM384 0l132 \
        132-240 240 120 120 240-240 132 132V0z" fill="%234a6782"/>\
      </svg>');
  background-size: 100% 100%;
  width: 7px;
  height: 7px;
  margin-left: 2px;
  margin-bottom: 4px;
}

main a[href*="://"]:hover::after,
main a[href*="://"]:focus::after {
  background-image: url('data:image/svg+xml; utf8, \
      <svg xmlns="http://www.w3.org/2000/svg" width="768" height="768">\
        <path d="M584 664H104V184h216V80H0v688h688V448H584zM384 0l132 \
        132-240 240 120 120 240-240 132 132V0z" fill="%23bb7a2a"/>\
      </svg>');
}

/*
 * Styles for user-provided tables.
 *
 * borderless:
 *      No borders, vertical margins, styled caption.
 *      This style is provided for use with existing doc comments.
 *      In general, borderless tables should not be used for layout purposes.
 *
 * plain:
 *      Plain borders around table and cells, vertical margins, styled caption.
 *      Best for small tables or for complex tables for tables with cells that span
 *      rows and columns, when the "striped" style does not work well.
 *
 * striped:
 *      Borders around the table and vertical borders between cells, striped rows,
 *      vertical margins, styled caption.
 *      Best for tables that have a header row, and a body containing a series of simple rows.
 */

table.borderless,
table.plain,
table.striped {
  margin-top: 10px;
  margin-bottom: 10px;
}

table.borderless > caption,
table.plain > caption,
table.striped > caption {
  font-weight: bold;
  font-size: smaller;
}

table.borderless th, table.borderless td,
table.plain th, table.plain td,
table.striped th, table.striped td {
  padding: 2px 5px;
}

table.borderless,
table.borderless > thead > tr > th, table.borderless > tbody > tr > th, table.borderless > tr > th,
table.borderless > thead > tr > td, table.borderless > tbody > tr > td, table.borderless > tr > td {
  border: none;
}

table.borderless > thead > tr, table.borderless > tbody > tr, table.borderless > tr {
  background-color: transparent;
}

table.plain {
  border-collapse: collapse;
  border: 1px solid black;
}

table.plain > thead > tr, table.plain > tbody tr, table.plain > tr {
  background-color: transparent;
}

table.plain > thead > tr > th, table.plain > tbody > tr > th, table.plain > tr > th,
table.plain > thead > tr > td, table.plain > tbody > tr > td, table.plain > tr > td {
  border: 1px solid black;
}

table.striped {
  border-collapse: collapse;
  border: 1px solid black;
}

table.striped > thead {
  background-color: #E3E3E3;
}

table.striped > thead > tr > th, table.striped > thead > tr > td {
  border: 1px solid black;
}

table.striped > tbody > tr:nth-child(even) {
  background-color: #EEE
}

table.striped > tbody > tr:nth-child(odd) {
  background-color: #FFF
}

table.striped > tbody > tr > th, table.striped > tbody > tr > td {
  border-left: 1px solid black;
  border-right: 1px solid black;
}

table.striped > tbody > tr > th {
  font-weight: normal;
}

/**
 * Tweak font sizes and paddings for small screens.
 */
@media screen and (max-width: 1050px) {
  #search-input {
    width: 300px;
  }
}

@media screen and (max-width: 800px) {
  #search-input {
    width: 200px;
  }

  .top-nav,
  .bottom-nav {
    font-size: 11px;
    padding-top: 6px;
  }

  .sub-nav {
    font-size: 11px;
  }

  .about-language {
    padding-right: 16px;
  }

  ul.nav-list li,
  .sub-nav .nav-list-search {
    padding: 6px;
  }

  ul.sub-nav-list li {
    padding-top: 5px;
  }

  main {
    padding: 10px;
  }

  .summary section[class$="-summary"], .details section[class$="-details"],
  .class-uses .detail, .serialized-class-details {
    padding: 0 8px 5px 8px;
  }

  body {
    -webkit-text-size-adjust: none;
  }
}

@media screen and (max-width: 500px) {
  #search-input {
    width: 150px;
  }

  .top-nav,
  .bottom-nav {
    font-size: 10px;
  }

  .sub-nav {
    font-size: 10px;
  }

  .about-language {
    font-size: 10px;
    padding-right: 12px;
  }
}
