#content {
  padding-left: 15px;
  padding-right: 30px;
}

h1 {
  color: #273c76;
}

h2 {
  color: #273c76;
}

h3 {
  padding-left: 0.5em;
  color: #273c76
}

h4 {
  padding-left: 1em;
  color: #273c76
}

a {
  color: #273c76;
}
a:hover {
  color: #2b64a5;
}

p {
  padding-left: 1em;
}

#toc {
  border-width: 1px;
  border-style: solid;
  border-color: #2f4686;
  background-color: #e9f7fc;
  float: right;
  width: 50%;
  margin-left: 10px;
  margin-bottom: 10px;
  padding: 5px;
}

.tocnumber {
  display: none;
}
