diff --git a/docs/conf.py b/docs/conf.py index be5a933f..02732733 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -111,10 +111,7 @@ html_static_path = ["_static"] html_title = project_name -html_theme_options = { - "repository_url": repository_url, - "use_repository_button": True, -} +html_theme_options = {"repository_url": repository_url, "use_repository_button": True, "navigation_with_keys": True} pygments_style = "default"