diff --git a/src/html_support_files/odoc.css b/src/html_support_files/odoc.css
index 92d4125d82..4aecd851bb 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: calc(var(--search-bar-height) + var(--search-padding-top) + 1em);
+
+  --main-background: #FFFFFF;
 
   --color: #333333;
   --link-color: #2C94BD;