body {
  background-color: #fff;
  font-family: Arial, sans-serif;
  color: #000;
}

img {
  padding: 0.5em;
}

img.LFloat {
  float: left;
}

div.navigation {
  display: block;
  width: 80%;
  margin: auto;
  text-align: right;
}

div.navigation ul, div.navigation li {
  display: inline;
  margin: 0;
  padding-left: 0;
}

ul.ALeft {
  text-align: left;
  float: left;
  padding-top: 0.3em;
  padding-bottom: 0.25em;
}

span.logo {
  float: right;
  font-family: Arial, sans-serif;
  font-size: 1em;
  font-weight: bold;
  color: #aaa;
  padding-top: 0.3em;
  padding-bottom: 0.3em;
}

#content {
  width: 80%;
  margin: auto;
  padding: 2em;
}

pre.code {
  background-color: #eee;
  padding: 1em;
}

div.navigation a:link, div.navigation a:active, div.navigation a:visited, #content a:link, #content a:active, #content a:visited  {
  color: #000;
}

div.navigation a:hover, #content a:hover {
  color: #008;
}


#toc_list li {
  padding-top: 0.2em;
}

hr {
  display: block;
  clear: both;
  height: 0.0em;
  color: #000;
  background-color: #000;
}
