html {
	padding:0;
	margin:0;
}

body {
	padding:0;
	margin:0;
	background:white;
}

a {
	text-decoration:none;
}

div#header
{
	background-color: maroon;
	color: white;
	padding:8px;
	margin:0;
}

div#header h1, div#header h2 {
	padding:0;
	margin:0;
	white-space:pre;
}

div#header h1 {
	font-size:24pt;
}

div#header h2 {
	font-size:18pt;
}

div#header a.here:link,
div#header a.here:visited, 
div#header a.here:active,
div#header a.hover:hover,
div#header a:link,
div#header a:visited, 
div#header a:active {
	color:white;
}


div#navigation {
	position:absolute;
	left:8px;
	width:110px;
	color:maroon;
	padding:0;
	margin-top:12px;
	font-size:10pt;
	border-top:1px solid maroon;
	border-bottom:1px solid maroon;
}

div#navigation a {
	display:block;
	padding:2px;
	margin:0;
	text-decoration:none;
}

div#navigation a.here:link,
div#navigation a.here:visited, 
div#navigation a.here:active,
div#navigation a.hover:hover {
	background:white;
	color:maroon;
}

div#navigation a:link,
div#navigation a:visited, 
div#navigation a:active {
	color:maroon;
	background:white;
}

div#navigation a:hover {
	color:white;
	background:maroon;
}

div#content {
	position:absolute;
	left:126px;
	color:black;
	margin:0;
	padding:8px;
	padding-right:16px;
	padding-bottom:0;
	font-size:12pt;
}

div#content h1, div#content h2, div#content h3 {
	margin-top:0;
	margin-bottom:0;
}

div#content h1 {
	font-size:20pt;
}

div#content h2 {
	font-size:16pt;
}

div#content a.here:link,
div#content a.here:visited, 
div#content a.here:active,
div#content a.hover:hover {
	background:white;
	color:maroon;
}

div#content a:link,
div#content a:visited, 
div#content a:active {
	color:maroon;
	background:white;
}

.emph {
	font-style:italic;
}

.bigred {
    color:red;
    font-size:16pt;
    font-weight:bold;
    font-style:italic;
 }
 
.footer {
	font-size:10pt;
	color:#555;
}

.pre {
	white-space:pre;
}

.highlight {
	color:navy;
}