Added patch to allow (fixed position) sidebar scrolling.
parent
5faabe4972
commit
46aae2c384
1
Makefile
1
Makefile
|
@ -34,3 +34,4 @@ python/bin/python3:
|
|||
source python/bin/activate ; pip install --upgrade pip ; pip 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
|
||||
|
|
|
@ -0,0 +1,12 @@
|
|||
--- python/lib/python3.7/site-packages/sphinx/themes/basic/static/basic.css_t 2018-10-27 10:35:32.000000000 +0200
|
||||
+++ python/lib/python3.7/site-packages/sphinx/themes/basic/static/basic.css_t.modified 2018-10-27 10:35:11.000000000 +0200
|
||||
@@ -54,6 +54,9 @@
|
||||
font-size: 90%;
|
||||
word-wrap: break-word;
|
||||
overflow-wrap : break-word;
|
||||
+ overflow-y: scroll;
|
||||
+ top: 0;
|
||||
+ bottom: 0;
|
||||
}
|
||||
|
||||
div.sphinxsidebar ul {
|
Loading…
Reference in New Issue