michaelh/zephyr
1
0
Fork 0
Code Releases Activity

doc: adjust scrolling settings

Browse source 
Some users reported issues on Windows regarding navigation bar title
location. Scroll values have been adjusted to fix the problem. Tested on
both Linux and Windows (Chromium/Firefox).

Signed-off-by: Gerard Marull-Paretas <gerard.marull@nordicsemi.no>
This commit is contained in:
Gerard Marull-Paretas 2021-04-21 16:49:58 +02:00 • committed by Anas Nashif
commit 9553e25844
1 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

8
doc/_static/js/custom.js vendored
View file

@ -15,13 +15,13 @@ const registerOnScrollEvent = (function(){
// Configuration.
// The number of pixels the user must scroll by before the logo is completely hidden.
const scrollTopPixels = 129;
const scrollTopPixels = 148;
// The target margin to be applied to the navigation bar when the logo is hidden.
const menuTopMargin = 90;
const menuTopMargin = 80;
// The max-height offset when the logo is completely visible.
const menuHeightOffset_default = 232;
const menuHeightOffset_default = 230;
// The max-height offset when the logo is completely hidden.
const menuHeightOffset_fixed = 102;
const menuHeightOffset_fixed = 90;
// The distance between the two max-height offset values above; used for intermediate values.
const menuHeightOffset_diff = (menuHeightOffset_default - menuHeightOffset_fixed);