revert prettify.js