Update index.html

minor formatting tweaks to underlying HTML