cpitclaudel / alectryon

A collection of tools for writing technical documents that mix Coq code and prose.
MIT License
227 stars 36 forks source link

Add a --pygments-style option #62

Closed cpitclaudel closed 3 years ago

cpitclaudel commented 3 years ago

Alectryon used to hardcode a specific pygments style, which I developed based on another package because Coq has more syntactic categories than other languages. This PR solves of GH-58 by making the stylesheet customizable, but with that done it makes no sense to call the resulting stylesheet tango_subtle.css, so I've renamed that to pygments.css.

It won't be a problem for anyone who is using Alectryon or in Sphinx, on the command lines, but custom setups may need a bit more work. Please let me know if you run into trouble (especially if I can make anything easier before the next release).