small changes to HTML/CSS