Refine code of index.html.