Oops, this was not supposed to be committed.
Now that the sprite packer file stream leak has been fixed, I believe we can uglify production.
Hack up button/buttongrid/font to allow rendering buttons at varied resolutions.  Kind of the same solution as before, but with slightly less mess?