[FIX] rounded corners of filters

bzr revid: xmo@openerp.com-20111215163351-6pffxttslojfk3ax

diff --git a/addons/web/static/src/css/base.css b/addons/web/static/src/css/base.css
index 1509639..25e5931 100644 (file)
--- a/addons/web/static/src/css/base.css
+++ b/addons/web/static/src/css/base.css
@@ -625,19 +625,29 @@ label.error {
     padding-right: 0.4em;
     white-space: nowrap;
 }
-.openerp .filter_label_group button:first-child {
-    -webkit-border-radius: 7px 0 0 7px;
-    -moz-border-radius: 7px 0 0 7px;
-    border-radius: 7px 0 0 7px;
+
+.openerp .filter_label_group button {
+    -webkit-border-radius: 0;
+    -moz-border-radius: 0;
+    border-radius: 0;
     border-right: none;
 }
-.openerp .filter_label_group button {
+.openerp .filter_label_group button:first-child {
+    -webkit-border-top-left-radius: 7px;
+    -webkit-border-bottom-left-radius: 7px;
+    -moz-border-radius-topleft: 7px;
+    -moz-border-radius-bottomleft: 7px;
+    border-top-left-radius: 7px;
+    border-bottom-left-radius: 7px;
     border-right: none;
 }
 .openerp .filter_label_group button:last-child {
-    -webkit-border-radius: 0 7px 7px 0;
-    -moz-border-radius: 0 7px 7px 0;
-    border-radius: 0 7px 7px 0;
+    -webkit-border-top-right-radius: 7px;
+    -webkit-border-bottom-right-radius: 7px;
+    -moz-border-radius-topright: 7px;
+    -moz-border-radius-bottomright: 7px;
+    border-top-right-radius: 7px;
+    border-bottom-right-radius: 7px;
     border-right: 1px solid #999;
 }
 .openerp .filter_label_group button.filter_icon img {