demo.html reformatted