From da2edc2e19e81ce5d0273a72e1dbee701e2ccc29 Mon Sep 17 00:00:00 2001 From: Emile Trotignon Date: Tue, 5 Dec 2023 16:26:25 +0100 Subject: [PATCH 1/2] fixes anchor appearing bellow search bar --- src/html_support_files/odoc.css | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/html_support_files/odoc.css b/src/html_support_files/odoc.css index 92d4125d82..1138fefbbe 100644 --- a/src/html_support_files/odoc.css +++ b/src/html_support_files/odoc.css @@ -95,7 +95,10 @@ :root, .light:root { - --main-background: #FFFFFF; + + scroll-padding-top: 100px; + + --main-background: #FFFFFF; --color: #333333; --link-color: #2C94BD; From 96ef7e9240e8d753eb4fe1fac4549e59171f3da8 Mon Sep 17 00:00:00 2001 From: Emile Trotignon Date: Wed, 6 Dec 2023 15:31:34 +0100 Subject: [PATCH 2/2] scroll top now the size of the searchbar --- src/html_support_files/odoc.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/html_support_files/odoc.css b/src/html_support_files/odoc.css index 1138fefbbe..4aecd851bb 100644 --- a/src/html_support_files/odoc.css +++ b/src/html_support_files/odoc.css @@ -96,7 +96,7 @@ :root, .light:root { - scroll-padding-top: 100px; + scroll-padding-top: calc(var(--search-bar-height) + var(--search-padding-top) + 1em); --main-background: #FFFFFF;