@charset "UTF-8";
.nav > a,
.top_nav > a,
.toc > a {
  font-family: Arial, Helvetica, sans-serif;
  font-size: 12px;
  font-weight: bold;
  background-color: white;
  cursor: pointer;
  text-decoration: none;
}
.nav > a:hover,
.top_nav > a:hover,
.toc > a:hover {
  text-decoration: underline;
}

.toc0 {
  display: block;
  margin-left: 0pt;
  color: blue;
}

.toc1 {
  display: block;
  margin-left: 10pt;
  color: blue;
}

.toc2 {
  display: block;
  margin-left: 20pt;
  color: blue;
}

.toc > *:before {
  content: "• ";
}