style.css: Style pre tags.

Style pre tags with a background color, border and a slightly larger
bold font.

1 files changed, 9 insertions, 0 deletions

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;