@charset "ISO-8859-1";
a:visited {
	font-family: "Courier New", Courier, monospace;
	font-size: 12px;
}
.maintype {
	font-family: "Courier New", Courier, monospace;
	font-size: 11px;
}
.maintypegreen {
	font-family: "Courier New", Courier, monospace;
	font-size: 11px;
	color: #003333;
}