body {
    margin: 0;
    padding: 0p;
    font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
    font-size: 14px;
    line-height: 18px;
    color: #555555;
    background-color: #ffffff;
}

PRE.syntaxHighlighting {
    font-family: monospace;
}

pre.code {
    background-color: #F9F9F9;
    border: 1px dashed #CCCCCC;
    color: navy;
    display: block;
    padding: 8px;
}

#nav {
    position: fixed;
    left: 0px;
    top: 0px;
    bottom: 0px;
    width: 280px;
    overflow-y: auto;
    overflow-x: auto;
    background-color: #EEE;
    border-right: 1px solid silver;
    -webkit-box-sizing: border-box; /* Safari/Chrome, other WebKit */
    -moz-box-sizing: border-box;    /* Firefox, other Gecko */
    box-sizing: border-box;         /* Opera/IE 8+ */
    padding: 15px;
}

#main {
    margin-left: 280px;
}

#mainContent {
    padding-left: 10px;
}

#footer {
    padding-left: 300px;
    padding-top: 10px;
    padding-right: 10px;
    margin-top: 10px;
    background-color: #F8F8F8;
    height: 1200px;
    text-align: right;
}