Fixes #430: Button no longer has excess margin.
I do not see other problems. Original commit (a603795d) brought in the whole file, so I dont think we can track down a reason for this particular line.
Merge pull request #431 from afred/extra-margin-430

Fixes #430: Button no longer has excess margin.