Removed useless patch file since 524dedf.

2019-02-19 09:15:26 +01:00 · 2019-02-19 09:15:26 +01:00 · f4ce25c982
parent 3acf4d6a83
commit f4ce25c982
1 changed files with 0 additions and 12 deletions
--- a/py/basic.css_t.patch
+++ b/py/basic.css_t.patch
@ -1,12 +0,0 @@
--- 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 {