A:link {COLOR: navy; TEXT-DECORATION: none}
  A:visited {COLOR: navy; TEXT-DECORATION: none}
  A:hover {COLOR: blue; TEXT-DECORATION: underline}
  A:active {COLOR: navy; TEXT-DECORATION: underline}
  A.at:link {COLOR: white; TEXT-DECORATION: none}
  A.at:visited {COLOR: white; TEXT-DECORATION: none}
  A.at:hover {COLOR: cyan; TEXT-DECORATION: underline}
  A.at:active {COLOR: white; TEXT-DECORATION: underline}

  A.mini:link {COLOR: navy; TEXT-DECORATION: none; font-size=-2}
  A.mini:visited {COLOR: navy; TEXT-DECORATION: none; font-size=-2}
  A.mini:hover {COLOR: blue; TEXT-DECORATION: underline; font-size=-2}
  A.mini:active {COLOR: navy; TEXT-DECORATION: underline; font-size=-2}