@charset "iso-8859-1";

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

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

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

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

.rel2:visited {
color:#0000FF;
}