Revert "Remove Google Code Prettify"

This reverts commit 00a795efdccf38ba438d0e533c25d8583db93508.