From afe02eb7ade24189b8c1eac83820a818ef71edfd Mon Sep 17 00:00:00 2001
From: Guillaume Gomez <guillaume1.gomez@gmail.com>
Date: Thu, 6 Jul 2023 10:53:08 +0200
Subject: [PATCH] Fix display of platforms list if there are too many

---
 templates/rustdoc/topbar.html |  2 +-
 templates/style/_navbar.scss  | 10 ++++++++++
 2 files changed, 11 insertions(+), 1 deletion(-)

diff --git a/templates/rustdoc/topbar.html b/templates/rustdoc/topbar.html
index 120212fff..71743a081 100644
--- a/templates/rustdoc/topbar.html
+++ b/templates/rustdoc/topbar.html
@@ -208,7 +208,7 @@
         </a>
 
         {# Build the dropdown list showing available targets #}
-        <ul class="pure-menu-children">
+        <ul class="pure-menu-children" id="platforms">
             {%- for target in metadata.doc_targets -%}
                 {#
                     The crate-detail page is the only page where we want to allow google to follow
diff --git a/templates/style/_navbar.scss b/templates/style/_navbar.scss
index bae93f9f7..4746ea7cb 100644
--- a/templates/style/_navbar.scss
+++ b/templates/style/_navbar.scss
@@ -341,6 +341,16 @@ div.nav-container {
             animation: rotating_text 2s linear infinite;
         }
     }
+
+    #platforms {
+        max-height: 75vh;
+        overflow-y: auto;
+
+        li a {
+            overflow-x: hidden;
+            text-overflow: ellipsis;
+        }
+    }
 }
 
 #nav-search {