@charset "ISO-8859-1";
.infobox{
        font-family: Georgia, "Times New Roman", Times, serif;
        font-size: 11px;
        line-height: 1.4em;
	color: #02459E;
}
.infobox a{
    text-decoration: none;
    color: #02459E;
}
.mainbody {
	font-family: Georgia, "Times New Roman", Times, serif;
	font-size: 15px;
	line-height: 22px;
	color: #039;
	text-decoration: none;
}
.mainbody a{
    text-decoration: none;
    color: #039;
}
.headertext {
	font-family: Georgia, "Times New Roman", Times, serif;
	font-size: 18px;
	color: #036;
	text-decoration: none;
}
.smalltext {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 10px;
	line-height: 12px;
	color: #036;
	text-decoration: none;
}