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.