.body_font  { font-size: 10px }
.body_times { font-size: 12px }
.arial_font  { font-family: Arial, Helvetica, Geneva, Swiss, SunSans-Regular }
.red_font  { color: #ca040d }
.large_underl   { font-weight: bold; font-size: 12px; text-decoration: underline }
.large_body { font-weight: bold; font-size: 12px }
.copyright   { font-size: 9px }
.times_font  { font-family: "Times New Roman", Georgia, Times }
.choc_color  { color: #3b1d02 }
.oblique  { font-style: italic }
.large_head   { font-weight: bold; font-size: 18px }
a { color: #000080 }