index.html: reindent for better readability.
index.html: use the latest IE version.