refactored the pretty-printing css rules so it's not copy-and-pasted in two files.
Merge branch 'master' into codemirror-3.1
fixing regression involving markText