From 42191a36abe90b09b984bafbc552c62b951e7eef Mon Sep 17 00:00:00 2001
From: oobabooga <112222186+oobabooga@users.noreply.github.com>
Date: Tue, 8 Jul 2025 07:08:23 -0700
Subject: [PATCH] Keep navigation icons visible when switching versions

---
 js/main.js | 13 ++++++++-----
 1 file changed, 8 insertions(+), 5 deletions(-)

diff --git a/js/main.js b/js/main.js
index e5b14d8e..138569c0 100644
--- a/js/main.js
+++ b/js/main.js
@@ -147,11 +147,15 @@ window.isScrolled = false;
 let scrollTimeout;
 
 targetElement.addEventListener("scroll", function() {
-  // Add scrolling class to disable hover effects
-  targetElement.classList.add("scrolling");
-
   let diff = targetElement.scrollHeight - targetElement.clientHeight;
-  if(Math.abs(targetElement.scrollTop - diff) <= 10 || diff == 0) {
+  let isAtBottomNow = Math.abs(targetElement.scrollTop - diff) <= 10 || diff == 0;
+
+  // Add scrolling class to disable hover effects
+  if (window.isScrolled || !isAtBottomNow) {
+    targetElement.classList.add("scrolling");
+  }
+
+  if(isAtBottomNow) {
     window.isScrolled = false;
   } else {
     window.isScrolled = true;
@@ -163,7 +167,6 @@ targetElement.addEventListener("scroll", function() {
     targetElement.classList.remove("scrolling");
     doSyntaxHighlighting(); // Only run after scrolling stops
   }, 150);
-
 });
 
 // Create a MutationObserver instance