Reformat index.html.
Reformat main.js.