@charset "iso-8859-1";

a.link {
  color:#004084;
  text-decoration: none;
}

a.link:hover {
  font-size: 14.0pt;
  font-weight: bold;
}

a.botlink {
  color:#004084;
  text-decoration: none;
}

a.botlink:hover {
  font-size: 10.0pt;
  font-weight: bold;
}