annotate docs/assets/css/pygments.pygstyle @ 924:1bb704434ee2

formatting: Remove segment parts, you can use template tags instead. Segment parts were used to switch formatters insides a given content segment, but that's also achievable with template tags like `pcformat` in Jinja to some degree. It's not totally the same but removing it simplifies the code and improves performance.
author Ludovic Chabant <ludovic@chabant.com>
date Sun, 01 Oct 2017 20:36:04 -0700
parents 66f8bbe8de91
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
510
66f8bbe8de91 docs: Always use Pygments styles. Use the new CSS generation processor.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
1 style: colorful
66f8bbe8de91 docs: Always use Pygments styles. Use the new CSS generation processor.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
2