FTR, this was fixed recently, see: https://lists.apache.org/thread.html/955dd6301457a1573fd5cb36c5e6f993386b4c8e84976152df3006c7@%3Ccentralservices.apache.org%3E and http://svn.apache.org/viewvc?view=revision&revision=1860568
On Mon, 1 Apr 2019 at 09:46, Bertrand Delacretaz <bdelacre...@apache.org> wrote: > > On Mon, Apr 1, 2019 at 12:16 AM Daniel Gruno <humbed...@apache.org> wrote: > > ...one fix would be to add a top margin to all headers... > > There's an example at http://jsfiddle.net/vyPkA/ which fixes that > using padding-top. > > (but that doesn't answer the "who's fixing this" question) > > -Bertrand
