summaryrefslogtreecommitdiff
path: root/desktop-themes/TraditionalOk
diff options
context:
space:
mode:
authorinfirit <[email protected]>2015-01-12 14:24:01 +0100
committerinfirit <[email protected]>2015-01-12 22:20:18 +0100
commit5d95db7549762c52bf861c19460ac1319c0f3f05 (patch)
tree92f5351ffd445bdd59c936e25d5204f7d5205545 /desktop-themes/TraditionalOk
parent4158d2bd2a2f0890635a1a8f38cb8aedc7b11430 (diff)
downloadmate-themes-5d95db7549762c52bf861c19460ac1319c0f3f05.tar.bz2
mate-themes-5d95db7549762c52bf861c19460ac1319c0f3f05.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.css2
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 caccc7ff..e3b66935 100644
--- a/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css
+++ b/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css
@@ -1776,7 +1776,7 @@ GtkInfoBar:last-child,
@theme_base_color,
@theme_bg_color);
background-color: transparent;
- border-radius: 0px 0px 0px 0px;
+ border-radius: 7px 7px 0 0;
border-bottom: 1px solid;
border-color: shade(@border_color, 1.30);
}