Re: [Maxima-discuss] Syntax coloring of the manual

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

On 16/07/25 02:08, Raymond Toy wrote:
> The nice thing about the current version is that we're less dependent 
> on the version of texinfo used to create the docs. Presumably, 
> developers will be the only ones to create docs, so how it's done is 
> less important. And of course a developer will be one to update the 
> website with the desired HTML manual.

But we are dependent on the Javascript on each user's browser. Every 
time a user opens a manual page, his browser will go through every 
single example redoing the coloring. I prefer the method I use in my 
books: I decide how the colors and math equations should look and they 
are added statically to my  web pages; no javascript, no time wasted 
redoing everything in each user's browser, and no surprises with 
plug-ins that disappear or start misbehaving.

Jaime