29b19bcf8b
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> |
||
|---|---|---|
| .. | ||
| custom.js | ||
| dark-mode-toggle.min.mjs | ||
| scorer.js | ||