Re-implement hiliting annotation cards on hover

... over the highlights in the document, or the annotation cards.

As discussed in #1728 
Okay. I did that.