diff -r 23add5382fb3 Doc/tools/sphinxext/indexsidebar.html --- a/Doc/tools/sphinxext/indexsidebar.html Wed Mar 12 18:05:53 2014 -0500 +++ b/Doc/tools/sphinxext/indexsidebar.html Mon Jun 02 15:46:21 2014 +0200 @@ -3,20 +3,22 @@