body {
    background-color: rgb(20, 20, 20);
    color: rgb(200, 200, 200);
    font-family: monospace;
}

pre {
    margin: 0;
    font-size: 14px;
}

a {
    text-decoration: none;
}

a.top {
    color: rgb(200, 0, 0);
}

a.dir {
    color: rgb(0, 200, 200);
}

a:hover {
    text-decoration: underline;
}

a.file {
    color: rgb(200, 0, 200);
}

a.src {
    color: rgb(0,200,0);
}