various html tweaks
Merge branch 'new_site' into gh-pages