.nav {

	font-family: "Times New Roman", Times, serif;
	font-size: small;
	font-weight: bold;
	color: #FFFFFF;
	text-decoration: none;
}
h1 {
	font-family: "Times New Roman", Times, serif;
	font-size: large;
	font-weight: bolder;
	color: #000066;
}
h2 {
	font-family: "Times New Roman", Times, serif;
	font-size: medium;
	font-style: normal;
	font-weight: bold;
	color: #000066;
}
.bodytext {
	font-family: "Times New Roman", Times, serif;
	font-size: small;
	color: #000066;
}
.highlighttext {
	font-family: "Times New Roman", Times, serif;
	font-size: small;
	font-weight: bold;
	color: #FF0000;
}