body {
        margin-top: 3em;
        padding-left: 4em;
        font-family: Georgia, "Times New Roman", Times, serif;
        font-size: 90%;
        color: #333333;
        background-color: #f9f9f9;
	width: 80%;
}

h1 {
        font-family: Georgia, "Times New Roman", Times, serif;
        font-size: 200%;
        font-weight: bold;
        color: #000000;
}

h2 {
        font-family: Georgia, "Times New Roman", Times, serif;
        font-size: 150%;
        font-weight: bold;
        color: #000000;
}

:link {
        color: #00CC00;
        font-weight: bold;
}

:visited {
        color: #00CC00;
        font-weight: bold;
}

:hover {
        color: rgb(0, 96, 255);
        font-weight: bold;
        text-decoration: underline;
}

address {
        margin-top: 1em;
        padding-top: 1em;
        border-top: thin dotted;
}

pre { font-family: monospace; }