add user-select mixin

diff --git a/bootstrap.css b/bootstrap.css
index 8d7b08a35d8900f7a3e6ccdf36a040fdfa379ee3..1fc0e9edd0d3831e455d040d727ea4d107813b83 100644 (file)
--- 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 50986c68cd4f475ed3e3a0dcc9195a38dc1d747c..67e0c27de2cfb0f9896d80aa996292f104cd55a2 100644 (file)
--- 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) {