Increased size of some push buttons.