Decrease font size on button bar so that it is less crowded/squished on ...

...iOS devices.