More elaborate index.html.