body {
    margin: 0;
    padding-right: 0;
    padding-left: 0;
    max-width: 100%;
    /* border-left: 1px solid black;
    border-right: 1px solid black; */
    background-color: #303030;
    font-family: Verdana, sans-serif;
    font-size: 100%;
    line-height: 200%;
    color: #CCC;
}
a {
  color: #99A;
  text-decoration: none;
}
p a { color: #88A; }
p {
  margin: 3em 1em 3em 1em;
}
h1 {
  font-size: 150%;
  background-color: #000000;
  max-width: 50em;
  padding: 0 0 0 1em;
}
h2 {
  font-size: 120%;
  background-color: #212121;
  padding: 0 0 0 1em;
}
div#TOC {
  width: 15em;
  float: left;
  display: inline;
  margin: 0;
  padding: 0;
  margin-right: 10px;
  background-color: #212121;
  height: 100%;
}

div#main{
  max-width: 35em;
  float:left;
  margin:0;
  padding:0;
  display:inline;
}

div#header{
  width: 100%;
  background-color: #000000;
  padding: 0 0 0 1em;
}
pre{
  width: 40em;
  background-color: #000000;
  margin: 0 0 0 3em;
  line-height: 150%;
}
code{
  background-color: #000000;
  font-size: 120%;
}
math{
  margin: 1em 0 1em 0;
}
table{
  margin-left: auto;
  margin-right: auto;
}