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
correcting problem with binding fullscreenchange
noting where something's breaking under ie8: it appears that the google closure compiler is generating something that's proviking a bug under ie8.
hack for ie8
found error in use of addRule.  I have no idea how this was missed.
Merge commit 'dyoo/codemirror-3.1' into codemirror-3.1