On Fri, Jan 24, 2020 at 12:44:59AM +0900, Jean-Christophe Helary wrote: > To make sure that the output HTML has the proper anchors for use as CSS > selectors, it would be nice to distinguish between identical tags coming from > different texi commands. > > What I did was keep the original tag and add the texi command name as the > class attribute of the HTML tag.
Is using CSS to have different styling for these commands worthwhile? Do you have an example where this produces an improvement?
