Remove unused annotation highlight div

This is now done using CSS. For annotation-heavy documents this change makes the DOM much lighter.
Merge pull request #5569 from timvandermeij/annotation-rewrite-1

Remove unused annotation highlight div