some minor CSS optimizations