body { margin:4% 8%; font-family: palatino linotype, Bookman, serif }
pre {
    padding:0.5em 3em;
    font-size:120%;
    background-color:#eee;
    color:#005;
}
pre > .kwd {
    color:#520;
}
pre > .comment {
    color:#283;
}