Minor changes to CSS