From 0241cc2959cd6dc88164cd385a12efb85d7a6413 Mon Sep 17 00:00:00 2001 From: raveit65 Date: Sun, 18 May 2014 18:41:38 +0200 Subject: BlueMenta Menta GTK3: reduce size of resize grip, to avoid overlaps with other elements --- desktop-themes/BlueMenta/gtk-3.0/gtk-widgets.css | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'desktop-themes/BlueMenta/gtk-3.0') diff --git a/desktop-themes/BlueMenta/gtk-3.0/gtk-widgets.css b/desktop-themes/BlueMenta/gtk-3.0/gtk-widgets.css index 3670911b..7c6ed0ef 100644 --- a/desktop-themes/BlueMenta/gtk-3.0/gtk-widgets.css +++ b/desktop-themes/BlueMenta/gtk-3.0/gtk-widgets.css @@ -42,8 +42,8 @@ -GtkWidget-focus-padding: 2; -GtkWidget-focus-line-width: 1; - -GtkWindow-resize-grip-width: 18; - -GtkWindow-resize-grip-height: 18; + -GtkWindow-resize-grip-width: 13; + -GtkWindow-resize-grip-height: 13; /* We use the outline properties to signal the focus properties * to the adwaita engine: using real CSS properties is faster, -- cgit v1.2.1