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).
CSS workaround for Pygments bug (Python 3 can too lex Unicode variables)
initial commit