Sadly, that CSS snippet does not appear to work for me on v0.13.23, at least in editor mode with live preview. There is no longer a .CodeMirror class. Trying to apply it to the .cm-editor class instead (I’m unsure if those are analogous) didn’t work correctly.