.body {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 90%;

	margin-right : 3%;
	margin-left : 2%;
}
}
.banner {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: xx-large;
	font-weight: bold;
	color: #F70003;
}
.navtable {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: large;
	font-weight: bold;
	color: #F70003;
}
.fineprint {
	font-family: Georgia, "Times New Roman", Times, serif;
	font-size: x-small;
}
td.redbox {
	border-width : 	medium;
	border-color : Red;
	border-style : solid;}