h1 { padding-top: 1.5em; }

#topbar {
	position: fixed;
	top: 0;
	right: 0;
	bottom: auto;
	left: 0;
	width: auto;
	height: 1.4em;
	z-index: 4;
	color: #ffcc66;
	background-color: #FFCC66;
	margin: 0;
	padding: 6px 16px 4px 0;
	border: none;
	font-variant: small-caps;
	background-image: url(docshade.png);
	background-repeat: repeat-x;
}

/* https://stackoverflow.com/a/56467997/3745692 */
html { scroll-padding-top: 2.8em; }

#topbar a {
	color: inherit;
	background-color: inherit;
}

.topbutton {
	position: relative;
	height: 0.6em;
	bottom: 0;
	top: 4px;
	z-index: 4;
	color: #FFAA00;
	background-color: #A60507;
	border: solid 2px #8B0001;
	border-left-width:0; 
	margin: 0;
	padding: 1px 0.5em 0 0.5em;
	font-size: medium;
	font-weight: 700;
}

.groupbutton {
	position: relative;
	color: #FFAA00;
	background-color: #A60507;
	height: 0.6em;
	bottom: 0;
	top: 8px;
	z-index: 2;
	border: solid 2px #8B0001;
	border-right-width: 0;
	height: 0.6em;
	margin-left: 0;
	margin-right: 0;
	padding-bottom: 0;
	padding-right: 0.5em;
	padding-top: 5px;
	padding-left: 0.5em;
	font-size: medium;
	font-weight: 700;
}

.groupbutton:hover, .topbutton:hover {
	background-color: #ffcc66;
	color: #A60507;
	text-decoration: none;
}

.toploaded {
	position: relative;
	height: 0.6em;
	bottom: 0;
	top: 4px;
	z-index: 4;
	background-color: #ffcc66;
	color: black;
	border: solid 2px #ffcc66;
	border-left-width:0; 
	margin: 0;
	padding: 1px 0.5em 0 0.5em;
	font-size: medium;
	font-weight: 700;
}

.grouploaded {
	position: relative;
	color: black;
	background-color: #ffcc66;
	height: 0.6em;
	bottom: 0;
	top: 8px;
	z-index: 2;
	border: solid 2px #ffcc66;
	border-right-width: 0;
	height: 0.6em;
	margin-left: 0;
	margin-right: 0;
	padding-bottom: 0;
	padding-right: 0.5em;
	padding-top: 5px;
	padding-left: 0.5em;
	font-size: medium;
	font-weight: 700;
}


.buttongroup {
	position: absolute;
	display: inline-block;
	top: 2px;
	right: 0;
	bottom: 2px;
	left: auto;
	width: auto;
	height: 31px;
	z-index: 3;
	border: none;
	margin: 0;
	color: #ffcc66;
	background-color: transparent;
	padding: 0 0 0.6em 0;
	font-size: xx-small;
	font-weight: 100;
}

.grouplabel {
	padding-left: 3em;
	padding-right: 1.2em;
}

.is_tt {
	font-family: monospace;
}

.is_font {
	font-size: small;
}

.doctitle {
	text-align: center;
}

p.docpara {
	margin-top: 1em;
}

p.p2item {
	margin-left: 7em;
}

dl, dt {
	margin-top: 0.7em;
}

.copy {
	margin-left: 2em;
	margin-bottom: 0;
}