[Maxima-discuss] CSS for the HTML manual (was: Syntax coloring of the manual)

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

On 22/07/25 14:52, Raymond Toy wrote:
> Either the current head, you don't need to do that. I used 
> --css-ref=manual.css to get a link to the CSS. I think the inline CSS 
> comes from texinfo for its default styling. I think you you need to 
> override the styles using !important.

Yes, the inline CSS is a makeinfo default. I tried many thinks to get 
rid of it but I couldn't. Some years ago a makeinfo developer suggested 
to add an option --css-omit-defaults, but it was rejected.

In any case, that default CSS is very minimal and we can override it in 
our manual.css. I have just done that with commit  [a1a98c].

I will then work on providing our won web fonts to give us more control 
on how the manual looks.

Regards,

Jaime