Some last touch-ups on the HTML and CSS of the web site