log docs/assets/css/pygments.pygstyle @ 985:74f4bde40fd0

age author description
Sun, 26 Jul 2015 09:52:50 -0700 Ludovic Chabant docs: Always use Pygments styles. Use the new CSS generation processor.