body {
	font-family: sans-serif;
}

h1.maintitle {
	position: absolute;
	color: blue;
	left: 5.5em;
	top: 1em;
	width: 15em;
	border-bottom: thin black solid;
}

h2.subsection {
	color: blue;
}

ul.leftnavbar {
	position: absolute;
	top: 5em;
	left: 0em;
	list-style: none;
	background: lightblue;
	width: 7em;
	border: thin solid blue;
	border-left: none;
}

ul.leftnavbar a {
	text-decoration: none;
	color: blue;
	font-weight: bold;
}

ul.leftnavbar li {
	padding: 0.2em;
	border-collapse: collapse;
}

ul.leftnavbar li.header {
	font-weight: bold;
	border-bottom: thin solid black;
}

li.link + li.link {
	padding-top: 1em;
}

acronym {
	border-bottom: none;
	cursor: help;
}

div.maincontent {
	width: 615px;
	position: absolute;
	top: 6em;
	left: 11em;
}