From d5834df8282a9ab969210a83a8d0d1c30c451d34 Mon Sep 17 00:00:00 2001
From: basbase <github@basbase.com>
Date: Wed, 17 May 2023 23:30:44 +0200
Subject: [PATCH] disable all text selection because it can reveal hidden
 buttons when the map gets selected

---
 css/design.css | 13 +++++++------
 1 file changed, 7 insertions(+), 6 deletions(-)

diff --git a/css/design.css b/css/design.css
index dbbe9a3..c93574f 100755
--- a/css/design.css
+++ b/css/design.css
@@ -4,6 +4,7 @@ body{
     margin: 0; /* No margin ! */
     overflow-y: scroll; /* In order to always show the vertical scrolling bar */
     text-align: center;
+    user-select: none;
 }
 
 #aroundStatusBar{
@@ -68,10 +69,10 @@ pre{
     border-width: 1px;
     border-style: solid;
     border-color: #464c54;
-    
+
     /* Grey background color */
     background-color: #dcdad5;
-    
+
     /* Position absolute inside the aroundRealButton span */
     position: absolute;
     user-select: none;
@@ -105,7 +106,7 @@ pre{
 /* Select */
 
 .aroundSelect{
-   
+
 }
 
 .asciiSelect{
@@ -114,13 +115,13 @@ pre{
 }
 
 .asciiSelectOption{
-     
+
 }
 
 /* Text input */
 
 .aroundTextInput{
-    
+
 }
 
 .asciiTextInput{
@@ -160,7 +161,7 @@ pre{
 }
 
 .asciiCheckbox{
-    
+
 }
 
 /* Textareas */