github theme for CodeMirror