diff --git a/Makefile b/Makefile index eb74b704d8b1736125d68e46e2747c13981dfcb6..5e94b4f2a24b919b9284431a6cb43335ba5357dc 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 dcb67c1b5334b4b4be08a523d445bf79fce5efe6..4ad4dac55e0979389fe82648d5c6a66bfc68a4ee 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;