more tedious CSS changes