A:link, A:visited {
  text-decoration: none;
}

A:active, A:hover {
  text-decoration: underline;
}

.toc {
  font-family: Verdana, Arial, Helvetica;
  font-size: 7.5pt;
  font-weight: bold;
}

body, td, th {
  font-family: Trebuchet MS, Arial, Helvetica;
  font-size: 10pt;
}