commit 2995eb79f1f2d7246d27a2b54d690b0e6acd75c4
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

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>

doc/_static/js/custom.js

diff --git a/doc/_static/js/custom.js b/doc/_static/js/custom.js
index 52f254b..049d327 100644
--- a/doc/_static/js/custom.js
+++ b/doc/_static/js/custom.js
@@ -16,7 +16,7 @@
         // Configuration.
 
         // The number of pixels the user must scroll by before the logo is completely hidden.
-        const scrollTopPixels = 156;
+        const scrollTopPixels = 137;
         // The target margin to be applied to the navigation bar when the logo is hidden.
         const menuTopMargin = 54;
         // The max-height offset when the logo is completely visible.