integrating a single CodeMirror editor in index.html