A bit more CSS cleanup.
And more CSS fixes.

This one concentrates mostly on the appearance
of buttons; their background color and borders.