From 16d529e9350b8753504bd6f53bb9ed5cbca32dba Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Kevin=20H=C3=A4ndel?= <kevinhaendel@gmail.com>
Date: Sun, 11 Feb 2018 00:35:27 +0100
Subject: [PATCH] Added "user-select" option to line numbers & messages

This prevents copying unnecessary text after selecting it via Ctrl + A
---
 static/application.css | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/static/application.css b/static/application.css
index ab90a24..9c31355 100644
--- a/static/application.css
+++ b/static/application.css
@@ -31,6 +31,7 @@ textarea {
 	font-size: 13px;
 	font-family: monospace;
 	text-align: right;
+	user-select: none;
 }
 
 /* code box when locked */
@@ -118,6 +119,7 @@ textarea {
 	font-size: 12px;
 	line-height: 14px;
 	padding: 10px 15px;
+	user-select: none;
 }
 
 #box3 .label, #messages li {