On Fri, May 07, 2021 at 11:26:53AM +0200, Patrice Dumas wrote: > > > NO_CSS has other effects. > > Indeed, in addition to removing the CSS lines, it removes class > definitions (and probably only some classes, not all). Maybe the best > would be to remove NO_CSS completly and document that -c 'CSS_LINES=' > can be used to remove/redefine CSS completly? Currently the > documentation on NO_CSS/CSS_LINES is very short.
It is actually used in html32.pm to generate html 3.2. However, it is not a good idea, I think, to mix removing class and removing CSS, so I think that it should be html32.pm that is modified. I do not think that html32.pm is actually used, but it is a check for the HTML customization code to verify that it is possible to change the output to cope with different HTML standards. I do not know if this init file example still plays that role adequately. -- Pat
