table {
  font-size: 12px;
  font-family: Verdana;
  color: #000000;
}

td {
  padding-right: 10px;
  vertical-align: top;
}

td.menu {
  vertical-align: top;
  text-align: right;
  padding-right: 10px; /* Afstand over til maintext */
  padding-top: 50px;
  border-right: 2px solid gray;
}

td.maintext {
  width: 500px;
  padding-left: 10px;
  vertical-align: top;
}

tr.heading {
  font-weight: bold;
  font-size: 14px;
}

.red {
  color: #ff4040;
}

.green {
  color: #40cf40;
}

.yellow {
  color: #e5ae00;
}

a {
  font-size: 12px;
  font-family: Verdana;
  color: #3030ff;
  text-decoration: none;
}

a:hover {
  text-decoration: underline;
}

pre { /* Fixed-width font */
  background-color: #cfcfcf;
}