update to pst 0.14.2

OriolAbril · Oct 29, 2023 · 2d0b8a0 · 2d0b8a0
1 parent 6cdb81a
commit 2d0b8a0
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/sphinx_source/conf.py b/sphinx_source/conf.py
@@ -117,6 +117,7 @@ def setup(app):
 
 html_theme_options = {
     "use_edit_page_button": False,
+    "navigation_with_keys": False,
     "icon_links": [
         {
             "name": "GitHub",