Re-implement hiliting annotation cards on hover

... over the highlights in the document, or the annotation cards.

As discussed in #1728 
Should we use the `js-hover` style here?