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

[Jaime V. <vi...@fe...>]

Hello,

I have committed the manual.css page for the manual with a darker mode 
that resembles the one in the Website.

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.

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.

Jaime