site_opytex/theme/pygments
2019-07-18 12:43:36 +02:00
..
generate.py Feat: Import all old stuff 2019-07-18 12:43:36 +02:00
README.md Feat: Import all old stuff 2019-07-18 12:43:36 +02:00
requirements.txt Feat: Import all old stuff 2019-07-18 12:43:36 +02: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.

How to add new styles?

See wiki.