Element wrapper for the `google-code-prettify` (https://code.google.com/p/google-code-prettify/) library.