improving scroll behaviour on mobile devices

Signed-off-by: Stephan Richter <s.richter@srsoftware.de>

frontend/src/Components/LineEditor.svelte

@@ -40,7 +40,7 @@
     }
 
     function measured(evt,duration,d){
-        if (d > 100) return;
+        if (d > 10) return;
         if (duration < 500){
             onclick(evt);
         } else {

web/src/main/resources/web/css/bloodshed.css

@@ -16,6 +16,10 @@ body {
     background-attachment: fixed;
 }
 
+code {
+    font-size: 16px;
+}
+
 fieldset {
     border: 1px solid;
     border-radius: 4px;

web/src/main/resources/web/css/default.css

@@ -16,6 +16,10 @@ body {
     background-attachment: fixed;
 }
 
+code {
+    font-size: 16px;
+}
+
 fieldset {
     border: 1px solid;
     border-radius: 4px;

web/src/main/resources/web/css/winter.css

@@ -16,6 +16,9 @@ body {
     background-attachment: fixed;
 }
 
+code {
+    font-size: 16px;
+}
 fieldset {
     border: 1px solid;
     border-radius: 4px;