Moved patch to custom.css.

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

src/source/_static/custom.css

+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;