diff options
| author | infirit <[email protected]> | 2015-01-12 14:24:01 +0100 |
|---|---|---|
| committer | infirit <[email protected]> | 2015-01-12 22:16:04 +0100 |
| commit | e1151b5eb9c5943cf04de706e165c0d46d5e92c8 (patch) | |
| tree | fdb8b7027f2aa6cc03ec134c1a49da33227e8770 /desktop-themes/TraditionalOk | |
| parent | 56ff0cb01a31d2fc1f29787b89f99ee86b0fdb7f (diff) | |
| download | mate-themes-e1151b5eb9c5943cf04de706e165c0d46d5e92c8.tar.bz2 mate-themes-e1151b5eb9c5943cf04de706e165c0d46d5e92c8.tar.xz | |
Traditional*: Add border radius for rounded corners
Diffstat (limited to 'desktop-themes/TraditionalOk')
| -rw-r--r-- | desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css b/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css index 7762b0b8..b0374c98 100644 --- a/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css +++ b/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css @@ -1894,7 +1894,7 @@ GtkInfoBar:last-child, @theme_base_color, @theme_bg_color); background-color: transparent; - border-radius: 0px; + border-radius: 7px 7px 0 0; border-bottom: 1px solid; border-color: shade(@border_color, 1.30); padding: 5px 4px 4px 4px; |