cosmetic improvements to css