* {
    font-family: Verdana, Helvetica, Sans;
    font-size: 11px;
}

h1 {
    font-size: 1.5em;
}

a:link, a:visited, a:active {
    color: #333333;
    font-weight: bold;
}
a:hover {
    color: #808080;
}

blockquote {
    font-family: monospace;
}

ul {
  margin-bottom: 2em;
}

li a {
}

li a.outdated {
    color: #a00000;
}

li a.private {
    color: #0000a0;
}

li span.version {
    color: #a0a0a0;
}