CodeMirror: small css adjustment

This commit is contained in:
Silvan Calarco 2020-11-13 22:33:06 +01:00
parent 46535e5816
commit 2a7c4e99bf

View File

@ -261,7 +261,7 @@ input#repsearchtext {
.CodeMirror { .CodeMirror {
font-size:10pt; font-size:10pt;
font-family:monospace; font-family:monospace;
line-height:1.1em; line-height:1.0em;
border:1px solid #2b6600; border:1px solid #2b6600;
/* font-size:12px; // causes problems*/ /* font-size:12px; // causes problems*/
} }