summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--play.css1
-rw-r--r--play.js1
2 files changed, 0 insertions, 2 deletions
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;
diff --git a/play.js b/play.js
index 51e95ec..87d7a58 100644
--- a/play.js
+++ b/play.js
@@ -1776,4 +1776,3 @@ function toggle_tint() {
}
on_init()
-scroll_with_middle_mouse("main")