Google Prettify.js working