Fix the "ref" badge appearing twice in search results

This fixes both the "instant" search results and the
dedicated results page.

Co-authored-by: Yuri Sizov <[email protected]>

_static/css/custom.css

@@ -291,6 +291,20 @@ a[href*="classes/"]::before {
     margin-right: 0.25rem;
 }
 
+/* Prevent the "ref" badge from appearing twice in the instant search results (not testable locally). */
+.wy-body-for-nav .search__result__single a[href*="classes/"]::before {
+    display: none;
+}
+
+.wy-body-for-nav .search__result__single a[href*="classes/"]:first-child::before {
+    display: inline;
+}
+
+/* Prevent the "ref" badge from appearing several times per item in the dedicated search results page. */
+#search-results .context a[href*="classes/"]::before {
+    display: none;
+}
+
 hr,
 #search-results .search li:first-child,
 #search-results .search li {