From 4be45098a350765de0b59740ca05d15cff3ca1db Mon Sep 17 00:00:00 2001
From: Simon Forman <sforman@hushmail.com>
Date: Wed, 30 Mar 2022 12:12:19 -0700
Subject: [PATCH] Sidebar links should be a little farther apart.

---
 docs/sphinx_docs/_static/basic.css | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/docs/sphinx_docs/_static/basic.css b/docs/sphinx_docs/_static/basic.css
index 603f6a8..ac9a52a 100644
--- a/docs/sphinx_docs/_static/basic.css
+++ b/docs/sphinx_docs/_static/basic.css
@@ -66,6 +66,10 @@ div.sphinxsidebar ul {
     list-style: none;
 }
 
+div.sphinxsidebar li {
+	padding-bottom: 0.5em;
+}
+
 div.sphinxsidebar ul ul,
 div.sphinxsidebar ul.want-points {
     margin-left: 20px;
-- 
2.11.0