pre.sourceCode {
        background-color: #ddd;
        margin: 0.4em;
        padding: 0.4em;
}

pre.sourceCode span.kw { color: green; }
pre.sourceCode span.dv { color: #55a; }
pre.sourceCode span.fu, pre.sourceCode span.ot { color: #c40; }