|
From: Raymond T. <toy...@gm...> - 2025-07-07 20:25:39
|
On 7/7/25 12:48 PM, Jaime Villate via Maxima-discuss wrote: > Hello, > > The syntax coloring in the HTML version of the manual seems very odd > to me. Some random keywords appear in red or blue. In my opinion, it > would look better without any coloring at all. Can you point out an example of this? The highlighting comes highlightjs that has a maxima scheme for highlighting. I have no idea where how it decides to color things. We do have some control on the highlighting theme. I chose one that looked ok on the sample pages I looked at. ​ |