body {
    font-family: sans;
    margin: 0;
    color: #2e3436;
}
div#box {
    # border: solid #2e3436 1px;
}
div#content, div#footer {
    min-width: 800px;
    padding: 0;
    margin: 0;
}
div#menu {
    background-color: #FFF;
    padding: 0 0 0 0;
}
#menu span {
    background-color: #FFF;
    font-weight: bold;
    padding: 0.6em;
}
#menu span.current {
    background-color: #FFF;
}
#menu a {
    color: #336699;
    text-decoration: none;
}
#menu a:hover {
    color: #333;
}
#menu a.current {
    color: #555;
}
div#footer {
    color: gray;
    text-align: center;
    font-size: small;
}
div#footer a {
    color: gray;
    text-decoration: none;
}
pre {
    border: dotted black 1px;
    background: #eeeeec;
    font-size: small;
}