Auto format the entire website

To give it a consistent look-and-feel. Uses my format script.
There were some exceptions and special cases that I had to take care of manually.