some css fixes due to pygment highlighter

pygment does not use the exact same html than CodeMirror, in particular
it wraps code in <pre>
Merge pull request #162 from Carreau/css-fixes

Some css fixes due to pygment highlighter