Fixed styling bug on CodeMirror div