Re-implement hiliting annotation cards on hover

... over the highlights in the document, or the annotation cards.

As discussed in #1728 
I mean to rename it.