From f919962182cb1eb392cbae64d0a0b22d411001e7 Mon Sep 17 00:00:00 2001 From: Scott Huberty <52462026+scott-huberty@users.noreply.github.com> Date: Fri, 23 Aug 2024 02:28:10 -0700 Subject: [PATCH] FIX: Workaround header dropdown rendering issue (#1298) * FIX: explicitly set the number of items that should appear in the header. This suppresses a dropdown from kicking in after 5 items, effectively creating a dropdown with only 1 item. Instead, this just shows all 6 items in the header bar. Closes #1295 , which raised an issue with the rendering of the dropdown. If a dropdown is ever introduced again, this issue may rear its head again. * FIX: html_theme_options already defined --- doc/conf.py | 1 + 1 file changed, 1 insertion(+) diff --git a/doc/conf.py b/doc/conf.py index 38db22561..b16ccd6bf 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -145,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": {