On Fri, Jul 25, 2025 at 05:41:30PM +0100, Gavin Smith wrote:
> I don't agree with specifying "font-size: 150%" for the index letter
> headers, as we shouldn't be specifying exact ratios of font sizes. As
> I said, the previous formatting looked fine, so we could try to imitate
> this, even if we e
On Fri, Jul 25, 2025 at 05:41:27PM +0100, Gavin Smith wrote:
> I am afraid to say that I liked the older formatting better. The
> screen shots show the comparison (taken at 200% zoom in Chromium).
Not sure that it is really helpful, but I personally find that both are
ok in term of esthetics of t
On Tue, Dec 24, 2024 at 01:24:05PM +0100, Patrice Dumas wrote:
> Hello,
>
> With
> https://git.savannah.gnu.org/cgit/texinfo.git/commit/?id=657e67c1b9ec217fe3ea2e0431f717407e553854
>
> I changed the formatting of printindex in HTML following Per Bothner
> advice. I did no only put the letter in
Hello,
With
https://git.savannah.gnu.org/cgit/texinfo.git/commit/?id=657e67c1b9ec217fe3ea2e0431f717407e553854
I changed the formatting of printindex in HTML following Per Bothner
advice. I did no only put the letter in the same column as the index
entry, I also
* replaced the before the letter
