mozilla/pdf.js — pull request #2822 by waddlesplash (2013-02-26 20:08:31+00:00)
Title: Add missing "user-select" styles & space fixes.

Some "user-select" styles were missing and there were some extra spaces (as well as missing ones).