From ae35eeb0e0f599eea302c4efbfb178298a82c877 Mon Sep 17 00:00:00 2001
From: Mohammed Taha Khan <mohammed.taha.khan@cern.ch>
Date: Thu, 9 Apr 2026 15:35:41 +0200
Subject: [PATCH] docs(css): fix TOC anchor offset under sticky header

---
 docs/stylesheets/extra.css | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/docs/stylesheets/extra.css b/docs/stylesheets/extra.css
index 6ecdddc..c51578e 100644
--- a/docs/stylesheets/extra.css
+++ b/docs/stylesheets/extra.css
@@ -40,6 +40,17 @@
   color: #333;
 }
 
+/* Keep TOC anchor jumps clear of the sticky header */
+.md-typeset :target {
+  --md-scroll-margin: 4.35rem;
+}
+
+@media screen and (min-width: 76.25em) {
+  .md-header--lifted ~ .md-container .md-typeset :target {
+    --md-scroll-margin: 4.35rem;
+  }
+}
+
 /* Images with shadow */
 .md-typeset img {
   display: block;