move to cdn-hosted prettify.js