Tim van der Meij c67ad28673 Remove unused annotation highlight div
This is now done using CSS. For annotation-heavy documents this change makes the DOM much lighter.
2014-12-21 17:38:22 +01:00
..
2014-03-14 16:46:35 -05:00
2014-07-18 22:34:50 +02:00
2014-05-22 13:53:19 -04:00