fix prettify.js not found