This should go in a `.CodeMirror` selector. Otherwise, the base font and overrides will be applied to different `<div>` elements.