/* Updated 2022/10/29 */

.content-desktop {display:block;}
.content-mobile {display:none;}
@media only screen and (max-width: 776px) {
	.content-desktop {display:none;}
	.content-mobile {display:block;}
}

html, body {
	background-color: #CCCCAA;
	font-size: medium;
	margin: 0px;
}
body {
	color: black;
	font-family: "DejaVu Sans", sans-serif;
	margin-left: auto;
	margin-right: auto;
	max-width: 832px;
}

table#fullpage {
	width: 100%;
}

td#header {
	color: #808080;
	font-size: 1.2em; /* if modified, see ddmenu*/
	font-weight: bold;
	padding: 2px 8px 2px 0px;
}
td#content {
	padding: 6px 8px 6px 8px;
}
td#footer {
	padding: 12px 8px 12px 8px;
	font-size: 0.95em;
	text-align: center;
}
td#header, td#content, td#footer {
	background-color: white;
	border: 2px solid #808080;
	border-radius: 8px;
	width: 100%;
}

table.mainquote {
	background-color: #F0F0F0;
	border-radius: 6px;
	color: black;
	font-family: "DejaVu Serif", serif;
	font-size: 1.1em;
	font-style: italic;
	margin-left: 6%;
	margin-right: 6%;
	padding-left: 1.0em;
	padding-right: 1.0em;
	text-align: justify;
}

div.usubtitle {
	border-bottom: 2px solid #808080;
	color: #808080;
	/*font-family: "DejaVu Sans", sans-serif;*/
	font-weight: bold;
	margin-bottom: 6px;
	padding: 4px 6px 4px 0px;
	text-align: left;
}
.hline {
	border-bottom: 2px solid #808080;
	margin-bottom: 4px;
	padding: 4px 6px 4px 0px;
}

ul.anchorlist {
	/*font-family: "DejaVu Sans", sans-serif;*/
	list-style: square;
}
ul.filelist {
	/*font-family: "DejaVu Sans", sans-serif;*/
	list-style: none;
	margin-right: 0.5em;
	margin-top: 0;
}
/*
ul.urllist {
	font-family: "DejaVu Sans", sans-serif;
}
*/
ul.anchorlist li, ul.filelist li, ul.urllist li {
	padding: 0.4em;
}
@media (any-pointer: coarse) {
	ul.anchorlist li, ul.filelist li, ul.urllist li {
		padding: 0.9em;
	}
}
	
.ctext {
	text-align: center;
}
.jtext {
	text-align: justify;
}
.rtext {
	text-align: right;
	width: 100%;
}

span.smallcaps {
	font-size: 90%;
	font-variant: small-caps;
	font-weight: bold;
}

table.warning {
	border: 3px solid #FF0000;
	border-radius: 8px;
	font-size: 1.0em;
	margin-left: 24px;
	margin-right: 24px;
	margin-top: 18px;
	padding: 8px;
}
table.warning td {
	/*font-family: "DejaVu Sans", sans-serif;*/
	font-size: 1.0em;
	text-align: justify;
}

table.asis {
	background-color: #FFFFF2;
	border: 3px solid #B0B0B0;
	border-radius: 8px;
	margin-left: auto;
	margin-right: auto;
	margin-top: 3px;
	padding: 0px 6px;
}
table.asis caption {
	caption-side: top;
	font-size: 1.0em;
	text-align: center;
}
table.asis td {
	font-family: "DejaVu Sans Mono", monospace;
	font-size: 1.0em;
	text-align: left;
	white-space: pre;
}

table.record {
	border-spacing: 0px 8px;
	width: 100%;
}
table.record td {
	background-color: #FFFFF2;
	border: 2px solid #808080;
	border-radius: 8px;
	font-size: 1.0em;
	padding-left: 10px;
	padding-right: 10px;
	padding-top: 4px;
	width: 100%;
}
.recordvalue {
	font-family: "DejaVu Sans Mono", monospace;
	font-size: 1.1em;
	text-align: center;
}

table.screenshot {
	caption-side: top;
	font-size: 0.95em;
	margin-left: auto;
	margin-right: auto;
	text-align: center;
}
table.screenshot caption {
	caption-side: top;
	font-size: 1.0em;
	text-align: center;
}
img {
	border: none;
	height: auto;
	max-width: 100%;
	width: auto;
}

table.errmsg { /* pages "error403, error404" */
	/*font-family: "DejaVu Sans", sans-serif;*/
	font-size: 1.1em;
	text-align: justify;
	margin-left: 10%;
	margin-right: 10%;
	padding: 0px 10px;
}

.ddmenu {
	background-color: transparent;
	border: none;
	color: #283898;
	font-size: 1.2em;
	font-weight: bold;
	padding-left: 8px;
	padding-right: 8px;
}
.ddmenu a {
	display: block;
}
.dropdown {
	display: inline-block;
	position: relative;
}
.dropdown-content {
	background-color: #F0F0F0;
	border: 2px solid #606060;
	border-radius: 8px;
	display: none;
	/*font-family: "DejaVu Sans", sans-serif;*/
	font-size: 0.83em; /* 0.83=10/12, see td#header */
	font-weight: lighter;
	overflow: auto;
	position: absolute;
}
.dropdown:hover .dropdown-content {
	display: block;
}
.dropdown-content a {
	background-color: #F0F0F0;
	color: black; 
	display: block;
	margin-bottom: 6px;
	margin-top: 6px;
	padding: 12px;
	text-decoration: none;
}
@media (any-pointer: coarse) {
	.dropdown-content a {
		margin-bottom: 12px;
		margin-top: 12px;
	}
}
.dropdown-content a:hover {
	background-color: #00A4BD;
	color: white;
}