Switch to 'colorful' pygments style

Because it uses a white background.  The default style's grey background
looks bad, especially since our <pre> elements have no borders or padding.