Fix another case of bootstrap blues

(Border-sizing on the CodeMirror-linenumber class)

Issue #2210