New version of index.html with new stylesheet and web.js updated to listen on port 8080.