Web Inspector: Hide DOM search result highlights when find banner is not showing