diff --git a/doc/_themes/sphinx-theme-okfn b/doc/_themes/sphinx-theme-okfn index 3c912d26ad8..e2722286d64 160000 --- a/doc/_themes/sphinx-theme-okfn +++ b/doc/_themes/sphinx-theme-okfn @@ -1 +1 @@ -Subproject commit 3c912d26ad863a9cdadf89a47f63aef41d6c095b +Subproject commit e2722286d647df9e79c723aa469198cace34e36d diff --git a/doc/conf.py b/doc/conf.py index 3b672dbb940..0ff3acff9cf 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -118,7 +118,7 @@ } html_sidebars = { - '**': ['globaltoc.html'] + '**': ['localtoc.html', 'globaltoc.html'] } # The style sheet to use for HTML and HTML Help pages. A file of that name