header .rvt-header-wrapper {
	position: relative;
}

header nav {
	padding-left: 1.5rem;
	padding-right: 1.5rem;
}

.rvt-footer-base__inner {
	border-top: 0 !important;
}

h1.title {
	font-size: 1.625em;
	font-weight: bold;
}

:root {
	/* body, block and code fonts */
	--body-font-family: "BentonSans", -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Oxygen, Ubuntu, Cantarell, "Open Sans", "Helvetica Neue", sans-serif;
	--block-font-family: "BentonSans", -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Oxygen, Ubuntu, Cantarell, "Open Sans", "Helvetica Neue", sans-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: #0e1825;
	--block-text-color: #0e1825;
	/* Background colors for various structural elements */
	--body-background-color: #ffffff;
	--section-background-color: #f8f9fa;
	--detail-background-color: #ffffff;
	/* Colors for navigation bar and table captions */
	--navbar-background-color: #ffffff;
	--navbar-text-color: #5a0c0c;
	/* Background color for subnavigation and various headers */
	--subnav-background-color: #e2e7e9;
	/* Background and text colors for selected tabs and navigation items */
	--selected-background-color: #fff3f0;
	--selected-text-color: #990000;
	--selected-link-color: #dc231e;
	/* Background colors for generated tables */
	--even-row-color: #ffffff;
	--odd-row-color: #fffceb;
	/* Text color for page title */
	--title-color: #243142;
	/* Text colors for links */
	--link-color: #5a0c0c;
	--link-color-active: #dc231e;
	/* Snippet colors */
	--snippet-background-color: #edfdfa;
	--snippet-text-color: var(--block-text-color);
	--snippet-highlight-color: #c6ecf6;
	/* Border colors for structural elements and user defined tables */
	--border-color: #e2e7e9;
	--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: 0;
}

/*
 * 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: 1rem 0.25rem 0 0.25rem;
	overflow: hidden;
	font-size: 0.857em;
	border-bottom: 1px solid #e2e7e9;
}

.top-nav .nav-list li {
	padding: 1rem 1rem 0.75rem 1rem;
}

button#navbar-toggle-button {
	display: none;
}

ul.sub-nav-list-small {
	display: none;
}

.sub-nav {
	padding: 0.5rem 2rem 0 1rem;
	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;
	padding: 0.25rem 0;
}

.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: #fff3f0;
	color: #990000;
	border-bottom: 0.25rem solid #990000;
}

.top-nav li:hover {
	background-color: #edfafd;
	color: #006298;
	border-bottom: 0.25rem solid #006298;
}

.top-nav li:hover a {
	color: #006298;
}

.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: 0.5rem 2rem;
	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;
	box-sizing: unset;
	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: 0.75rem 0.75rem 0.5rem 0.75rem;
}

div.table-tabs>button.table-tab:hover {
	background: #edfafd;
	color: #006298;
	border-bottom: 0.25rem solid #006298
}

div.table-tabs>.active-table-tab {
	background: #fff3f0;
	color: #990000;
	border-bottom: 0.25rem solid #990000
}

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: 10px 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 copy-to-clipboard buttons
 */
button.copy {
	opacity: 80%;
	border: none;
	border-radius: 3px;
	position: relative;
	background: none;
	transition: opacity 0.2s;
	cursor: pointer;
}

button.copy:hover,
button.copy:active {
	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;
}

/* header/section copy button */
button.copy-header {
	margin: 0 0.2em;
	padding: 0 4px;
	height: 1.16em;
}

button.copy-header img {
	height: 0.88em;
	top: 0.1em;
}

/* 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);
	content: attr(aria-label);
	line-height: 1.2em;
	padding: 0.2em;
	top: -0.18em;
	opacity: 0;
}

div.page-search-info:hover button#page-search-copy,
div.page-search-info:hover button#page-search-copy span {
	opacity: 90%;
}

/* snippet copy button */
button.snippet-copy {
	position: absolute;
	top: 6px;
	right: 6px;
	height: 1.7em;
	opacity: 50%;
	padding: 2px;
}

button.snippet-copy img {
	width: 18px;
	height: 18px;
	padding: 0.05em 0;
}

button.snippet-copy span {
	content: attr(aria-label);
	line-height: 1.2em;
	padding: 0.2em;
	position: relative;
	top: -0.5em;
	display: none;
}

div.snippet-container:hover button.snippet-copy span {
	display: inline;
}

div.snippet-container:hover button.snippet-copy {
	opacity: 80%;
}

div.snippet-container button.snippet-copy:hover {
	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 {
	font-family: var(--code-font-family) !important;
	color: #00385f;
	background-color: #edfafd;
	padding: 0.625rem;
	border: 1px solid #004f80;
	margin-left: 1rem;
	margin-right: 2rem;
}

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