]> git.plutz.net Git - shellwiki/commitdiff
styling for code elements
authorPaul Hänsch <paul@plutz.net>
Thu, 23 Jun 2022 14:21:06 +0000 (16:21 +0200)
committerPaul Hänsch <paul@plutz.net>
Thu, 23 Jun 2022 14:21:06 +0000 (16:21 +0200)
themes/default.css

index f9fdc799be7c78736e2a65027ee25da817704a37..eacc66c36171c969a438adc26a59a1ec670f2b41 100644 (file)
@@ -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,