Use older version of prettify that doesnt suck