body {
  font-family: Helvetica, sans-serif;
  color: black;
  background: white;
  padding: 1em;
}
a { text-decoration: none; }
a:hover { text-decoration: underline; }
h1, h2, h3 { color: #0080A0; }
h1 { text-align: center; }
dt { font-weight: bold; }