From a242e79fe80ff1bc53937b22d798486264188132 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Carlson=20B=C3=BCth?= Date: Wed, 12 Aug 2026 16:00:35 +0200 Subject: [PATCH] fix(docs): remove header search button so it stops pushing the navbar on scroll --- docs/conf.py | 1 + 1 file changed, 1 insertion(+) diff --git a/docs/conf.py b/docs/conf.py index c13e9a7..46b21a1 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -74,6 +74,7 @@ "use_repository_button": True, "use_download_button": True, "path_to_docs": "docs", + "navbar_persistent": [], # "home_page_in_toc": True, # "launch_buttons": { # "binderhub_url": "https://mybinder.org",