Better highlight (patched match-highlighter.js from codemirror). Version set to 0.30.3