body {
  background-color: white;
  color: black;
  margin-left: 20%;
  margin-right: 20%;
}

#navtable {
  width: 100%
}

#navtable a {
  padding: .25em .5em .25em .5em
}

/* The current one always looks the same.  */
#navtable #current:link,
#navtable #current:visited,
#navtable #current:hover,
#navtable #current:active {
  background-color: grey;
  color: white;
  border: thin solid black;
}

/* Don't bother distinguishing visited from not.  */
#navtable a:link, #navtable a:visited {
  text-decoration: none;
  /* This is a huge hack.  Without a border here the buttons resize when
     you hover.  Using 'hidden' did not work.  */
  border: thin solid white;
}

#navtable a:hover {
  text-decoration: none;
  border: thin solid black;
}

/* This can render a bit weird in mozilla but for now I don't care.  */
#navtable a:active {
  text-decoration: none;
  background: grey;
  color: white;
  border: thin solid black;
}

dt {
  font-weight: bold;
}