From 5ec42736f3f17e9f5432063b4cc17e6ad9a75713 Mon Sep 17 00:00:00 2001
From: Fabian Mastenbroek <mail.fabianm@gmail.com>
Date: Wed, 28 Oct 2020 00:03:05 +0100
Subject: Use scroll-padding for aligning anchors

This change is one in a series of patches to remove the use of jQuery.
Here, we can utilize the scroll-padding CSS property to align anchors
properly in presence of a fixed top header.
---
 frontend/src/index.sass | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'frontend/src/index.sass')

diff --git a/frontend/src/index.sass b/frontend/src/index.sass
index 77acc23a..efb2bed5 100644
--- a/frontend/src/index.sass
+++ b/frontend/src/index.sass
@@ -10,6 +10,9 @@ html, body, #root
     font-family: Roboto, Helvetica, Verdana, sans-serif
     background: #eee
 
+    // Scroll padding for top navbar
+    scroll-padding-top: 60px
+
 .full-height
     position: relative
     height: 100% !important
-- 
cgit v1.2.3