Re: @subentry, @seealso and @seenentry better formatted in HTML

[Per Bothner]

On 11/21/22 13:12, Patrice Dumas wrote:
> The letter column allows to have the index entries aligned on the widest
> letter.

I don't see any benefit to that.  Quite the opposite.
The letter headings are *headings*.  Lines below a heading are not
normally indented based on the size of the widest heading.

Some indexes group non-letters in a generic "special symbols"
category. You would certainly not want to indent all the entrie
based on the width of "special symbols".
It is also common to have no heading for the initial letter,
but just add vertical white-space when there is a new initial character.
--
        --Per Bothner
per@bothner.com   http://per.bothner.com/