Other minor changes to CSS