Minor modifications to CSS.