Some css fixes due to pygment highlighter

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