Tweaks to isearch highlighting