div.sourceCode code, pre.sourceCode code { font-size: 0.8em; }