body {
  max-width: 40em;
  margin: auto;
  padding: 1em;
  font-size: larger;
  font-family: sans-serif;
}

a:link, a:visited {
  color: #0063b4;
}

a:hover, a:visited:hover {
  color: #0085ff;
}

h1, h2, h3, h4, h5, h6 {
  border-bottom: 1.5pt solid #aaa;
  padding-bottom: 4pt;
}

h3 {
  margin-top: 32pt;
}

pre.sourceCode {
  background-color: #eee;
  padding: 8pt;
  border-radius: 8pt;
}