a:link {
  color: #006699;
}

a:visited {
  color: #990000;
}

body, td {
  font-family: verdana, helvetica, arial, sans-serif;
  font-size: 10pt;
}

tt, pre, code {
  color: green;
}

dt {
  margin-top: 24pt;
  font-weight: bold;
}

dd {
  margin-top: 24pt;
}

.toc_heading {
  font-size: 8pt;
  border-style: solid;
  border-width: 2px;
  background-color: #FFFFFF;
  border-color: #808080;
}

.toc_heading a:link, .toc_heading a:visited {
  color: black;
}

.toc_heading a:link:hover, .toc_heading a:visited:hover {
  color: black;
  text-decoration: underline;
}

.toc_link {
  font-size: 8pt;
}