From d7ed83d3debc31d5f7910304fa31c23c699ac69a Mon Sep 17 00:00:00 2001
From: =?utf8?q?Paul=20H=C3=A4nsch?= <paul@plutz.net>
Date: Wed, 18 May 2022 23:03:00 +0200
Subject: [PATCH] monospace fint for editor

---
 themes/default.css | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

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 === */
-- 
2.39.2