Fix offsets in navbar (because we don't use the rtd selector).

This commit is contained in:
Lukas Tenbrink
2025-08-02 11:16:00 +02:00
parent 57de68b65c
commit 07eaf7408f
2 changed files with 3 additions and 2 deletions

View File

@@ -1446,6 +1446,7 @@ p + .classref-constant {
/* Navigational sidebar */
.wy-nav-side {
padding-bottom: 0; !important;
background-color: var(--navbar-background-color);
}

View File

@@ -15,9 +15,9 @@ const registerOnScrollEvent = (function(){
// The target margin to be applied to the navigation bar when the logo is hidden.
const menuTopMargin = 70;
// The max-height offset when the logo is completely visible.
const menuHeightOffset_default = 162;
const menuHeightOffset_default = 154;
// The max-height offset when the logo is completely hidden.
const menuHeightOffset_fixed = 80;
const menuHeightOffset_fixed = 70;
// The distance between the two max-height offset values above; used for intermediate values.
const menuHeightOffset_diff = (menuHeightOffset_default - menuHeightOffset_fixed);