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 wrote:
>
> On Mon, Ap
On Mon, Apr 1, 2019 at 12:16 AM Daniel Gruno 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
It's a CSS issue, the top menu is hiding the header.
The browser is correctly scrolling to where it should, but alas...
one fix would be to add a top margin to all headers.
On 31/03/2019 16.34, Craig Russell wrote:
Dropping legal-discuss...
I thought that someone in infra or whimsy might have a
Dropping legal-discuss...
I thought that someone in infra or whimsy might have a clue whom to ask if they
don't themselves know the answer.
This is an issue with Safari, Firefox, and Chrome (on Mac).
The html around this is:
If none of the above addresses your query, please check the resources