Fix to font size in CodeMirror.