From 524dedfba8b2bf1d63291b5ec6a885ca60420b7a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?St=C3=A9phane=20Adjemian=20=28Charybdis=29?=
 <stepan@adjemian.io>
Date: Mon, 18 Feb 2019 22:43:07 +0100
Subject: [PATCH] Moved patch to custom.css.

---
 Makefile                      |  1 -
 src/source/_static/custom.css | 11 +++++++++++
 2 files changed, 11 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index eb74b704d..5e94b4f2a 100644
--- a/Makefile
+++ b/Makefile
@@ -42,7 +42,6 @@ python/bin/python3:
 	. python/bin/activate ; pip3 install --upgrade pip ; pip3 install sphinx recommonmark sphinx_rtd_theme
 	cp py/pygment/dynare.py python/lib/python3.*/site-packages/pygments/lexers/
 	cd python/lib/python3.*/site-packages/pygments/lexers ; python3 _mapping.py
-	patch -i py/basic.css_t.patch python/lib/python3.*/site-packages/sphinx/themes/basic/static/basic.css_t
 
 mathjax: src/source/_static/mathjax/MathJax.js
 	@touch src/source/_static/mathjax/MathJax.js
diff --git a/src/source/_static/custom.css b/src/source/_static/custom.css
index dcb67c1b5..4ad4dac55 100644
--- a/src/source/_static/custom.css
+++ b/src/source/_static/custom.css
@@ -1,3 +1,14 @@
+div.sphinxsidebar {
+    float: left;
+    width: 230px;
+    font-size: 90%;
+    word-wrap: break-word;
+    overflow-wrap : break-word;
+    overflow-y: scroll;
+    top: 0;
+    bottom: 0;
+}
+
 div.sphinxsidebarwrapper p.logo {
     padding: 0;
     margin: -10px 0 0 0px;
-- 
GitLab