Skip to content

Latest commit

 

History

History

pygments

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
 
 
 
 
 
 
 
 

Pygments CSS generator

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

How to generate CSSs files

Before running generate.py remember to install all requirements. This can done with pip install -r requirements.txt (preferably in a virtualenv, or use pipx.

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 reflex path and run gulp pygments to generate all min.css files.

How to add new styles?

See code highlightning documentation.