From cfcfbc35d8c7423fb6a55e3743d13dd92c7e3ee4 Mon Sep 17 00:00:00 2001
From: Robert Chisholm <robert.chisholm@sheffield.ac.uk>
Date: Mon, 25 Nov 2024 14:00:28 +0000
Subject: [PATCH] Add html::scroll-padding-top:80px to css

Haven't tested this is actually the right place to inject the css rule, but should be fine (worst case it has no effect here).

Closes #841
---
 _sass/theme/_base.scss | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/_sass/theme/_base.scss b/_sass/theme/_base.scss
index a0f2de8a..1cb01f67 100644
--- a/_sass/theme/_base.scss
+++ b/_sass/theme/_base.scss
@@ -21,6 +21,11 @@
     font-style: monospace;
   }
 
+html {
+    /* Notify web browser of the static header, so anchors offset */
+    scroll-padding-top: 80px;
+}
+
 body {
     font-family: 'uos-sans', arial, sans-serif;   
     color: $text-color;