body {
  font: large/1.556 "Libertine", Palatino, "Palatino Linotype", "Book Antiqua", Georgia, "Times New Roman", serif;
  margin: 5%;
  word-spacing: 0.1em;
}

code {
  font: medium Consolas, "Andale Mono", Monaco, "Liberation Mono", "Bitstream Vera Sans Mono", "DejaVu Sans Mono", monospace;
  white-space: pre;
}

h1 {
  font-size: 266.7%;
  line-height: 1.1;
  margin: 1.49em 0;
  text-align: center;
}

h2 {
  font-size: 210%;
  line-height: 1.3125;
  margin: 1.167em 0;
  text-align: center;
  text-align: left;
}

h3, h4, h5, h6 {
  text-align: left;
}

h1 a, h2 a, h3 a, h4 a, h5 a, h6 a {
  color: inherit;
  text-decoration: none;
}

pre, table {
  overflow: scroll;
  width: 100%;
}

pre {
  line-height: 1em;
}

pre code {
  font-size: small;
}

nav#TOC > ul, nav#TOC > ul > li > ul {
  list-style: decimal;
}