History

Alexandre Vicenzi b72e9e5536 New pygments styles. See #38.		2016-04-23 20:16:24 -03:00
..
generate.py	New pygments styles.	2016-04-23 20:16:24 -03:00
README.md	New pygments styles.	2016-04-23 20:16:24 -03:00
requirements.txt	New pygments styles.	2016-04-23 20:16:24 -03:00

Pygments CSS generator

This is the correct way to generate all pygments CSS files.

How to generate CSSs files

Before run generate.py remember to install all requirements. This can done with pip install -r requirements.txt.

After this you can run ./generate.py. Remember to run inside this folder. Because it uses relative path to place inside static/pygments folder.

After that, go back to the Flex path and run gulp pygments to generate all min.css files.