body {
  background-color: #000033;
  color: #cccccc;
}
unknown {
  text-decoration: none;
}
a:link {
}
a:visited {
  font-weight: lighter; font-style: italic;
}
a:active {
  color: #999999;
  text-decoration: none;
}
a:hover {
  color: white;
  background-color: #330033;
  font-weight: inherit;
}
td {
  font-size: 12px;
  vertical-align: top;
}
p {
  text-indent: 1cm;
  text-align: justify;
}
h1 {
  color: white;
  text-transform: none;
  text-align: justify;
  font-size: larger;
}
h2 {
  color: #005a9c;
}
h3 {
  color: #005a9c;
}
h4 {
  color: #005a9c;
}
h5 {
  color: #005a9c;
}
h6 {
  color: #005a9c;
}
h1 {
  font-family: sans-serif;
  font-style: normal;
  font-variant: normal;
  font-weight: normal;
  font-size: 130%;
  line-height: normal;
  font-size-adjust: none;
  font-stretch: normal;
}
h2 {
  font-family: sans-serif;
  font-style: normal;
  font-variant: small-caps;
  font-weight: normal;
  font-size: 90%;
  line-height: normal;
  font-size-adjust: none;
  font-stretch: normal;
}
h3 {
  font-family: sans-serif;
  font-style: italic;
  font-variant: normal;
  font-weight: normal;
  font-size: 80%;
  line-height: normal;
  font-size-adjust: none;
  font-stretch: normal;
}
hr {
  color: #4f4f85;
  height: 2px;
  text-align: left;
}
#reverse {
  color: gray;
}
#title {
  font-weight: bold;
  font-size: 18px;
  color: #4f4f85;
  font-family: verdana,georgia,courier;
}
#heading {
  font-weight: bold;
  font-size: 14px;
  font-family: verdana,georgia,courier;
}
#menu {
  border-top: medium solid #330033;
  border-bottom: medium solid #330033;
  padding-bottom: 2px;
  font-family: verdana,georgia,courier;
  color: #cccccc;
  font-size: larger;
}
#menu1 {
  font-size: 16px;
  color: #8792bd;
  font-family: arial,helvetica,sans-serif;
}
#quote {
  font-size: 10px;
  font-style: italic;
}
#footer {
  font-size: 8px;
  font-style: italic;
  text-align: right;
  color: #333339;
}
div.toc {
  margin-left: 5ex;
}
div.tocline {
  margin: 0em;
  text-indent: 2ex;
}