From 110649f0a8dfb21e65ee8114c05eacf5260307b1 Mon Sep 17 00:00:00 2001
From: Guillaume Gomez <guillaume1.gomez@gmail.com>
Date: Fri, 28 Nov 2025 13:09:08 +0100
Subject: [PATCH] Fix display of dropdown menu "buttons"

---
 util/gh-pages/style.css | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/util/gh-pages/style.css b/util/gh-pages/style.css
index 242e2227ed94..ce478a3e18d0 100644
--- a/util/gh-pages/style.css
+++ b/util/gh-pages/style.css
@@ -637,14 +637,14 @@ pre, hr {
     display: flex;
 }
 
-ul.dropdown-menu li.checkbox > button {
+#menu-filters ul.dropdown-menu li.checkbox > button {
     border: 0;
     width: 100%;
     background: var(--theme-popup-bg);
     color: var(--fg);
 }
 
-ul.dropdown-menu li.checkbox > button:hover {
+#menu-filters ul.dropdown-menu li.checkbox > button:hover {
     background: var(--theme-hover);
     box-shadow: none;
 }