.bodytext { font-size:9pt; font-family: Arial}
  a.highlight:link    { color: blue; font-family: Arial, sans-serif; font-weight: bold; font-size: small; text-decoration: none}
  a.highlight:active  { color: blue; font-family: Arial, sans-serif; font-weight: bold; font-size: small; text-decoration: none}
  a.highlight:visited { color: blue; font-family: Arial, sans-serif; font-weight: bold; font-size: small; text-decoration: none}
  a.highlight:hover   { color: blue; font-family: Arial, sans-serif; font-weight: bold; font-size: small; text-decoration: underline; background: #ffcc00}