mozilla/pdf.js — pull request #5569 by timvandermeij (2014-12-21 16:40:32+00:00)
Title: Remove unused annotation highlight div

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