diff docs/assets/css/pygments.pygstyle @ 510:66f8bbe8de91

docs: Always use Pygments styles. Use the new CSS generation processor.
author Ludovic Chabant <ludovic@chabant.com>
date Sun, 26 Jul 2015 09:52:50 -0700
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/docs/assets/css/pygments.pygstyle	Sun Jul 26 09:52:50 2015 -0700
@@ -0,0 +1,2 @@
+style: colorful
+