From 67d277e2d87dbe33b34b57b03497ac2229e257be Mon Sep 17 00:00:00 2001
From: prosazhin <prosazhin@gmail.com>
Date: Wed, 27 Sep 2023 17:44:39 +0200
Subject: [PATCH] docs: fixes anchor links
Signed-off-by: Evgenii Sazhin <prosazhin@gmail.com>
---
docs/assets/scss/theme/content.scss | 24 ++++++++++++++++++++++++
1 file changed, 24 insertions(+)
diff --git a/docs/assets/scss/theme/content.scss b/docs/assets/scss/theme/content.scss
index 8efd00c5cd4..2827731ba95 100644
--- a/docs/assets/scss/theme/content.scss
+++ b/docs/assets/scss/theme/content.scss
@@ -23,10 +23,26 @@
>h2:not(:first-child) {
margin-top: 48px;
+
+ // Scroll margin calculation for desktop:
+ // nav height (80px) + margin-top (48px)
+ scroll-margin-top: 128px;
+
+ @media screen and (max-width: 767px) {
+ scroll-margin-top: 48px;
+ }
}
>h2+h3 {
margin-top: 20px;
+
+ // Scroll margin calculation for desktop:
+ // nav height (80px) + margin-top (20px)
+ scroll-margin-top: 100px;
+
+ @media screen and (max-width: 767px) {
+ scroll-margin-top: 20px;
+ }
}
>h3,
@@ -36,6 +52,14 @@
margin-bottom: 12px;
margin-top: 28px !important;
font-weight: 600;
+
+ // Scroll margin calculation for desktop:
+ // nav height (80px) + margin-top (28px)
+ scroll-margin-top: 108px;
+
+ @media screen and (max-width: 767px) {
+ scroll-margin-top: 28px;
+ }
}
#whats-next {