body {
	font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 12px;
}
table {
	font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 12px;
}
h1 {
	font-size: 24px;
	color: #003366;
	border-bottom-width: 1px;
	border-bottom-style: solid;
	border-bottom-color: #000099;
	font-weight: bold;
}
h2 {
	font-size: 18px;
	color: #003366;
	border-bottom-width: 1px;
	border-bottom-style: dotted;
	border-bottom-color: #0000AA;
}
h3 {
	font-size: 16px;
	color: #003366;
	border-bottom-width: 1px;
	border-bottom-style: solid;
	border-bottom-color: #000066;
}pre {
	border: 1px solid #000000;
	background-color: #EEEEEE;
}
.menu {
	background-color: #CCCCCC;
	border-top-width: 1px;
	border-right-width: 1px;
	border-bottom-width: 1px;
	border-left-width: 1px;
	border-top-style: solid;
	border-right-style: solid;
	border-bottom-style: solid;
	border-left-style: solid;
	border-top-color: #EEEEEE;
	border-right-color: #EEEEEE;
	border-bottom-color: #999999;
	border-left-color: #CCCCCC;
}
a {  color: #000099; text-decoration: none; font-weight: bold}
li {  list-style-type: circle}
.smallFont {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9px}