Update pretty.html