Replace codemirror theme
Fix errors