Small fixes to CSS