body {
    font-family: sans-serif;
    background-color: white;
}
a:hover {
    color: #7700ff;
    text-decoration: underline;
}
a {
    text-decoration: none;
}
.warning {
    color: #cc0000;
}
a img.w3link {
    border: 0;
    width: 88px;
    height: 31px;
    float: left;
}
pre {
    color: #000055;
    margin-left: 2em;
}
code {
    color: #000055;
}

/* heading stuff */

.header {
}
p.header {
    background-color: #eeeeee;
    font-family: fixed, monospace;
    font-weight: bold;
    padding: 0.2em;
    border: thin solid black;
    color: red;
}
.header a {
    text-decoration: none;
    color: #000000;
}
.header a:hover {
    text-decoration: underline;
}
.header a:visited {
    text-decoration: none;
    color: #888888;
}
.header a:hover:visited {
    text-decoration: underline;
}
h1 {
    padding-left: 10%;
}