From: Paul Hänsch <paul@plutz.net>
Date: Wed, 18 May 2022 21:03:00 +0000 (+0200)
Subject: monospace fint for editor
X-Git-Url: https://git.plutz.net/?a=commitdiff_plain;h=d7ed83d3debc31d5f7910304fa31c23c699ac69a;p=shellwiki

monospace fint for editor
---

diff --git a/themes/default.css b/themes/default.css
index 90819a7..9b8cc75 100644
--- 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 === */