body {
  color: #000;
  background-color: #aaf;
  font-family: "Bitstream Vera Sans", "Helvetica", "Arial", sans-serif;
}
ol {
  color: #b20;
}