From 45c3871d6fde22197fb675f877f461c75575f49f Mon Sep 17 00:00:00 2001
From: David Wilson <dw@botanicus.net>
Date: Tue, 12 Feb 2019 03:45:19 +0000
Subject: [PATCH] docs: tighter <p> margins, even less shouting, red headings

---
 docs/_static/style.css | 17 ++++++++++++++---
 1 file changed, 14 insertions(+), 3 deletions(-)

diff --git a/docs/_static/style.css b/docs/_static/style.css
index 0738fdb1..667d7cf2 100644
--- a/docs/_static/style.css
+++ b/docs/_static/style.css
@@ -11,9 +11,19 @@ body {
     font-size: 130% !important;
 }
 
+img + p,
+h1 + p,
+h2 + p,
+h3 + p,
+h4 + p,
+h5 + p
+{
+    margin-top: 0;
+}
+
 .body h1 { font-size: 200% !important; }
-.body h2 { font-size: 175% !important; }
-.body h3 { font-size: 150% !important; }
+.body h2 { font-size: 165% !important; }
+.body h3 { font-size: 145% !important; }
 .body h4 { font-size: 125% !important; }
 .body h5 { font-size: 125% !important; }
 
@@ -22,7 +32,8 @@ body {
 .body h3,
 .body h4,
 .body h5 {
-    margin-top: 20px !important;
+    margin-top: 25px !important;
+    color: #7f0000;
 }
 
 .body h1 {