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.
