body {
	background-color: white;
}
ul {
	margin-left: 1em;
	padding-left: 0px;
	list-style-type: disc;
}
span.hi {
	background-color: #CDFFCD;
	border-style: solid;
	border-width: 1px;
	border-color: green;
}
span.hi2 {
	background-color: yellow;
}
span.hi3 {
	background-color: orange;
}
span.hi4 {
	background-color: #CCCCCC;
}
div#nav {
	width: 150px;
	left: 10px;
	position: absolute;
	float: left;
	background-color: black;
}
div#body {
	margin-left:150px;
	padding-left:10px;
}
ul#navl {
	margin: 3px; padding: 3px;
	list-style-type: none;
	font-weight: bold;
	font-family: sans-serif;
}
#navl a:link, #navl a:visited {color: green; text-decoration:none;}
#navl a:hover, #navl a:active {color: aqua;text-decoration:none;}
#navl .cpage {
	color: yellow !important;
	cursor: default;
}
table {
	border-collapse: collapse;
	border-color: gray;
}
td {
	border-style: solid;
	border-width: 1px;
	border-color: gray;
	padding: 3px;
	padding-left: 10px;
}
th {
	padding-left: 10px;
	text-align: left;
}
h2 {
	font-size: 130%;
	font-weight: bold;
	text-decoration: underline;
}
p.code {
	font-family: monospace;
}
li {
	margin-bottom: .5em
}