Use simpler HTML. Make formatting changes.

Make the following changes:
* Use new-style charset declarations, which are much simpler.
* Declare the language of each document.
* Ensure the doctype is the very first line in index.php
* Replace tabs with spaces.
* Remove trailing whitespace.