convert tabs to spaces in index.html.