.hover12 { font-family:Arial; font-size:12pt; font-style:normal; font-weight:bold; letter-spacing:normal; text-decoration:none; text-transform:none; color:0000FF; }
  A.hover12:hover { font-size:12pt; font-weight:bold; text-decoration:underline; color:FF0000; }