update demo.html: default.css -> github.css