more formatting of index.html