parndt/philip_arndt_dot_name — pull request #12 by gwagener (2012-04-16 23:44:29+00:00)
Title: Buttons now have the same total size, including margin, when clicked

Fixes #6