.foot_bar { font-family: Arial; font-size: 12px; font-weight: bold; color: #FFFFFF}
.head_bar {  font-family: Arial; font-size: 12px; font-weight: bold; color: #000000}
.main_text {  font-family: Arial; font-size: 12px; font-weight: normal; color: #000000; font-style: normal}
.bold_text {  font-family: Arial; font-size: 12px; font-weight: bold; color: #990000}
a:active {  font-family: Arial; font-weight: bold; text-decoration: underline}
a:link {  font-family: Arial; font-weight: bold; text-decoration: none}
a:visited {  font-family: Arial; font-weight: bold; text-decoration: none}
a:hover {  font-family: Arial; font-weight: bold; text-decoration: underline}
.date_small {  font-family: Arial; font-size: 9px; font-weight: normal; color: #666666}
.main_title {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 16px; font-weight: bold; color: #999999}
.highlight {  font-family: Arial; font-size: 12px; font-style: italic; font-weight: bold; color: #FF0000}
.maintext {  font-family: Arial; font-size: 12px; font-style: normal; font-weight: normal; color: #000000}
.maintitle {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 16px; font-weight: bold; color: #999999}
.footbar {  font-family: Arial; font-size: 12px; font-weight: bold; color: #FFFFFF}
.headbar {  font-family: Arial; font-size: 10px; font-weight: bold; color: #000000}
td {  font-family: Arial; font-size: 12px; font-weight: normal; color: #000000}
.headlines { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 14px; font-weight: bold; color: #999999}
.navbar {  font-family: Arial, Helvetica, sans-serif; font-size: 12px; font-weight: bold; color: #FFFFFF; text-decoration: none}
.navbar:hover {  font-family: Arial, Helvetica, sans-serif; font-size: 12px; font-weight: bold; text-decoration: none; color: #666666}.boxes {  font-family: Arial, Helvetica, sans-serif; font-size: 10px; font-weight: normal}
.lawtext {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9px; color: #666666}
.portal { font-family: Arial; font-size: 10px; font-style: normal; font-weight: normal; color: #000000 }