index.html: standardized formatting