From 2b12e914cb5e19a506cc090ddd1ba88bc7b3aed9 Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Mon, 21 Sep 2020 18:46:26 -0400
Subject: Add more space around headers, and an underline

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

(limited to 'docs')

diff --git a/docs/style.css b/docs/style.css
index c9e2adc1..3f1e41b2 100644
--- a/docs/style.css
+++ b/docs/style.css
@@ -15,8 +15,11 @@ body {
   text-align: right;
   margin-bottom: -2em;
 }
-h1, h2, h3 {
+h1, h2, h3, h4 {
   line-height: 1.2;
+  margin: 2.5rem 0 1rem 0;
+  padding-bottom: 0.1em;
+  border-bottom: 0.01em solid #9995
 }
 
 table {
-- 
cgit v1.2.3