Make index.html look nicer.