Backport PR
#5843: remove Firefox-specific CSS workaround...
Backport PR
#5843: remove Firefox-specific CSS workaround
The bug being worked around appears to be fixed either in CodeMirror or Firefox (tested with FF 29).
Importantly, the workaround appears to *introduce* incorrect behavior
closes
#5192
closes
#5364