From a168a3affd51d6cfb55d05f91ec3b3c8253fc29c Mon Sep 17 00:00:00 2001 From: zahand <48160881+zahand@users.noreply.github.com> Date: Wed, 29 Mar 2023 07:28:46 +0330 Subject: [PATCH] Dropdown CSS fix workaround to remove duplicate highlights. --- style.css | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/style.css b/style.css index de16a7f2f..8ebc8922d 100644 --- a/style.css +++ b/style.css @@ -72,11 +72,11 @@ div.compact{ padding: 0.05em 0; } -.gradio-dropdown ul.options li.item.selected { +.gradio-dropdown ul.options li.item:not(:has(.hide)) { background-color: var(--neutral-100); } -.dark .gradio-dropdown ul.options li.item.selected { +.dark .gradio-dropdown ul.options li.item:not(:has(.hide)) { background-color: var(--neutral-900); }