diff --git a/docs/conf.py b/docs/conf.py
index 31251c5b4..4d5b31237 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -55,6 +55,7 @@
 html_theme_options = {
     'logo_only': True,
     'navigation_depth': 5,
+    'navigation_with_keys': True  # inherited from the basic theme
 }
 html_context = {}