More stylish index.html.  web.js reads from 8080