The `.CodeMirror pre` CSS rule seems to be required to be able to change the direction