.black:hover {text-decoration: none; size: 12px; color: red;  font-family: Arial, Helvetica, sans-serif; }
.black {text-decoration: underline; size: 12px; color: navy;  font-family: Arial, Helvetica, sans-serif; }
.bigblack:hover {text-decoration: none; font-size: 12px; color: navy;  font-family: Arial, Helvetica, sans-serif; }
.bigblack {text-decoration: underline; font-size: 12px; color: red;  font-family: Arial, Helvetica, sans-serif; }
.bigred {text-decoration: underline; font-size: 14px; color: red;  font-family: Arial, Helvetica, sans-serif; }
.bigred:hover {text-decoration: none; color: blue;  font-family: Arial, Helvetica, sans-serif; }
.red {text-decoration: none; font-size: 16pxt; color: navy;  font-family: Arial, Helvetica, sans-serif; }
.headline1 {  font-family: Arial, Helvetica, sans-serif; font-size: 18px; font-style: normal; font-weight: bold; color: #000000}
.bodytext {  font-family: Arial, Helvetica, sans-serif; font-size: 12px; font-style: normal; font-weight: normal; color: #000000}
.bodytextbold {  font-family: Arial, Helvetica, sans-serif; font-size: 12px; font-style: normal; font-weight: bold; color: #000000}
.subscript {  font-family: Arial, Helvetica, sans-serif; font-size: 10px; font-style: normal; font-weight: normal; color: #000000}

.headline2 {  font-family: Arial, Helvetica, sans-serif; font-size: 16px; font-style: normal; font-weight: bold; color: #000000}
.headline3navy {  font-family: Arial, Helvetica, sans-serif; font-size: 14px; font-style: italic; font-weight: bold; color: #000099}
.headline2navy {  font-family: Arial, Helvetica, sans-serif; font-size: 16px; font-style: italic; font-weight: bold; color: #000099}