Very minor styling change: no extra padding in buttons.