FIX: html_theme_options already defined

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": {