css: add rounded-corners mixin

2015-08-21 16:44:30 +02:00 · 2015-08-21 16:44:30 +02:00 · 4c91d42853
parent 2760c58162
commit 4c91d42853
1 changed files with 10 additions and 0 deletions
--- a/public/css/icinga/mixins.less
+++ b/public/css/icinga/mixins.less
@ -7,3 +7,13 @@
       -o-transform: @transform;
          transform: @transform;
 }
+
+.rounded-corners(@border-radius: 0.4em) {
+  -webkit-border-radius: @border-radius;
+     -moz-border-radius: @border-radius;
+          border-radius: @border-radius;
+
+  -webkit-background-clip: padding-box;
+     -moz-background-clip: padding;
+          background-clip: padding-box;
+}