# HG changeset patch
# User dellsystem <ilostwaldo@gmail.com>
# Date 1347472087 14400
# Node ID 5f5f838c1e323225281d3e347fce6ea125c422e6
# Parent  0fd8fb20033ea41536e7a7d098b11805dead49db
Prevent selection of line numbers in snippet view

So that when you highlight the snippet and copy + paste, you don't get
the line numbers as well.

diff -r 0fd8fb20033e -r 5f5f838c1e32 static/css/code.less
--- a/static/css/code.less	Tue Sep 11 21:09:04 2012 -0400
+++ b/static/css/code.less	Wed Sep 12 13:48:07 2012 -0400
@@ -3,6 +3,7 @@
     text-align: right;
     font-weight: bold;
     padding-right: 10px;
+    .disable-select;
 }
 
 .highlight {
diff -r 0fd8fb20033e -r 5f5f838c1e32 static/css/mixins.less
--- a/static/css/mixins.less	Tue Sep 11 21:09:04 2012 -0400
+++ b/static/css/mixins.less	Wed Sep 12 13:48:07 2012 -0400
@@ -97,3 +97,12 @@
 .hidden {
     display: none;
 }
+
+.disable-select {
+    -webkit-touch-callout: noone;
+    -webkit-user-select: none;
+    -khtml-user-select: none;
+    -moz-user-select: none;
+    -ms-user-select: none;
+    user-select: none;
+}