am daa3b7a4: am 945ed36e: docs: add the ability to exclude PRE elements from...

am daa3b7a4: am 945ed36e: docs: add the ability to exclude PRE elements from being prettified by adding the class "no-pretty-print" (needs to hyphenate \'prettyprint\', otherwise the prettify script will parse "no-prettyprint" the same as "prettyprint")

Merge commit 'daa3b7a4'

* commit 'daa3b7a4':
  docs: add the ability to exclude PRE elements from being prettified