a {
  color: black;
  text-decoration: underline;
}

a:hover {
  color: #800000 ! important;
}

a:active {
  color: red ! important;
}

body {
  background-color: #ffffdf;
  font-family: sans-serif, Arial, Helvetica, serif;
}

h1,h2,h3,h4,h5,h6,th {
  color: #800000;
}

.input {
  background-color: transparent;
  border-color: #800000;
  font-size: 100%;
}

ul {
  list-style: disc;
  margin: 0;
  padding-left: 1em;
}

div#main p {
  max-width: 50em;
}

div#menu a {
  text-decoration: none;
}

div#menu a.active {
  color: #800000;		/* same as a:hover */
}