Rather than adding a new rule.

Issue #1747

Closes #1744

This is the only theme that sets font size, remove this to bring in line
with other themes.

The double semicolon prevents LESS to compile the CSS file.

With the eclipse theme, if you move your cursor on a bracket and have the matching bracket option enabled, spans with borders are inserted. They push the rest of the line to the right by the amount of the border width, which looks very crappy. Using outline instead of border fixes this

Added .CodeMirror to end of class names so that under CodeMirror v3, the
authors intended BG/FG is used rather than the parent styling seen

Issue #974

Fix bad rules in themes, measure width correctly.

This will make fixedGutter work properly, and make it the only model
(no more gutter that scrolls out of view).

Also reorganizes the basic css file to be easier to modify for users.

Issue #730

Courtesy of Mike Griffin