On Sun, Nov 23, 2025 at 12:43:19PM -0800, Raymond Toy wrote: > On 11/20/25 7:03 AM, Raymond Toy wrote: > > And AFAICT, there are no conflicts. I updated the CC for the maxima > > manual to include CSS for the default style and a dark style. The > > examples show up with the expected colors in both the light and dark > > style. > > > Nope, I was wrong. texinfo produces |<small class="sc">|. The class "sc" is > also used by pygments. I assume I can solve this by defining a CSS rule for > |small.sc|.
The classes are not simply customizable. It is still possible to replace the whole _convert_style_command with another function, this formatting function is not that complex. But then one need to check each release to verify what needs to be changed. -- Pat
