[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [help-texinfo] html output (footnotes)

From: Gavin Smith
Subject: Re: [help-texinfo] html output (footnotes)
Date: Sun, 10 Mar 2019 11:47:40 +0000
User-agent: Mutt/1.5.23 (2014-03-12)

On Mon, Mar 04, 2019 at 10:14:30AM +0100, Patrice Dumas wrote:
> I did the code, but I do not think I did the choice of headers like that
> on purpose.  A possibility, but I haven't checked, is that the strange
> result could come from mixing texi2html and makeinfo styles.
> In any case I am not opposed to changing that, I agree that it would be
> more consistent to have the footnote numbers smaller at least same size
> as the header.  For the "footnote header" part, it is possible that the
> size is setup such that it is not too big compared to the section
> header, so maybe it would be better not to change this header size.

I've changed the footnote labels to use <h5> in revision 1b999ee.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]