From 8645cc60ce10cfe2cf6b6f8a3e716211f5f92fd3 Mon Sep 17 00:00:00 2001
From: Sean Li <lishang106@gmail.com>
Date: Thu, 4 Sep 2014 12:51:01 -0700
Subject: [PATCH] Can now select logs.

---
 meteor/client/stylesheets/dashboard.import.less | 1 +
 meteor/client/stylesheets/mixins.import.less    | 8 ++++++++
 2 files changed, 9 insertions(+)

diff --git a/meteor/client/stylesheets/dashboard.import.less b/meteor/client/stylesheets/dashboard.import.less
index 916d4abe3b..b97cd726f5 100755
--- a/meteor/client/stylesheets/dashboard.import.less
+++ b/meteor/client/stylesheets/dashboard.import.less
@@ -199,6 +199,7 @@
     padding: 1em;
     font-family: monospace;
     min-height: @dashboard-content-height;
+    .text-select();
   }
 
   .warning-badge {
diff --git a/meteor/client/stylesheets/mixins.import.less b/meteor/client/stylesheets/mixins.import.less
index 6676691544..affd06ca77 100644
--- a/meteor/client/stylesheets/mixins.import.less
+++ b/meteor/client/stylesheets/mixins.import.less
@@ -12,3 +12,11 @@
   -webkit-user-select: none;
   user-select: none;
 }
+
+.text-select() {
+  -ms-user-select: text;
+  -moz-user-select: -moz-text;
+  -khtml-user-select: text;
+  -webkit-user-select: text;
+  user-select: text;
+}