From e8587f466cc8cd4a095383aefeb9ab3deae01b29 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Paul=20H=C3=A4nsch?= <paul@plutz.net>
Date: Thu, 23 Jun 2022 16:21:06 +0200
Subject: [PATCH 1/1] styling for code elements

---
 themes/default.css | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/themes/default.css b/themes/default.css
index f9fdc79..eacc66c 100644
--- a/themes/default.css
+++ b/themes/default.css
@@ -75,6 +75,17 @@ main > form#deletepage,
   box-shadow: .25em .25em .75em;
 }
 
+main code {
+  padding: .125em .25em;
+  background-color: #CCC;
+}
+main pre {
+  padding: .5em .5em;
+  background-color: #CCC;
+  max-width: 100%;
+  overflow-x: auto;
+}
+
 /* === Editor === */
 
 body[id$="/[edit]"] textarea,
-- 
2.39.2