Highlight referenced element on hover over reference #11
Description
It is probably good to highlight the referenced element on hover over the reference: if it's still on screen, no need to click to find the definition or statement of theorem, etc.
{{ message }}