log docs/assets/css/pygments.pygstyle @ 514:c9c305645e5f

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