[issue3143] development docs waste a lot of horizontal space on left nav bar

[Georg Brandl]

Georg Brandl <georg at python.org> added the comment:

I know about this and will think about possible ways out of it. Of
course if someone has a patch it will probably be faster.

----------
components: +Documentation tools (Sphinx)

_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue3143>
_______________________________________