DOC: Link logo to main webpage. Add navigation side bar.

2026-08-12 12:30:16 +08:00 · 2012-02-08 13:02:41 -08:00
parent cbbc24b5d2
commit 18b76a661d
4 changed files with 23 additions and 3 deletions
@@ -151,9 +151,9 @@ html_static_path = ['_static']

 # Custom sidebar templates, maps document names to template names.
 html_sidebars = {
-   '**': ['localtoc.html',
+   '**': ['navigation.html',
+          'localtoc.html',
          'relations.html',
-          'sourcelink.html',
          'versions.html',
          'searchbox.html'],
 }