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

[Roger Demetrescu]

Changes by Roger Demetrescu <roger.demetrescu at gmail.com>:


----------
nosy: +rdemetrescu

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