From 2f1a31c61db9aa4856beb0645fd7b1369753ddce Mon Sep 17 00:00:00 2001
From: MarieS-WiMLDS <79304610+MarieS-WiMLDS@users.noreply.github.com>
Date: Tue, 24 Dec 2024 09:50:06 +0100
Subject: [PATCH] chore: Allow for 5 menus on the top bar of docs (#1015)
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

I found it ugly to have a "more" button for just one submenu.
We can switch back to only 4 main menus shown once we have several
things to put in the submenu.
![Capture d’écran du 2024-12-23
18-15-00](https://github.com/user-attachments/assets/dc6630d7-1b86-4f9e-b6e7-97645ec52d90)
---
 sphinx/conf.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sphinx/conf.py b/sphinx/conf.py
index 2044f6d6b..327b7ab1a 100644
--- a/sphinx/conf.py
+++ b/sphinx/conf.py
@@ -109,7 +109,7 @@
             "name": "Probabl website",
         },
     ],
-    "header_links_before_dropdown": 4,
+    "header_links_before_dropdown": 5,
     "icon_links": [
         {
             "name": "Twitter",