#header {
  text-align: center;
  border: 1px solid #000000;
}

#body {
  float: right;
  width: 80%;
  margin-right: 5%;
}

#body pre {
  margin-left: 5%;
  background-color: #EEEEEE;
  border: 1px solid #000000;
  padding: 15px;
}

#sidebar {
  float: left;
  width: 15%;
}

#sidebar ul {
  padding: 0px 5px 5px 5px;
}

.toc {
  list-style: none;
}