.title {  font-size: 16pt; font-weight: bold}
.MainLinks {  font-weight: normal}
.BottomLinks {  font-weight: normal}
.bgcolor {  background-color: #ffffcc}
.nav {  font-family: Georgia, "Times New Roman", Times, serif; background-color: #D7E3F3; font-size: 12pt; vertical-align: middle}
h1 {  font-size: 16pt; color: #CC0000}
.param {  font-family: Symbol}
.h2a {  font-size: 14pt; color: #CC0000}