p {  font-family: Arial, Helvetica, sans-serif; font-size: 12pt; font-style: normal; font-weight: bold; color: #333399; line-height: normal}
.nav {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 16pt; font-weight: bolder; color: #333399}
a:active {  font-family: Verdana, Arial, Helvetica, sans-serif; color: #333399}
a:hover {  font-family: Verdana, Arial, Helvetica, sans-serif; color: #333399; font-weight: bold}
a:link {  font-family: Verdana, Arial, Helvetica, sans-serif; color: #333399}
a:visited {  color: #333399}
.notation {  font-family: Georgia, "Times New Roman", Times, serif; font-style: normal; line-height: normal; font-weight: lighter; color: #333399; font-size: 9pt}