htdocs: Tweak prettify.

Also use jquery to load prettyprint.