use Google prettify (copied from Peter Norvig's site) to highlight code