mozilla/pdf.js — pull request #1823 by msujaws (2012-06-13 09:16:21+00:00)
Title: PDF.js should use a consistent font for its user interface

This change will use the system's native UI font for each platform as well as fix the current inconsistency between the font of the text label for total page count and the text inside of the input element for current page number.