fix docs, attempt 2

LucaMarconato · LucaMarconato · commit b7b17f083468 · 2023-10-28T16:20:03.000+02:00
diff --git a/conf.py b/conf.py
@@ -131,6 +131,7 @@
 html_theme_options = {
     "repository_url": repository_url,
     "use_repository_button": True,
+    "navigation_with_keys": True,
 }
 
 pygments_style = "default"
@@ -155,6 +156,3 @@ def setup(app):
         },
         True,
     )
-
-
-navigation_with_keys = True

Original file line number	Diff line number	Diff line change
`@@ -131,6 +131,7 @@`
`131`	`131`	`html_theme_options = {`
`132`	`132`	`"repository_url": repository_url,`
`133`	`133`	`"use_repository_button": True,`
	`134`	`+ "navigation_with_keys": True,`
`134`	`135`	`}`
`135`	`136`
`136`	`137`	`pygments_style = "default"`
`@@ -155,6 +156,3 @@ def setup(app):`
`155`	`156`	`},`
`156`	`157`	`True,`
`157`	`158`	`)`
`158`		`-`
`159`		`-`
`160`		`-navigation_with_keys = True`