dart-lang/dartlang.org — pull request #30 by timothyarmstrong (2013-01-30 01:56:30+00:00)
Title: Goodbye Pygments, hello Prettify

This removes Pygments, and replaces it with Prettify (i.e., no more server-side syntax highlighting, it's now all done on the client-side).