monospace fint for editor

diff --git a/themes/default.css b/themes/default.css
index 90819a7e41f4a5ac0dcbe96d024451e81b6a669a..9b8cc75c95c774af9833b958f9d687303ff9413b 100644 (file)
--- a/themes/default.css
+++ b/themes/default.css
@@ -6,6 +6,7 @@ body {
   min-height: 100%;
   padding-bottom: 6em;
   background-color: #EEE;
+  font-size: 12pt;
 }
 
 header, footer {
@@ -75,7 +76,9 @@ main article,
 
 body.editor textarea {
   width: 100%;
-  min-height: 20em;
+  min-height: 20em; min-height: 70vh;
+  font-family: monospace;
+  font-size: inherit;
 }
 
 /* === Attachments === */