Minor improvements to css