diff --git a/_static/css/custom.css b/_static/css/custom.css index eb798d7..d23e98b 100644 --- a/_static/css/custom.css +++ b/_static/css/custom.css @@ -1446,6 +1446,7 @@ p + .classref-constant { /* Navigational sidebar */ .wy-nav-side { + padding-bottom: 0; !important; background-color: var(--navbar-background-color); } diff --git a/_static/js/custom.js b/_static/js/custom.js index d028dd0..8b8fe33 100644 --- a/_static/js/custom.js +++ b/_static/js/custom.js @@ -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);