body {
  background-color: #EDEDAA;
  color: #111111;
}

img {
  border: 0;
}

span .description {
  display: none;
}

#logo a .image {
  display: block;
  width: 210px;
  height: 84px;
  background-image: url('logo.png');
}

#toc {
  border-style: dashed;
  border-width: thin;
  border-color: #777777;
  padding: 1px;
  margin: 1em 1em;
}

ul.sections {
  list-style-type: none;
}

.sections li {
  display: inline;
  text-align: left;
  margin: 0 8px;
}

.sections li a {
  color: #2222FF;
  background-color: #EDEDAA;
  text-decoration: none;
}

.sections li a:hover {
  color: #2222FF;
  background-color: #8888DD;
}

div .section_title {
  color: #EDEDAA;
  background-color: #AAAAFF;
  margin: 2em 1em 1em 1em;
}

.section_title h3 {
  font-style: oblique;
  font-weight: bold;
  font-size: large;
  color: #2222FF;
  text-align: center;
  background-color: inherit;
}

div .section_body {
  margin: 0 1em;
  padding: 0 1em;
}

pre {
  border-style: dotted;
  border-width: thin;
  border-color: #777777;
  padding: 1em;
  margin: 1em 1em;
  background-color: #002200;
  color: #EEEEEE;
}

dl {
  margin: 1em;
}

dt {
  display: compact;
  margin-top: 1em;
  font-weight: bold;
}

dd {
  margin-left: 4em;
}

#footer {
  border: thin;
  border-style: dashed;
  border-color: #555555;
  padding: 1em;
  margin: 3em 2em 2em 2em;
}

#copyright {
  text-align: left;
}

#ad {
  text-align: right;
}