commit | befaac03bbf7bdc8e34f722072931c2e4a2408b5 | [log] [tgz] |
---|---|---|
author | Ezio Melotti <ezio.melotti@gmail.com> | Sat Nov 03 18:29:16 2012 +0200 |
committer | Ezio Melotti <ezio.melotti@gmail.com> | Sat Nov 03 18:29:16 2012 +0200 |
tree | a1800a43e2b50b9b9d7799ef6647138d465cc68e | |
parent | fafa8b7797034aa799157172392a5b7721e1854a [diff] | |
parent | dedfa9bfaec868af2099b44e68bd98ebd5075062 [diff] |
#4711: merge with 3.2.
diff --git a/Doc/tools/sphinxext/static/basic.css b/Doc/tools/sphinxext/static/basic.css index 65aa5f1..5708b4d 100644 --- a/Doc/tools/sphinxext/static/basic.css +++ b/Doc/tools/sphinxext/static/basic.css
@@ -39,6 +39,7 @@ div.sphinxsidebarwrapper { padding: 10px 5px 0 10px; + word-wrap: break-word; } div.sphinxsidebar {