diff -r b9913eb96643 Doc/tools/sphinxext/indexsidebar.html --- a/Doc/tools/sphinxext/indexsidebar.html Fri Apr 04 09:50:35 2014 -0400 +++ b/Doc/tools/sphinxext/indexsidebar.html Mon Jun 02 15:47:32 2014 +0200 @@ -3,15 +3,22 @@