TABLE.page {
	width: 600px;
}
H1 {
	background: #9c0000;
	color: white;
	padding: 5px;
	font-family: sans-serif;
}
H2 {
	background: #ec8080;
	color: black;
	padding: 5px;
	font-family: sans-serif;
}
P {
	margin-left: 20px;
}
PRE { 
	margin-left: 20px;
	color: #9c0000;
	background: #ffe0e0;
	padding: 5px;
}
DIV.sig {
	text-align: right;
	font-size: 80%;
}
HR {
	background: #9c0000;
	border: 0px;
	height: 5px;
}
DIV.menu {
	height: 400px;
}
A.menulink {
	text-decoration: none;
}
TABLE.menu {
	font-family: sans-serif;
	font-size: 10pt;
	background: #9c0000;
}
TD.menulink {
	border-top: 1px solid black;
	border-bottom: 1px solid black;
	background: white;
	padding-left: 10px;
	padding-right: 10px;
}
TD.menulinkcurrent {
	border-top: 1px solid black;
	border-bottom: 1px;
	background: white;
	padding-left: 10px;
	padding-right: 10px;
}