diff --git a/docs/source/conf.py b/docs/source/conf.py
index 902e84c393..1dca7374e5 100644
--- a/docs/source/conf.py
+++ b/docs/source/conf.py
@@ -143,7 +143,9 @@ html_theme = 'sphinx_rtd_theme'
 # Theme options are theme-specific and customize the look and feel of a theme
 # further.  For a list of options available for each theme, see the
 # documentation.
-#html_theme_options = {}
+html_theme_options = {
+    'navigation_with_keys': True
+}
 
 # Add any paths that contain custom themes here, relative to this directory.
 #html_theme_path = []