Fix loading prettify.js, and hopefully fix input problem when injecting the console.