- prettify.html: more extensive example code