CodeMirror: Fix margin for mdn-like theme