mozilla/pdf.js — pull request #2467 by danieljohansson (2012-12-14 21:31:38+00:00)
Title:  Fix margin on toolbar button separator

Fix margin on toolbar button separator to avoid changing height on hover, causing jittering.

See https://bugzilla.mozilla.org/show_bug.cgi?id=816697