change codemirror theme
Merge branch 'origin/gh-pages'