From 9a3747d307e48f053e246c6bf8f23d00a0da1b67 Mon Sep 17 00:00:00 2001
From: lethosor <lethosor@gmail.com>
Date: Fri, 3 Jul 2020 20:42:23 -0400
Subject: [PATCH] Make sidebar fixed

---
 conf.py                | 1 +
 docs/styles/dfhack.css | 9 +++++++++
 2 files changed, 10 insertions(+)

diff --git a/conf.py b/conf.py
index c36e4f8aa..9f497fb57 100644
--- a/conf.py
+++ b/conf.py
@@ -297,6 +297,7 @@ html_theme_options = {
     'github_repo': 'dfhack',
     'github_button': False,
     'travis_button': False,
+    'fixed_sidebar': True,
 }
 
 # The name for this set of Sphinx documents.  If None, it defaults to
diff --git a/docs/styles/dfhack.css b/docs/styles/dfhack.css
index d12348c31..bfe37720d 100644
--- a/docs/styles/dfhack.css
+++ b/docs/styles/dfhack.css
@@ -46,3 +46,12 @@ div.body p, div.body dd, div.body li, div.body blockquote {
     -webkit-hyphens: manual;
     hyphens: manual;
 }
+
+div.sphinxsidebar {
+    max-height: 100%;
+    overflow-y: auto;
+}
+
+div.sphinxsidebar h3 > a {
+    border-bottom: 1px dotted #999;
+}