Very minor changes to CSS styling