(minor) CSS update