remove 'hide search matches' button

floriankozikowski · floriankozikowski · commit 22990993f887 · 2025-04-24T10:18:06.000+02:00
diff --git a/doc/_static/style.css b/doc/_static/style.css
@@ -61,6 +61,15 @@ code {
     margin-bottom: 0 !important;
 }
 
+/* Hide Search Matches Button */
+#searchbox .highlight-link {
+    display: none;
+}
+
+.highlighted #searchbox .highlight-link {
+    display: block;
+}
+
 /*-------------------------------------------------------------*/
 /*Landing Page Layout*/
 
