Bugfix: CodeMirror div class