Minor adjustments to CSS