body {
  background: white;
  color: black
}

h1 {
  color: #c33;
  background: transparent;
  font-weight: bold;
  text-align: center
}

h2 {
  color: #00008b;
  background: transparent;
  font-weight: bold
}

h3 {
  color: #006400;
  background: transparent;
  margin-left: 4%;
  margin-right: 4%;
  font-weight: bold
}

h4 {
  margin-left: 6%;
  margin-right: 6%;
  font-weight: bold
}

h5 {
  margin-left: 6%;
  margin-right: 6%;
  font-weight: bold
}

ul, ol, dl, p {
  margin-left: 6%;
  margin-right: 6%
}

ul ul, table ol, table ul {
  margin-right: 1%
}

pre {
  margin-left: 10%;
  margin-right: 10%;
  white-space: pre;
  background: #ffffa8;
  color: black;
  border: thin ridge #dc143c
}
table {
  margin-left: 10%;
  margin-right: 10%
}
span.dfn {
  color: orange;
  font-style: italic
}
span.key {
  color: blue
}
span.comment {
  color: green
}
span.string {
  color: maroon
}
span.footer{
  margin-left: 0%;
  margin-right: 0%
}