.links {  font-size: 80%; font-family: "Times New Roman", Times, serif}
.credits {  font-size: 70%; color: #999999; font-family: "Times New Roman", Times, serif}
.linktitle {  font-size: 80%; color: #8f2323; font-weight: bold; font-family: "Times New Roman", Times, serif}
.headline4 {  font-size: 250%; font-family: "Times New Roman", Times, serif}
.footer {  font: 80% "Times New Roman", Times, serif; color: #666666}
.headline3 {  font-size: 175%; font-family: "Times New Roman", Times, serif}
.hill {  background: #fff5ff; font-size: 125%; font-family: "Times New Roman", Times, serif}
.separator { color: #336699 ; font-family: "Times New Roman", Times, serif}
.sublinks {  font-family: "Times New Roman", Times, serif; font-size: 70%}
.redtitle {
	font-family: Georgia, "Times New Roman", Times, serif;
	color: #CC0000;
}
.norm {
	font-family: Georgia, "Times New Roman", Times, serif;
	color: #000000;
}