Minor improvements to CSS