body {
  font-family: sans;
}

* {
  margin: 0;
}

#body {
  width: 850px;
  margin: 0 auto;
}

#body header {
  height: 100px;
  background-color: rgba(0, 0, 0, 0.8);
}

#body header img {
  width: 850px;
  height: 100px;
}

#body nav {
  background-color: #333333;
  padding: 1px 0 5px 0;
}

#body nav ul {
  list-style: none;
  margin: 0;
  padding: 0;
  text-align: center;
  font-size: 24px;
}

#body nav ul li {
  display: inline;
  margin-left: 25px;
}

#body nav ul li:first-child {
  margin-left: 0;
}

#body nav a:link, #body nav a:visited, #body nav a:hover {
  color: #51B7FF;
  text-decoration: none;
}

#content {
  padding: 15px;
  background-color: rgba(0, 0, 0, 0.8);
  color: #eeeeee;
}

h1 {
  margin-top: 1.5em;
}

h1:first-child {
  margin-top: 0;
}

h2 {
  margin-top: 1.2em;
}

h3 {
  margin-top: 1em;
}

p {
  margin-top: 0.8em;
}

.figure {
  margin-top: 0.8em;
  text-align: center;
}

.caption {
  margin-top: 0;
  font-size: 0.8em;
  font-style: italic;
}

ul, ol, dl {
  margin-top: 0.8em;
}

dt {
  font-style: italic;
}

dd {
  margin-left: 1.5em;
}


pre {
  margin-top: 0.8em;
  border: 1px solid white;
  padding: 10px;
  overflow-x: auto;
}

code {
  font-size: 16px;
  white-space: pre;
}

a:link, a:visited {
  color: #5199FF;
  text-decoration: none;
}

a:hover {
  color: #51B7FF;
  text-decoration: none;
}

#background div {
  position: fixed;
  top: 0;
  width: 10%;
  height: 100%;
  z-index: -1;
}