tree 5dd9f6382a99335b0aa1ac77aaae269e785e8a49
parent b16110587c76cebd644c01f9e45218412281e140
author Benjamin Cabé <benjamin@zephyrproject.org> 1701785867 +0100
committer Anas Nashif <anas.nashif@intel.com> 1702582683 -0500

doc: sphinx: Tweak page scroll behavior to maximize real estate

This picks up custom javscript from Godot documentation and uses CSS
rules we already had in place (only they were not used) to tweak the
page scroll behavior. As folks scroll down the page, the Zephyr logo in
the top right corner gradually disappears, leaving more room for the
navigation menu.

Also, when scrolling in the navigation pane, the UI there is slightly
adapted to make it more clear that the search box is "fixed", plus,
when one reaches the bottom of the navigation tree and continues
scrolling, the "main" page scrolls down.

Signed-off-by: Benjamin Cabé <benjamin@zephyrproject.org>