Re: use <a> for hancors without content, not <span>

[Patrice Dumas]

On Sun, Dec 26, 2021 at 06:33:15PM +0100, Patrice Dumas wrote:
> 
> Also I propose to add class to the anchors to distinguish their source.

I integrated the separate anchor of @float to the div, so I added the
following classes for separate anchors:

"anchor" for @anchor, "index-entry-anchor" for @cindex and similar @*index
index entry @-commands, "node-anchor" for a @node without associated sectioning
command, and "top-anchor" for an empty @top.

If those classes are considered to add too much verbosity, it should be
easy to remove them, as I added a formatting function that centralizes
the formatting of separate anchors.

-- 
Pat