web: index.html: remove unnecessary whitespace