misc tweaks to restore some necessary styling after CodeMirror upgrade