body
{
    font-family: Tahoma, San Serif;
    font-size: 9pt;
    color: black;
    margin: 5px;
    padding: 5px;
    background-color: white;
}

a
{
    font-size: 9pt;
    color: blue;
    text-decoration: none;
}

a:hover
{
    color: red;
}

.text
{
    font-family: Andale Mono, Courier New, monospace;
    white-space: pre;
}

pre
{
    font-family: Andale Mono, Courier New, monospace;
}