bookmarklet:
google-code-prettify