Tweak prettify.
use jquery to load prettyprint