body{
  font-family: serif;
  bockground-color: #000;
  width: 96%;
  margin: 1em;
}
hr{
  clear: left;
  width: 98%;
}

h1{
  font-size: 200%;
  text-align: center;
  border-left: #3C8 0.6em solid;
  border-top: #383 4px solid;
  border-right: #3C8 0.6em solid;
  border-bottom: #383 4px solid;
  line-height: 150%;
}

h2{
  font-size: 150%;
  margin-left: 1em;
  margin-right: 0.5em;
  border-bottom: #000000 1px solid;
  line-height: 120%;
}

h3{
  font-size: 120%;
  margin-left: 1.5em;
  margin-right: 1em;
  border-bottom: #383 1px solid;
  border-left: #3C8 10px solid;
}

h4{
  margin-left: 2em;
}

p{
  margin-left: 2em;
  margin-right: 1.5em;
}

dl{
  margin-left: 3.5em;
  padding: 0;
}


ul{
  margin-left: 3.5em;
  list-style-type: circle;
  padding: 0;
}

ul ul{
  margin-left: 1.5em;
  padding: 0;
}

ul ol{
  margin-left: 2.0em;
  padding: 0;
}

ol{
  margin-left: 3.5em;
  padding: 0;
}

ol ol{
  margin-left: 2.0em;
  padding: 0;
}

ol ul{
  margin-left: 1.5em;
  padding: 0;
}

ul p{
  margin-left: 0em;
  padding: 0;
}

ol p{
  margin-left: 0em;
  padding: 0;
}

ol.rd2html_hindex{
  font-size: 80%;
  list-style-type: decimal;
  margin-left: 10ex;
  margin-right: 0ex;
  margin-top: 0ex;
  margin-bottom: 0ex;
  line-height: 100%;
}

ol.rd2html_hindex ul{
  font-size: 100%;
  list-style-type: decimal;
  margin-left: 3ex;
  margin-right: 0ex;
  margin-top: 0ex;
  margin-bottom: 0ex;
  line-height: 100%;
}

em{
  color: #004080;
  font-family: arial, helvetica, Sans-Serif, gothic;
  font-style: normal;
  font-variant: normal;
  font-weight: bold;
}

pre{
  line-height: 100%;
  padding-right: 0.5em;
  padding-top: 0.5em;
  padding-left: 0.5em;
  padding-bottom: 0.5em;
  margin-left: 3em;
  margin-right: 2em;
  white-space: pre;
  color: black;
}