diff options
| -rw-r--r-- | desktop-themes/BlueMenta/gtk-3.0/gtk-widgets.css | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/desktop-themes/BlueMenta/gtk-3.0/gtk-widgets.css b/desktop-themes/BlueMenta/gtk-3.0/gtk-widgets.css index 09af2c01..2e94fa63 100644 --- a/desktop-themes/BlueMenta/gtk-3.0/gtk-widgets.css +++ b/desktop-themes/BlueMenta/gtk-3.0/gtk-widgets.css @@ -40,8 +40,8 @@ -GtkWidget-focus-padding: 2; -GtkWidget-focus-line-width: 1; - -GtkWindow-resize-grip-width: 25; - -GtkWindow-resize-grip-height: 25; + -GtkWindow-resize-grip-width: 18; + -GtkWindow-resize-grip-height: 18; /* We use the outline properties to signal the focus properties * to the adwaita engine: using real CSS properties is faster, |