body {
    background-color: #ffffff;
    color: black;
    font-family: "bitstream vera sans";
    font-size: 22;
}

a {
    text-decoration: none;
    color: #00bbbb;
}

a:link    { }
a:visited { font-weight: bold; }
a:active  { }
a:hover   { text-decoration: underline; }

h1 {
    color: #008888;
    text-align: center;
}

h2 { color: #00aaaa; }

h3 { color: #00cccc; }

pre { background-color: #00cccc; }