/* CodeMirror default theme styles are already included in codemirror.min.css. */\n