body
{
    margin: 0;
    padding: 0;

    font-family: monospace;

    color: #d4d4d4;

    background-color: black;
}

div.contents
{
    margin: 0;
    padding: 0 0 0 1.5em;
}

pre
{
    margin: 1em 0 0 0;

    color: #d4d4d4;
}

span.prompt
{
    text-decoration: blink;
}

div.navigation
{
    margin: 0;
    padding: 0.2em;
}

p
{
    margin: 0;
    padding: 0;

    text-align: right;
}

a
{
    text-decoration: none;

    color: #363636;
}

a:hover
{
    color: #d4d4d4;
}