From 028726a9a3e2acd56195dacd903680db5d934b8e Mon Sep 17 00:00:00 2001
From: Mark Otto <markdotto@gmail.com>
Date: Sat, 14 Jan 2012 16:45:01 -0800
Subject: [PATCH] add user-select mixin
---
bootstrap.css | 2 +-
lib/mixins.less | 12 ++++++++++--
2 files changed, 11 insertions(+), 3 deletions(-)
diff --git a/bootstrap.css b/bootstrap.css
index 8d7b08a35d..1fc0e9edd0 100644
--- a/bootstrap.css
+++ b/bootstrap.css
@@ -6,7 +6,7 @@
* http://www.apache.org/licenses/LICENSE-2.0
*
* Designed and built with all the love in the world @twitter by @mdo and @fat.
- * Date: Sat Jan 14 16:38:32 PST 2012
+ * Date: Sat Jan 14 16:44:52 PST 2012
*/
html, body {
margin: 0;
diff --git a/lib/mixins.less b/lib/mixins.less
index 50986c68cd..67e0c27de2 100644
--- a/lib/mixins.less
+++ b/lib/mixins.less
@@ -147,8 +147,7 @@
transition: @transition;
}
-// Transform for scale and rotate
-// translate, rotate, scale -- need to finalize
+// Transformations
.rotate(@degrees: 5deg) {
-webkit-transform: rotate(@degrees);
-moz-transform: rotate(@degrees);
@@ -171,6 +170,15 @@
transform: translate(@x, @y);
}
+// User select
+// For selecting text on the page
+.user-select(@select) {
+ -webkit-user-select: @select;
+ -moz-user-select: @select;
+ -o-user-select: @select;
+ user-select: @select;
+}
+
// Background clipping
// Heads up: FF 3.6 and under need padding instead of padding-box
.background-clip(@clip) {
--
GitLab