minor changes to CSS