body {
    font-family: palatino, georgia, verdana, arial, sans-serif;
    font-size: 10pt;
}

#content {
    width: 800px;
}

.documentation {
    width: 400px;
    float: left;
    padding-right: 20px;
}

.code {
    font-family: monaco, andale mono, lucidatypewriter, courier,
                 courier new, monospace;
    float: left;
    white-space: pre;
    font-size: 6pt;
}

.divider {
    clear: both;
    border-top: 1px dotted;
}