Fix fat cursor

Fat cursor broken by https://github.com/marijnh/CodeMirror/commit/1fc80e4ef6dce8dca96bbbd670a1ba0e955408cd, fixed with CSS specificity hack.