From 542f938ce288f747499b75612a96abb2c58f6647 Mon Sep 17 00:00:00 2001
From: Nick Craig-Wood <nick@craig-wood.com>
Date: Sun, 9 Jul 2017 17:29:57 +0100
Subject: [PATCH] website: Decrease spacing between menu items

...as they were overflowing the page before.  Thanks to Amy Craig-Wood
for CSS wrangling!
---
 docs/static/css/custom.css | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/docs/static/css/custom.css b/docs/static/css/custom.css
index a16c8b02d..db7d88b51 100644
--- a/docs/static/css/custom.css
+++ b/docs/static/css/custom.css
@@ -39,3 +39,9 @@ h5:hover .header-link,
 h6:hover .header-link {
   opacity: 1;
 }
+
+/* Fix spacing between menu items */
+.navbar-default .dropdown-menu>li>a {
+  padding-top: 6px;
+  padding-bottom: 6px;
+}