Minor updates to HTML/CSS.