From 366c8dcb016c82b5f06bb4ec8da9041050577228 Mon Sep 17 00:00:00 2001
From: Jordan Scales <scalesjordan@gmail.com>
Date: Tue, 21 Apr 2020 16:27:16 -0400
Subject: [PATCH] fix h3 margin

---
 docs/docs.css | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/docs/docs.css b/docs/docs.css
index 0339418..2db9fc8 100644
--- a/docs/docs.css
+++ b/docs/docs.css
@@ -53,7 +53,10 @@ h2 {
 }
 
 h3 {
-  margin-top: 20px;
+  /* Swap the margin for a top-padding so linking to this section
+     results in a better scroll position */
+  padding-top: 20px;
+  margin-top: 0;
   display: block;
   flex: 0 0 180px;
 }