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
