Use a transparent border on the sizer to force scroll width

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