switched to using google-code prettify as an experiment