Use prettier CodeMirror theme