.class { font-size: 14px; font-family: Georgia, "Times New Roman", Times, serif; line-height: 16px }
a:link { color: #891010 }
a:hover { color: #001230 }
a:visited { color: #996640 }
.classtitle  { color: #891010; font-size: 19px; font-family: Georgia, "Times New Roman", Times, serif; font-style: italic }
.classnav   { color: black; font-size: 8pt; font-family: Arial }