From dfccb4316d3dd8be4940a8c2bc5d6182d483a1c4 Mon Sep 17 00:00:00 2001
From: Mads Ohm Larsen <mads.ohm@gmail.com>
Date: Fri, 6 Sep 2024 21:44:52 +0200
Subject: [PATCH] Add scroll-margin-top on all :target elements

---
 lib/rdoc/generator/template/darkfish/css/rdoc.css | 1 +
 1 file changed, 1 insertion(+)

diff --git a/lib/rdoc/generator/template/darkfish/css/rdoc.css b/lib/rdoc/generator/template/darkfish/css/rdoc.css
index 0032ac172a..13b6961bdb 100644
--- a/lib/rdoc/generator/template/darkfish/css/rdoc.css
+++ b/lib/rdoc/generator/template/darkfish/css/rdoc.css
@@ -84,6 +84,7 @@ h5:target,
 h6:target {
   margin-left: -10px;
   border-left: 10px solid #f1edba;
+  scroll-margin-top: 1rem;
 }
 
 /* 4. Links */