diff options
author | raveit65 <[email protected]> | 2014-05-03 22:53:51 +0200 |
---|---|---|
committer | raveit65 <[email protected]> | 2014-05-03 22:53:51 +0200 |
commit | 5a0dc2db0620677d854e87bb832ae97167884abb (patch) | |
tree | e451a055692f3ce2ae4e6f71afc1f7a3e51a0f85 | |
parent | cf6fd5bdc205576d4aba843925b3bdda6eba9d31 (diff) | |
download | mate-themes-5a0dc2db0620677d854e87bb832ae97167884abb.tar.bz2 mate-themes-5a0dc2db0620677d854e87bb832ae97167884abb.tar.xz |
BlueMenta GTK3: reduce resize grip size
that's better for dialog windows
-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, |