this and subsequent rules might be better off in their own file, as they all apply to how codemirror is used, rather than the editor itself