Revised the web page, and made some formatting fixes.