/* <!--[CDATA[ */
.highlight  { font-weight: bold; text-decoration: none }
a:visited  { color: #0000ff; text-decoration: none }
a:hover  { color: #cc0000; text-decoration: none }
body  { font-size: x-small; font-family: verdana, arial, Helvetica, Geneva, sans-serif; line-height: 135%; text-decoration: none }