Hidden "Show/Hide file tree" tooltip when scrolled

[pierre-haessig]

Select Topic Area

Bug

Body

Hello,

I've noticed that the "Show file tree" or "Hide file tree" tooltip which pops up above the corresponding button is not visible when the page is scrolled down. More precisely, it is partially hidden by the broswer top bar. See attached screenshot and video capture:

GitHub.Bug.Show.Hide-Show-file.tree.2023-11-17.webm

I've tested with Desktop Firefox 119 and Chromium 119 under Ubuntu 22.04 with that commit page: openturns/openturns@c683d22