.code {
	font-family: "Courier New", Courier, mono;
	font-weight: normal;
}
.navigation {
	font-size:medium;
	color:#000033;
	font-family:Verdana, Arial, Helvetica, sans-serif;
	font-weight:bold;
}
.mainHeading {
	font-size: xx-large;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-weight: bold;
	color: #003366;
}
.email {
	font-size: small;
	font-family: Verdana, Arial, Helvetica, sans-serif;
}
.miniLink {
	font-size: smaller;
}