.body {  background: #FFFFFF;
        color: #000000;
        font-family: helvetica, arial, sans-serif;
        font-size: 12px;
        color: #000000;
}

a:link {
  color: #0033FF;
  background-color: #FFFFFF;
}

a:visited {
  color: #000066;
  background-color: #FFFFFF;
}

a:hover {
  color: #000000;
  background-color: #FFFFFF;
}

.blue {
  color: #0000FF;
}

.red {
  color: #FF0000;
}

.toc {
  font-family: helvetica, arial, sans-serif;
  font-size: 14px;
}