index.html: Formatting.