monospace in editor

2023-09-19 15:28:35 +02:00 · 2023-09-19 15:28:35 +02:00 · 40ecfe32e5
parent 960f2b1bb1
commit 40ecfe32e5
1 changed files with 4 additions and 0 deletions
--- a/css/basic.css
+++ b/css/basic.css
@ -109,6 +109,10 @@
 button.toolbutton {
 	background-color:var(--bg);
 }
+.dokuwiki textarea.edit {
+        font-family: var(--mono-font);
+	font-size:1rem;
+}

 /* search */
 #qsearch__out {