HTML Tidy Up!

Tidy up the PHP scripts that generate the HTML files, giving better
compatibility for more browsers.  Tidy up various errors and warnings in
HTML.