minor CSS changes to default theme