Upgraded Prettify to fix IE10 issues