body, td, th {
  font-family: sans-serif;
  font-size: 12pt;

  background: black;
  color: white;

  margin: 5px;
}

div.last_change {
  margin-top: 3em;
  font-size: 80%;
  font-style: italic;
}


a {
  text-decoration: none;
}

/* unvisited links */
a:link {
  color: red;
}

/* visited links */
a:visited {
  color: gray;
}

/* user hovers */
a:hover {
  background: yellow;
}

/* active links */
a:active {
  color: blue;
}