I think buttons should have no margin. This should really be at the discretion of the coder. May revert.