From f2cace36820833b855a8617b4164e0728b0dabc2 Mon Sep 17 00:00:00 2001
From: Alessandro Iezzi <aiezzi@alessandroiezzi.it>
Date: Wed, 6 Jul 2022 12:43:56 +0200
Subject: Fix gap within anchors and fixed headers

Ref: https://stackoverflow.com/a/24298427
---
 assets/css/theme.css | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/assets/css/theme.css b/assets/css/theme.css
index d4f06f0..d7f90f4 100644
--- a/assets/css/theme.css
+++ b/assets/css/theme.css
@@ -166,6 +166,14 @@ div.critical, div.critical {
     padding: 3pt 7pt;
 }
 
+[id]::before {
+  content: '';
+  display: block;
+  height:      75px;
+  margin-top: -75px;
+  visibility: hidden;
+}
+
 
 
 
-- 
cgit v1.2.3