|
|
|
|
|
by marten-de-vries
3048 days ago
|
|
Ah, seems like the situation is better than I remembered. I confused colored syntax highlighting with the default settings, which highlight using font weight/italicness etc. I did try minted once, but never used it in practice. The dependency on pygments making the documents more system dependent is less than ideal. |
|
I agree that pygments adds a bunch of dependencies, which may be too much just to get some colored syntax highlighting.