From 894e8d2fc70e29acb516e85469e06458d9cf3688 Mon Sep 17 00:00:00 2001
From: "Julio C. Estrada" <estradacjulio@gmail.com>
Date: Mon, 14 Apr 2025 18:26:18 -0400
Subject: [PATCH] fix docs anchor scrolling with custom margins (#1751)

---
 templates/docsiframe.html | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

diff --git a/templates/docsiframe.html b/templates/docsiframe.html
index c3e3305d..ed35e9ff 100644
--- a/templates/docsiframe.html
+++ b/templates/docsiframe.html
@@ -7,6 +7,7 @@
         id="docsiframe"
     ></iframe>
     <script>
+      debugger;
       function iframeCustomizations(iframe) {
         let iframeDoc = iframe.contentDocument || iframe.contentWindow.document;
         {#resizeIframe(iframe);#}
@@ -24,7 +25,17 @@
       function scrollToAnchor(iframeDoc, hash) {
         const targetElement = iframeDoc.getElementById(hash);
         if (targetElement) {
-          targetElement.scrollIntoView({behavior: 'smooth'});
+          // Add space above the target element - more space on mobile
+          const isMobile = window.innerWidth < 768;
+          const topMargin = isMobile ? 50 : 14;
+
+          const y = targetElement.getBoundingClientRect().top +
+                    iframeDoc.defaultView.pageYOffset - topMargin;
+
+          iframeDoc.defaultView.scrollTo({
+            top: y,
+            behavior: 'smooth'
+          });
         }
       }