marijnh/CodeMirror — pull request #1316 by flack (2013-03-05 14:57:01+00:00)
Title: Fix 1-2 pixel jumps when brackets are highlighted

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