Original from code.google.com/p/google-code-prettify/‎ witht he bad UTF-8 chars fixed so it does not break asset pipeline