Set navigation_with_keys to False (#7129)

This commit is contained in:
Jeremy Tuloup 2023-10-27 09:06:47 +02:00 committed by GitHub
parent d717c6b361
commit ea1a1538ef
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -203,6 +203,7 @@ html_theme_options = {
"image_dark": "_static/logo-rectangle-dark.svg",
},
"use_edit_page_button": True,
"navigation_with_keys": False,
}
# Output for github to be used in links