a:visited {
  color: #006699;
}

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;
}

.eclipse {
  color: purple; font-weight: bold;
}

.description {
  background-color: #EFEFEF;
  border-style: inset;
  padding-left: 10px;
  padding-bottom: 10px;
}

.toc_heading {
  font-size: 8pt;
  background-color: #C6C3C6;
}

.toc_link {
  font-size: 8pt;
}