Change header links before dropdown to 5

Greg · Greg · commit 8574d98ea3ed · 2024-10-31T10:08:51.000+01:00
diff --git a/docs/source/conf.py b/docs/source/conf.py
@@ -172,7 +172,7 @@
 # further.  For a list of options available for each theme, see the
 # documentation.
 html_theme_options = {
-    "header_links_before_dropdown": 4,
+    "header_links_before_dropdown": 5,
     "icon_links": [
         {
             "name": "jupyter.org",

Original file line number	Diff line number	Diff line change
`@@ -172,7 +172,7 @@`
`172`	`172`	`# further. For a list of options available for each theme, see the`
`173`	`173`	`# documentation.`
`174`	`174`	`html_theme_options = {`
`175`		`- "header_links_before_dropdown": 4,`
	`175`	`+ "header_links_before_dropdown": 5,`
`176`	`176`	`"icon_links": [`
`177`	`177`	`{`
`178`	`178`	`"name": "jupyter.org",`