mozilla/pdf.js — pull request #742 by gigaherz (2011-11-01 16:44:03+00:00)
Title: Restyle the toolbar so it looks better as a pdf viewer extension

I restyled the toolbar for using in the pdf.js firefox extension.

This includes a series of changes:
- Moved the toolbar from the top to the bottom,
- Changed the height from 40px to 32px,
- Made the toolbar fade out to 30% opacity when not hovering, and
- Made the toolbar div take only as much space as necessary to fit the controls.

These changes make the pdf viewer give extra visible area to the contents, which is nice if you have a smaller screen.

I had to modify the makefile to add extra sed rules to remove the file upload box from the extension, because it was mostly useless when used that way, and it took space unnecessarily. I did it in a way that keeps the html the way it was before if you are making any other target xcept the extension.