So that they don't interfere with clicking and dragging

Issue #2556

Closes #4042

Issue #3884

Closes #3899

Closes #3834

There was a typo in one of the comments (`actuall` vs `actual`).

Issue #3434

Also some general improvements to material.css and solarized.css

Closes #2645

Issue #3357

So that selection inside widgets isn't affected

Issue #3342

So that they don't end up overriding more specific styles.

Issue #3325

Also set CodeMirror-linenumber to nowrap.

Works around issue where a rounding error causes the line
numbers to wrap in some situations on iOS.

Closes #3068

Issue #3098

So that the contenteditable input style doesn't look silly
on desktop.

It apparently believes that if the editor's nodes are directly next to
each other without margin, the user needs a magnifying glass to pick
a cursor position.

Simple things work.

Code that overrides this will break the new scroll model.

Issue #2984

And manually compensate for our own scrollbar sizes.

This way, we're no longer dependent on the size of our scrollbars
being the same as the size of native scrollbars, and can start to
think about custom scrollbars.

Also add support for "gutter" in add/removeLineClass.

Issue #2901

And adjust vim mode to use these.

Issue #2884

Issue #2765

Closes #2623

Using the CodeMirror-guttermarker and CodeMirror-guttermarker-subtle CSS
classes to give the markers their color.

Issue #2602

Also fix Erlang mode to not return a non-standard token type.

Issue #2435

This produces saner widths for most elements, and removes
the need for the border/fit-width hack on the pre elements.

Issue #2256

Conflicts:
	lib/codemirror.js