fix some of the formatting of demo.html