From 5d95db7549762c52bf861c19460ac1319c0f3f05 Mon Sep 17 00:00:00 2001 From: infirit Date: Mon, 12 Jan 2015 14:24:01 +0100 Subject: Traditional*: Add border radius for rounded corners --- desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css | 2 +- desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css | 2 +- desktop-themes/TraditionalOkTest/gtk-3.0/gtk-widgets.css | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css b/desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css index caccc7ff..e3b66935 100644 --- a/desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css +++ b/desktop-themes/TraditionalGreen/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); } 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); } diff --git a/desktop-themes/TraditionalOkTest/gtk-3.0/gtk-widgets.css b/desktop-themes/TraditionalOkTest/gtk-3.0/gtk-widgets.css index caccc7ff..e3b66935 100644 --- a/desktop-themes/TraditionalOkTest/gtk-3.0/gtk-widgets.css +++ b/desktop-themes/TraditionalOkTest/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); } -- cgit v1.2.1