Cleaned up index.html.

According to pdehaan's excellent comments.