html {
	color: #101010;
	background-color: #f0f0f0;
	font-family: sans-serif;
	font-size: 14pt;
	min-height: 110%;
	width: 100%;
	margin: 0;
	padding: 0;
}
body {
	margin: auto;
	padding: 0;
}
h2, h3, h4, h5, h6 {
	margin: 0;
	margin-top: 10px;
}
h1 {
	font-size: 2em;
	color: #b01010;
	margin-left: 5%;
}
h2 {
	font-size: 1.8em;
	color: #108010;
}
h3 {
	color: #1010b0;
	font-size: 1.6em;
}
h4 {
	color: #b0b010;
	font-size: 1.4em;
}
h5 {
	color: #b010b0;
	font-size: 1.2em;
}
h6 {
	color: #10b0b0;
	font-size: 1em;
}
a {
	color: #1010b0;
	text-decoration: none;
}
a:hover {
	text-decoration: underline;
}
a:visited {
	color: #b01010;
}
code {
	background: #d0d0d0;
	color: #108010;
	font-family: monospace;
	font-size: 0.8em;
	padding-left: 2px;
	padding-right: 2px;
}
dl {
	margin-left: 5%;
}
dt {
	color: #b04010;
	text-decoration: underline;
	text-decoration-color: #101010;
}
p {
	text-indent: 2em;
}
div.wrap {
	width: 80%;
	margin: auto;
}
nav {
	height: 1.5em;
	text-align: left;
	background: #1010b0;
	padding-left: 5%;
	padding-right: 5%;
}
table {
	width: 100%;
	border-collapse: collapse;
}
th, td {
	border: 2px ridge #d0d0d0;
}
th {
	font-weight: bold;
	color: #f0f0f0;
	background: #1010b0;
}
sup {
	font-size: x-small;
}
.footer {
	margin-bottom: 2%;
}
.menubar {
	display: inline;
}
.menubar a, .menubar a:visited {
	font-weight: bold;
	color: #f0f0f0;
	text-decoration: none;
}
.menubar a:hover {
	font-style: italic;
}
.menubar li {
	color: #f0f0f0;
	display: block;
	float: left;
	margin-top: .2em;
	padding-right: 20px;
}
.menubar li a {
	display: block;
}
.menubar li ul {
	visibility: hidden;
	position: absolute;
}
.menubar li:hover ul {
	visibility: visible;
	background: #1010b0;
	padding-left: 0;
	margin-top: 1px;
	margin-left: -5px;
}
.menubar li ul li {
	float: none;
	position: relative;
	text-align: left;
	padding: 0 5px;
}
.menubar li ul li a:hover {
	font-style: italic;
}
.separator {
	width: 15px;
}
.icon {
	height: 1.15em;
	vertical-align: middle;
}
.foot-icon {
	height: 1.15em;
	float: right;
	padding-top: 3px;
	padding-left: 5px;
}
.banner {
	display: block;
	margin: 0;
	max-height: 64px;
}