| commit | 2995eb79f1f2d7246d27a2b54d690b0e6acd75c4 | [log] [tgz] |
|---|---|---|
| author | Benjamin Cabé <benjamin@zephyrproject.org> | Fri Nov 01 16:35:05 2024 +0100 |
| committer | Mahesh Mahadevan <mahesh.mahadevan@nxp.com> | Tue Nov 05 10:53:34 2024 -0600 |
| tree | 995f898655f54490307c9a7c51e304c0152f50b9 | |
| parent | 580707ed4d29299d7c3b1bb306aca378634cfe8b [diff] |
doc: fix scrolling glitch causing search bar to be partially hidden With the recent update to Sphinx RTD theme 3.0.0, a 19px-high element that used to display the version number is not visible anymore, so the JS code that hides the upper-left logo when scrolling down needs to be adjusted to account for this change. Signed-off-by: Benjamin Cabé <benjamin@zephyrproject.org>