Re: [Maxima-discuss] ***SPAM*** Re: Dark mode (Was Re: SF git repo out-of-date?)

[Raymond T. <toy...@gm...>]

On 7/27/25 12:41 PM, Jaime Villate wrote:

> Hello,
>
> I have committed the manual.css page for the manual with a darker mode 
> that resembles the one in the Website.
Thanks. I'll take a look at it in a bit.
>
> I left the background of the examples in a darker blue, which might 
> contrast well with the syntax coloring that Raymond is testing; if 
> not, we can just leave the examples with the same color as in the 
> lighter theme, because I doubt that the syntax coloring scripts 
> support different colors for different themes.

Yes and no. I just found out yesterday that currently texinfo 7.2 calls 
pygments with an option to inline the colors. (To prevent any collision 
with any class used by texinfo.) However, by default, pygments doesn't. 
It can even print out the CSS style that is being used. I was thinking 
of using some dark mode pygments style to add to our CSS file to enable 
dark mode for the syntax highlighting.

I did a quick experiment by hacking my copy of texinfo so that it 
doesn't call pygments with the inline style option. This works.

There is a proposal that texinfo will allow an arbitrary script to be 
called to do the highlighting.

>
>
> There are three elements in the stylesheet which I have no idea what 
> they're used for and aren't used  in any of the manual pages:
>
>  div.textbox, div.titlebox, div.synopsisbox
>
> I just left them with the same colors as in the lighter theme. j

A quick grep doesn't show any occurrence of textbox, titlebox, or 
synopsisbox in any html file.

​