On 7/27/25 1:13 AM, Patrice Dumas wrote:
On Sat, Jul 26, 2025 at 02:42:59PM -0700, Raymond Toy wrote:
Or maybe texinfo run pygmentize with extra options?
Yes, pygmentize is especially called with -O noclasses=True, probably
because I wanted to avoid confusion with Texinfo classes.
For the record, the CSS that pygments uses for the default style is
something like
|pre { line-height: 125%; } td.linenos .normal { color: inherit;
background-color: transparent; padding-left : 5px; padding-right: 5px; }
span.linenos { color: inherit; background-color: transparent;
padding-left: 5px; padding-right: 5px; } td.linenos .special { color:
#000000; background-color: #ffffc0; padding-left: 5 px; padding-right:
5px; } span.linenos.special { color: #000000; background-color: #ffffc0;
padding-left: 5px; padding-right: 5px; } .hll { background-color:
#ffffcc } .c { color: #3D7B7B; font-style: italic } /* Comment */ |
then followed by a bunch more 2 and 3 letter classes for all of the
different highlighted elements. Seems unlikely to collide with texinfo
defaults, except for the |pre| element. I think that's super annoying
that it sets the style for |pre| tags.
​
