/* Use Times New Roman for default font */
$DOCUMENT
{
  font-family: "Times New Roman";
  font-size: 12pt;
  margin-top: 5px;
  margin-left: 5px;
}

@media screen {  /* hide from IE3 */
A:hover { background: #FFA } 
}