did some CSS prettification, blah blah blah