Small tweaks to layout in index.html.