Watch
1
0
Fork
You've already forked www.xengi.de
0
www.xengi.de/flex/pygments
Repository files (latest commit first)
Filename Latest commit message Latest commit date
2025-01-27 11:06:37 +01:00
..
generate.py add flex with updated font awesome 2025-01-27 11:06:37 +01:00
README.md add flex with updated font awesome 2025-01-27 11:06:37 +01:00
requirements.txt add flex with updated font awesome 2025-01-27 11:06:37 +01: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.