From 3bd4e39033e3fec31b201d73b5a8591bd1e5245e Mon Sep 17 00:00:00 2001
From: Arun Isaac
Date: Wed, 22 Jun 2022 12:14:13 +0530
Subject: style.css: Style pre tags.

Style pre tags with a background color, border and a slightly larger
bold font.
---
 style.css | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'style.css')

diff --git a/style.css b/style.css
index 8c53834..7168d71 100644
--- a/style.css
+++ b/style.css
@@ -10,6 +10,15 @@ body {
     font-size: large;
 }
 
+pre {
+    background-color: lightyellow;
+    font-size: 1.2em;
+    font-weight: bold;
+    border-width: 0.1em;
+    border-style: outset;
+    padding: 0.5em;
+}
+
 .tag {
     padding: 0.25em 0.4em;
     color: white;
-- 
cgit v1.2.3