fixed typo, tweaked readability
added local copy of Prettify

note that this required adjusting the JavaScript code, altering a
hard-coded URL