Remove unused annotation highlight div

This is now done using CSS. For annotation-heavy documents this change makes the DOM much lighter.