Prettify code in posts with google-prettify.