body {
  background-color: #FFF0E0;

  font-family: Helvetica, Arial, sans-serif;
  color: #000088;
}

.mono {
  font-family: "Lucida Console", "Courier New", monospace;
  line-height: 1.5em;
}

div.centered {
  max-width: 650px;
  margin-inline: auto;
}

p {
  font-size: large;
}

a {
  color: #000066;
}

div.sourcelink {
  font-size: small;
}

h2 {
  text-align: center;
}

h3 {
  margin-block: 0;
}