body {
    margin: 0;
    padding: 0;
    font: 11px/1.5 Verdana, Arial, Helvetica, sans-serif;
    color: black;
    background-color: white;
}

div#main {
    margin-left: 210px;
    padding-right: 5px;
}

div#main h3 {
    margin-bottom: 0px;
}

div.syntax {
    font-family: monospace;
}

div#nav {
    position: absolute;
    top: 0;
    left: 0;
    padding: 10px 10px 10px 10px;
    width: 180px;
    color: white;
    background-color: #cc6161;
    min-height: 100%;
    height: 100%;
}
    
div#nav a { color: white; }

div#nav h1 { font-size: 14px; }