From 078cf19d945ec8ba1a209abd744c0a9fd77cf72d Mon Sep 17 00:00:00 2001
From: Mike J Innes <mike.j.innes@gmail.com>
Date: Fri, 9 Feb 2018 18:46:19 +0000
Subject: [PATCH] nicer initial h2s

---
 flux.css | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/flux.css b/flux.css
index 622e7266..28633d8e 100644
--- a/flux.css
+++ b/flux.css
@@ -6,6 +6,10 @@ nav.toc {
   user-select: none;
 }
 
+h1+h2 {
+  margin-top: 0;
+}
+
 /* Green banner in ToC */
 nav.toc > h1 {
   margin-top: 0;