Force refresh of scrollbar when toggling

Fixes #1455

Author: dragonstyle

src/resources/formats/html/templates/quarto-html.ejs

@@ -82,6 +82,17 @@ window.document.addEventListener("DOMContentLoaded", function (event) {
         }
       }
     }
+
+    // Hack to workaround the fact that safari doesn't
+    // properly recolor the scrollbar when toggling (#1455)
+    if (navigator.userAgent.indexOf('Safari') > 0 && navigator.userAgent.indexOf('Chrome') == -1) {
+      manageTransitions("body", false);
+      window.scrollTo(0, 1);
+      setTimeout(() => {
+        window.scrollTo(0, 0);
+        manageTransitions("body", true);
+      }, 40);  
+    }
   }
 
   const isFileUrl = () => {