marijnh/CodeMirror — pull request #1924 by mbonaci (2013-11-03 18:25:47+00:00)
Title: mbo theme: Fix matching tag background highlighting

Change default, light-green color (that works well with light themes) to more subtle, dark #4e4e4e