diff options
Diffstat (limited to 'desktop-themes/Menta')
| -rw-r--r-- | desktop-themes/Menta/gtk-3.0/gtk-widgets.css | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/desktop-themes/Menta/gtk-3.0/gtk-widgets.css b/desktop-themes/Menta/gtk-3.0/gtk-widgets.css index 369977aa..d1b61c09 100644 --- a/desktop-themes/Menta/gtk-3.0/gtk-widgets.css +++ b/desktop-themes/Menta/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, |