mozilla/pdf.js — pull request #4120 by timvandermeij (2014-01-13 21:05:43+00:00)
Title: De-inline CSS for the 'open file' button

Supersedes #4000.