Coding style in index.html