Some general code cleanup for index.html: cleaned-up white space, moved all javascript code to the same spot, removed type attributes from <script> and <link> tags as these have defaults of "text/javascript" and "text/css" in HTML5. No functional changes were done in this commit.