modfy prettify.js link