From f64fcbc07d2742ae0a32ef4160f3bd4484982459 Mon Sep 17 00:00:00 2001
From: Eric Huss <eric@huss.org>
Date: Mon, 21 Nov 2022 14:00:18 -0800
Subject: [PATCH] Fix clipping in theme popup

---
 src/theme/css/chrome.css | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/src/theme/css/chrome.css b/src/theme/css/chrome.css
index 10fa4b36..ff3158ad 100644
--- a/src/theme/css/chrome.css
+++ b/src/theme/css/chrome.css
@@ -507,6 +507,8 @@ ul#searchresults span.teaser em {
     padding: 0;
     list-style: none;
     display: none;
+    /* Don't let the children's background extend past the rounded corners. */
+    overflow: hidden;
 }
 .theme-popup .default {
     color: var(--icons);
@@ -527,8 +529,3 @@ ul#searchresults span.teaser em {
 .theme-popup .theme:hover {
     background-color: var(--theme-hover);
 }
-.theme-popup .theme:hover:first-child,
-.theme-popup .theme:hover:last-child {
-    border-top-left-radius: inherit;
-    border-top-right-radius: inherit;
-}