On Sun, Mar 31, 2024 at 10:13:03PM +0200, Patrice Dumas wrote:
> Hello,
>
> I propose to remove the HTML customization variable
> AVOID_MENU_REDUNDANCY:
>
> If set, and the menu entry and menu description are the
> same, then do not print the menu description; default false.
>
> It seems to
Hello,
I have finished the addition of information on HTML customization
hopefully more pedagogical and useful.
For CSS, I added the explanation of the customization variables effect
directly in the 'HTML CSS' node. For the other new nodes, there is a
new subsection of 'Generating HTML' called