Minor tweaks to html and stylesheets.
A few more minor things.