cleaning up css formatting and some other bits.

Look at the individual commits for more details. There are 3.