From e33b139cd6a37ee01d47a0983f571be11a3ae1e3 Mon Sep 17 00:00:00 2001
From: Guillaume Gomez <guillaume1.gomez@gmail.com>
Date: Tue, 13 May 2025 22:54:57 +0200
Subject: [PATCH 1/3] Rename sub menu label containing docs.rs information
 "docs.rs"

---
 templates/header/topbar_end.html | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

diff --git a/templates/header/topbar_end.html b/templates/header/topbar_end.html
index 92b7cfa4e..d7bea1dbc 100644
--- a/templates/header/topbar_end.html
+++ b/templates/header/topbar_end.html
@@ -6,9 +6,9 @@
 
                 <ul class="pure-menu-list">
                     {#
-                    The Rust dropdown menu
+                    The docs.rs dropdown menu
                     #}<li class="pure-menu-item pure-menu-has-children">
-                        <a href="#" class="pure-menu-link" aria-label="Rust">Rust</a>
+                        <a href="#" class="pure-menu-link" aria-label="docs.rs">docs.rs</a>
                         <ul class="pure-menu-children">
                             {% call macros::menu_link(
                                 href="/about",
@@ -20,6 +20,14 @@
                                 text="Privacy policy",
                                 target="_blank"
                             ) %}
+                        </ul>
+                    </li>
+                </ul>
+                <ul class="pure-menu-list">{#
+                    The Rust dropdown menu
+                    #}<li class="pure-menu-item pure-menu-has-children">
+                        <a href="#" class="pure-menu-link" aria-label="Rust">Rust</a>
+                        <ul class="pure-menu-children">
                             {% call macros::menu_link(
                                 href="https://www.rust-lang.org/",
                                 text="Rust website",

From a4d329d3e4c9fc0413dcd2a41b76b2192c0f5e93 Mon Sep 17 00:00:00 2001
From: Guillaume Gomez <guillaume1.gomez@gmail.com>
Date: Sat, 17 May 2025 10:38:57 +0200
Subject: [PATCH 2/3] Kill server once done running GUI test

---
 dockerfiles/run-gui-tests.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/dockerfiles/run-gui-tests.sh b/dockerfiles/run-gui-tests.sh
index 2c1963342..133368fe2 100755
--- a/dockerfiles/run-gui-tests.sh
+++ b/dockerfiles/run-gui-tests.sh
@@ -38,4 +38,5 @@ SERVER_PID=$!
 # status="docker run . -v `pwd`:/build/out:ro gui_tests"
 docker compose run gui_tests
 status=$?
+kill $SERVER_PID
 exit $status

From 39b61cc12f5bbd55175cebf0c47a3664fe4f5358 Mon Sep 17 00:00:00 2001
From: Guillaume Gomez <guillaume1.gomez@gmail.com>
Date: Sat, 17 May 2025 10:40:08 +0200
Subject: [PATCH 3/3] Update CSS to work with new menus

---
 templates/style/_navbar.scss | 18 ++++++++++++++++--
 1 file changed, 16 insertions(+), 2 deletions(-)

diff --git a/templates/style/_navbar.scss b/templates/style/_navbar.scss
index bd173f8ea..128ca2f4b 100644
--- a/templates/style/_navbar.scss
+++ b/templates/style/_navbar.scss
@@ -138,8 +138,22 @@ div.nav-container {
             outline: unset;
         }
 
-        .docsrs-logo, .pure-menu-item a.pure-menu-link, .pure-menu-item .pure-menu-text {
-            padding: 6.4px 16px 6.4px 16px;
+        .pure-menu-item a.pure-menu-link {
+            padding: 6.4px 5px 6.4px 5px;
+
+            @media #{$media-sm} {
+                padding: 6.4px 10px 6.4px 10px;
+            }
+        }
+
+        .docsrs-logo, .pure-menu-item .pure-menu-text {
+            padding: 6.4px 10px 6.4px 10px;
+        }
+
+        @media #{$media-md} {
+            .docsrs-logo, .pure-menu-item .pure-menu-text, .pure-menu-item a.pure-menu-link {
+                padding: 6.4px 16px 6.4px 16px;
+            }
         }
 
         .pure-menu-link, .pure-menu-text {