body {
  font-family: Helvetica, Tahoma, sans-serif;
  background: #AAA;
  line-height: 1.2em;
}

#content {
  margin: 30px auto;
  padding: 16px 5%;
  width: 85%;
  background: #FFF;
  border-radius: 1em;
  box-shadow: 0px 0px 100px #888;
}

p {
  margin: 0 1em;
}

#logo {
  width: 2em;
  vertical-align: middle;
  padding: 0 0em 0.5em 0;
}

h1 {
  text-align: center;
  line-height: 1.2em;
}

h2 {
  margin: 1.5em -1em 1em;
  padding: 10px 16px 8px 16px;
  background: #EEE;
  border-radius: 4px;
  box-shadow: 2px 2px 10px rgba(0, 0, 0, 0.2);
}

h3 {
}

li {
  margin-left: -1em;
  padding-top: 10px
}

#table_of_contents {

}

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

.version {
  margin-top: 1em;
  text-align: center;
  font-weight: bold;
}

.label {
  padding: 4px 4px 2px 4px;
  margin: 0px 2px;
  border-radius: 4px;
  background: #DDD;
}

.SEPARATE, .example {
  background: #E8E8E8;
}

.linked {
  background: #DEF;
}

.linked a {
  text-decoration: none;
  color: #00F;
}

.linked a:hover {
  text-decoration: underline;
}

a[href^="#"] {
  text-decoration: none;
  font-weight: bold;
  color: blue;
}

a[href^="#"]:hover {
  text-decoration: underline;
}