body2 { text-align: center; background: #aaaaaa }
body, td { font-family: 'trebuchet ms'; font-size: 14; margin:10px 50px }
code { font-size: 16 }
.doctext { width: 650px }
.tablespacer { width: 12px }
.indextable { text-align: left; font-size: 16 }
u { text-decoration: none; border-bottom: dotted 1px #000000; }

A { color: black; }
<!--
A:link {text-decoration: none }
A:visited {text-decoration: none}
A:active {text-decoration: none}
A:hover {text-decoration: none; }
-->

#vis { text-decoration: underline }

img {
	border: none;
}

.navlink {
	text-decoration: none;
}

.navlink2 {
	text-decoration: none;
	margin: 6px;
	font-size: 80%;
}

h2 {
	font-size: 20px;
	padding-bottom: 6px;
	margin-bottom: 0px;
}

div#outer {
	width: 800px;
	height: 85%;
	overflow: hidden;
	background-color:#FFFFFF;
	margin-top: 10px;
	margin-bottom: 50px;
	margin-left: auto;
	margin-right: auto;
	padding: 0px;
	border: 1px solid #444444;
	text-align: left;
}

pre {
	background: #eeeeee;
	border: 1px solid #999999;
	margin-left: 10px;
	padding: 5px;
}

dl {
	background: #eeeeee;
	border: 1px solid #999999;
	margin-left: 10px;
	padding: 5px;
}

dl dl {
	border: none;
}

dd {
	padding-bottom: 4px;
}

dt {
	padding-bottom: 8px;
}

div#header {
	width: 100%;
	padding-bottom: 3px;
	border-bottom: 1px solid #444444;
}

div#main {
	overflow: auto;
	height: 100%;
	margin-bottom: auto;
}

div#content_top {
	margin-top: 10px;
	margin-left: 20px;
	margin-right: 20px;
}

body {
	background: #ffffff;
	font-family: 'trebuchet ms'; font-size: 14;
	margin: 0;
}

#navigation {
	padding: 10px 10px;
	position: absolute;
	left: 0;
	height: 100%;
	width: 9em;
	background: #eeeeee;
}

#content {
	width: 800px;
	padding: 10px;
	margin: 10px 10px;
	margin-left: 10em;
}