]> git.plutz.net Git - shellwiki/commitdiff
apply editor style to [newpage]
authorPaul Hänsch <paul@plutz.net>
Mon, 23 May 2022 17:58:52 +0000 (19:58 +0200)
committerPaul Hänsch <paul@plutz.net>
Mon, 23 May 2022 17:58:52 +0000 (19:58 +0200)
themes/default.css

index c22da7cf474bf2bfba8d8d7726ffc81ca650d88a..11c3daeda249b2e16ae6bf4f1e70326e492cce79 100644 (file)
@@ -76,7 +76,8 @@ main article,
 
 /* === Editor === */
 
-body[id$="/[edit]"] textarea {
+body[id$="/[edit]"] textarea,
+body[id$="/[newpage]"] textarea {
   width: 100%;
   min-height: 20em; min-height: 70vh;
   font-family: monospace;