Tweaks in css highlight