Highlight search results when the mouse is over them

Fixes #748