Some css fixes due to pygment highlighter

pygment does not use the exact same html than CodeMirror - in particular it wraps code in `<pre>`.