From 2a7c4e99bf15191330f7280c1d2e14fbc047132a Mon Sep 17 00:00:00 2001
From: Silvan Calarco <silvan.calarco@mambasoft.it>
Date: Fri, 13 Nov 2020 22:33:06 +0100
Subject: [PATCH] CodeMirror: small css adjustment

---
 styles/webbuild.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/styles/webbuild.css b/styles/webbuild.css
index 33647d5..d01659a 100644
--- a/styles/webbuild.css
+++ b/styles/webbuild.css
@@ -261,7 +261,7 @@ input#repsearchtext {
 .CodeMirror {
    font-size:10pt;
    font-family:monospace;
-   line-height:1.1em;
+   line-height:1.0em;
    border:1px solid #2b6600;
 /*   font-size:12px; // causes problems*/
 }