From 8f7a238219bdb27a88d1e32b567cd689165607c7 Mon Sep 17 00:00:00 2001 From: imarkoff Date: Tue, 21 Feb 2023 20:00:51 +0200 Subject: [PATCH] Quick toggle menu header icon improvements --- gnome-shell/gnome-shell.css | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/gnome-shell/gnome-shell.css b/gnome-shell/gnome-shell.css index 5528dad..2c62122 100644 --- a/gnome-shell/gnome-shell.css +++ b/gnome-shell/gnome-shell.css @@ -560,7 +560,8 @@ stage { .quick-toggle-menu .header .icon { background-color: ACCENT-COLOR; - border-radius: 15px; + border-radius: 12px; + icon-size: 1.4em; box-shadow: inset 0 0 0 1px BORDER-SHADOW; }