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

[Gavin Smith]

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.