a:link       { color: #0000ff }
a:visited    { color: #800000 }
a:hover      { background-color: #ffffe0; color: #FF0000 }
.navbar      { font-family: helvetica,sans-serif; font-size: 12pt; line-height: 125% }
.bodytext    { font-family: 'Times New Roman', serif; font-size: 12pt; line-height: 125% }