minor edits in css