index-mike.html loads scripts/CSS from local web-server.