Clone of the Google Prettify source code through R225 which includes a fix for IE10