From 1f0f0682b49aa4941f93ec8bb661af7f93723e3e Mon Sep 17 00:00:00 2001
From: Scott Huberty <seh33@uw.edu>
Date: Wed, 21 Aug 2024 10:04:01 -0700
Subject: [PATCH] FIX: html_theme_options already defined

---
 doc/conf.py | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/doc/conf.py b/doc/conf.py
index d7790de06..b16ccd6bf 100644
--- a/doc/conf.py
+++ b/doc/conf.py
@@ -124,11 +124,6 @@
 html_static_path = ["_static"]
 html_css_files = ["style.css"]
 
-# The number of items that will appear in the header before the dropdown menu kicks in
-html_theme_options = {
-  "header_links_before_dropdown": 6,
-}
-
 # Theme options are theme-specific and customize the look and feel of a theme
 # further.  For a list of options available for each theme, see the
 # documentation.
@@ -150,6 +145,7 @@
     "use_edit_page_button": False,
     "navigation_with_keys": False,
     "show_toc_level": 1,
+    "header_links_before_dropdown": 6,
     "navbar_end": ["theme-switcher", "version-switcher", "navbar-icon-links"],
     "analytics": dict(google_analytics_id="G-C8SH9E98QC"),
     "switcher": {