Files
nixpkgs/pkgs/by-name/ev/everforest-gtk-theme/gtk3-remove-border-spacing.patch

13 lines
390 B
Diff

diff --git a/themes/src/sass/gtk/_common-3.0.scss b/themes/src/sass/gtk/_common-3.0.scss
index 4148a1b4..735905e9 100644
--- a/themes/src/sass/gtk/_common-3.0.scss
+++ b/themes/src/sass/gtk/_common-3.0.scss
@@ -1119,7 +1119,6 @@ dropdown {
> button > box {
border-radius: 0 $modal-radius $modal-radius 0;
- border-spacing: $space-size;
> stack > row.activatable {
&:hover,