Re-implement hiliting annotation cards on hover

... over the highlights in the document, or the annotation cards.

As discussed in #1728 
Sure, feel free to rename it. I just re-used the existing name I found in our SCSS.
(I guess it was there as dead code, from the previous incarnation of this feature.)