Making the index.html prettier (marginally)