From 676f756153b0687cfca126ab121739ca9b0582dc Mon Sep 17 00:00:00 2001
From: David Wilson <dw@botanicus.net>
Date: Tue, 12 Feb 2019 04:10:34 +0000
Subject: [PATCH] docs: more margin tweaks for changelog

---
 docs/_static/style.css | 12 ++++++++----
 docs/changelog.rst     |  2 +-
 2 files changed, 9 insertions(+), 5 deletions(-)

diff --git a/docs/_static/style.css b/docs/_static/style.css
index 667d7cf2..98dd4bac 100644
--- a/docs/_static/style.css
+++ b/docs/_static/style.css
@@ -21,18 +21,22 @@ h5 + p
     margin-top: 0;
 }
 
+.section > h3:first-child {
+    margin-top: 15px !important;
+}
+
 .body h1 { font-size: 200% !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; }
+.body h3 { font-size: 125% !important; }
+.body h4 { font-size: 110% !important; font-weight: bold; }
+.body h5 { font-size: 100% !important; font-weight: bold; }
 
 .body h1,
 .body h2,
 .body h3,
 .body h4,
 .body h5 {
-    margin-top: 25px !important;
+    margin-top: 30px !important;
     color: #7f0000;
 }
 
diff --git a/docs/changelog.rst b/docs/changelog.rst
index 635115e7..422e3eca 100644
--- a/docs/changelog.rst
+++ b/docs/changelog.rst
@@ -10,7 +10,7 @@ Release Notes
     <style>
         div#release-notes h2 {
             border-bottom: 1px dotted #c0c0c0;
-            margin-top: 40px;
+            margin-top: 50px !important;
         }
     </style>