a bit of css cleanup, random