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

[Patrice Dumas]

On Sun, Nov 20, 2022 at 02:05:15PM -0800, Per Bothner wrote:
> 
> 
> On 11/20/22 13:47, Patrice Dumas wrote:
> > On Sun, Nov 20, 2022 at 01:35:33PM -0800, Per Bothner wrote:
> > > Before I do that, I suggest cleaning up the generated html a bit, as 
> > > discussed:
> > > - Get rid of the dummy <td></td> table cells used for indentation.
> > 
> > The first column is the letter column.  It is not really indentation,
> > although it indeeds leads to indentation.  What would you propose
> > instead?
> 
> Consider how things would look if you changed border="0" to border="1".
> Probably not something one might want to do, but I think it helps
> visualize things.
> 
> First, there should only be two columns, IMO.
> There should be no "letter column".  The letter headings should be:
> 
>    <tr><th colspan="2" id="General-Index_cp_letter-B">B</th></tr>
> 
> The regular entries should use a style rule:
> 
>     td.printindex-index-entry { padding-left: 1.5em }
> 
> or:
> 
>     td.printindex-index-entry a { margin-left: 1.5em }
> 
> or similar.

The letter column allows to have the index entries aligned on the widest
letter.  Also having the letter not with a colspan allows to have only
one column for the letter line, which gives an easy to follow structure
when there are borders or coloring of the cells.  There is a downside,
though, there are empty cells on the letter column for all the index
entries.  But it does not look that bad to me.  Another downside, of
course is that there is no possibility to use CSS to remove the empty
letter column.  However, with CSS, the effect is not the same as the
indentation is one number, not something lin line with the actual width
of the letters.

Right now, there is an empty column after the letter column, I'll remove
it anyway.  We could also have a colspan (of 3) in the default case, I
would prefer not, but it is not so important to me.  What I find
important is to keep the structure of the table to get the right
indentation.

-- 
Pat