Message174843
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. |
|
Date |
User |
Action |
Args |
2012-11-04 23:31:54 | ezio.melotti | set | recipients:
+ ezio.melotti, georg.brandl, terry.reedy, orsenthil |
2012-11-04 23:31:54 | ezio.melotti | set | messageid: <1352071914.32.0.236073234104.issue4965@psf.upfronthosting.co.za> |
2012-11-04 23:31:54 | ezio.melotti | link | issue4965 messages |
2012-11-04 23:31:53 | ezio.melotti | create | |
|