Sidebar links should be a little farther apart.

2022-03-30 12:12:19 -07:00 · 2022-03-30 12:12:19 -07:00 · 4be45098a3
parent b5178dce9b
commit 4be45098a3
1 changed files with 4 additions and 0 deletions
--- 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;