Colorized HTML from Python source

[insyte at petra.squad51.net]

I know I've seen several sites with very nicely colorized Python source
code.  They all seem to be using the same engine to do this, but I can't
seem to track it down.  Is there a standard utility for reading Python
source and producing a spiffy colorized HTML version?

Gracias,
Ben

-- 
Ben Beuchler                                         insyte at bitstream.net
MAILER-DAEMON                                         (612) 321-9290 x101
Bitstream Underground                                   www.bitstream.net