diff options
| author | raveit65 <[email protected]> | 2014-05-18 18:41:38 +0200 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2014-05-18 18:41:38 +0200 |
| commit | 0241cc2959cd6dc88164cd385a12efb85d7a6413 (patch) | |
| tree | b7cc30e05c538bf40a86314d513315e01c41bebb /desktop-themes/BlueMenta | |
| parent | 2c128c9be69beb3c67a8d026969c95ab50f7a79b (diff) | |
| download | mate-themes-0241cc2959cd6dc88164cd385a12efb85d7a6413.tar.bz2 mate-themes-0241cc2959cd6dc88164cd385a12efb85d7a6413.tar.xz | |
BlueMenta Menta GTK3: reduce size of resize grip, to avoid overlaps with other elements
Diffstat (limited to 'desktop-themes/BlueMenta')
| -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 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, |