This issue tracker has been migrated to GitHub, and is currently read-only.
For more information, see the GitHub FAQs in the Python's Developer Guide.

Author ezio.melotti
Recipients ezio.melotti, georg.brandl, orsenthil, terry.reedy
Date 2012-11-04.23:31:53
SpamBayes Score -1.0
Marked as misclassified Yes
Message-id <[email protected]>
In-reply-to
Content
The attached patch makes the sidebar fixed and adds a scrollbar to scroll it separately when it's longer than the page.

To test the patch without rebuilding all the Docs you can do something like:
hg import --no-c <url-of-the-patch>
cp Doc/tools/sphinxext/static/basic.css Doc/build/html/_static/basic.css
firefox Doc/build/html/library/multiprocessing.html

Since the sidebar doesn't start at the top of the page because there's the header first, when the main page is scrolled down, some empty space is left over the sidebar.  I think this can't be fixed with css alone (unless some major changes are done to the layout), it could be fixed with js or the header could use position:fixed too.
History
Date User Action Args
2012-11-04 23:31:54ezio.melottisetrecipients: + ezio.melotti, georg.brandl, terry.reedy, orsenthil
2012-11-04 23:31:54ezio.melottisetmessageid: <[email protected]>
2012-11-04 23:31:54ezio.melottilinkissue4965 messages
2012-11-04 23:31:53ezio.melotticreate