mozilla/pdf.js — pull request #3968 by yurydelendik (2013-11-25 14:55:52+00:00)
Title: Fixes find position in HiDPI displays

... also makes output sharper (at line 458)