Fleshed out index.html.