body {
  font-family: sans-serif;
  font-size: 11pt;
  width: 600px;
}

h1 {
  font-size: 18pt;
  font-weight: strong;
}

h2 {
  font-size: 12pt;
  font-weight: strong;
}

a {
  color: #996633;
  text-decoration: underline;
}

li {
  margin-bottom: 15px;
}

pre {
  margin-bottom: 0;

.code {
  font-family: courier;
}

.copyright {
  font-size: 9pt;
  color: gray;
}