tinker with Pygments colors

The default Pygments theme was greenish overall, which is off-theme;
this makes it more pink-and-purplish (surely not an optimal palette,
but a low-hanging improvement during fifteen minutes of not being
brave enough to actually write).