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
