css: Add new mixin `.user-select()`

2021-03-25 17:46:06 +01:00 · 2021-03-25 17:46:06 +01:00 · f31b1569aa
parent ce1fed1b1d
commit f31b1569aa
1 changed files with 7 additions and 0 deletions
--- a/public/css/icinga/mixins.less
+++ b/public/css/icinga/mixins.less
@ -67,6 +67,13 @@
          transform: @transform;
 }

+.user-select(@user-select) {
+  -webkit-user-select: @user-select;
+  -moz-user-select: @user-select;
+  -ms-user-select: @user-select;
+  user-select: @user-select;
+}
+
 .rounded-corners(@border-radius: 0.4em) {
  border-radius: @border-radius;