From 35e910781df0bff2f690c7d95a76277a375e8de4 Mon Sep 17 00:00:00 2001
From: MFraters <menno.fraters@tutanota.com>
Date: Thu, 13 Apr 2023 12:56:42 -0700
Subject: [PATCH] Remove extra_navbar from sphinx conf.py

---
 doc/sphinx/conf.in.py | 1 -
 doc/sphinx/conf.py    | 1 -
 2 files changed, 2 deletions(-)

diff --git a/doc/sphinx/conf.in.py b/doc/sphinx/conf.in.py
index dc4dfa3ce..0f329d4ad 100644
--- a/doc/sphinx/conf.in.py
+++ b/doc/sphinx/conf.in.py
@@ -78,7 +78,6 @@
     "use_edit_page_button": True,
     "use_issues_button": True,
     "home_page_in_toc":False,
-    "extra_navbar": "",
     "extra_footer":"Built with <a href='https://www.sphinx-doc.org/'>Sphinx</a> using a theme provided by <a href='https://ebp.jupyterbook.org/'>Executable Book Project</a>",
 }
 
diff --git a/doc/sphinx/conf.py b/doc/sphinx/conf.py
index 6a8b38dd6..cb7435fcf 100644
--- a/doc/sphinx/conf.py
+++ b/doc/sphinx/conf.py
@@ -77,7 +77,6 @@
     "use_edit_page_button": True,
     "use_issues_button": True,
     "home_page_in_toc":False,
-    "extra_navbar": "",
     "extra_footer":"Built with <a href='https://www.sphinx-doc.org/'>Sphinx</a> using a theme provided by <a href='https://ebp.jupyterbook.org/'>Executable Book Project</a>",
 }