Improved sizing of buttons.

Menu bar at top of screen is not quite right anymore :-(.