From 9cc3fcf8800751c2841134d4aca0e7af3478f3a3 Mon Sep 17 00:00:00 2001
From: Tor Andersson <tor@ccxvii.net>
Date: Sat, 21 Oct 2023 18:32:14 +0200
Subject: scroll_with_middle_mouse

---
 play.css | 1 -
 1 file changed, 1 deletion(-)

(limited to 'play.css')

diff --git a/play.css b/play.css
index e6ec614..9045a22 100644
--- a/play.css
+++ b/play.css
@@ -688,7 +688,6 @@ body.tint .legion.reduced {
 
 .panel_header {
 	color: white;
-	user-select: none;
 	font-weight: bold;
 	text-align: center;
 	padding: 3px 1em;
-- 
cgit v1.2.3