Coding style changes in index.html