Add extra pixel to line number gutter width

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