diff -r 63e6afd3ff1f Doc/tools/sphinxext/indexsidebar.html --- a/Doc/tools/sphinxext/indexsidebar.html Fri Apr 04 09:51:45 2014 -0400 +++ b/Doc/tools/sphinxext/indexsidebar.html Mon Jun 02 15:28:23 2014 +0200 @@ -3,15 +3,16 @@