remove some empty CSS clutter

Removed a little empty CSS; should make no difference at all, apart from reducing clutter.

There is still plenty around, but I left those in as possibly being useful memos about page structure.