body { 
    font-family: Verdana, "sans-serif";
    font-size: 11px;
    line-height: 150%;
    margin: 20px 2%;
    /*
    margin: 20px 10%;
    padding: 2% 5%;
    border: solid 1px black;
    */
}
h1, h2 { margin: 20px 0; line-height: 150%; }
h3 { margin-top: 20px }
hr { margin-top: 30px }

code { white-space: nowrap }

/* example code */
pre .comment { color:green; }
pre .number { color:navy; }
pre .string { color:#cc0000; }

#footer {
    text-align: right;
}