body {
  font-family: sans-serif;
}
h1 {
  font-size: 110%;
  color: #096;
}
pre {
}
a {
  text-decoration: none;
  color: #096;
  padding: 2px;
}

a:hover {
  text-decoration: none;
  background-color: #096;
  color: white;
}
a:active {
  text-decoration: none;
  background-color: white;
  color: black;
}