https://ml1710bestcheapprice.blogspot.com/2024/02/making-nav-div-appear-when-scrolling.html