From 4c91d4285350af35abe9ca1c0cb0d4606fde177f Mon Sep 17 00:00:00 2001
From: Eric Lippmann <eric.lippmann@netways.de>
Date: Fri, 21 Aug 2015 16:44:30 +0200
Subject: [PATCH] css: add rounded-corners mixin

---
 public/css/icinga/mixins.less | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/public/css/icinga/mixins.less b/public/css/icinga/mixins.less
index d1f9929a0..e22b4cd51 100644
--- 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;
+}