From b293b7722f7b011bdcdad4080e40d8ade268b380 Mon Sep 17 00:00:00 2001
From: Carl Worth <cworth@cworth.org>
Date: Tue, 29 May 2007 12:42:27 -0700
Subject: [PATCH] Fix margins and colorize background of pre elements

---
 src/local.css | 27 ++++++++++++++++++++++-----
 1 file changed, 22 insertions(+), 5 deletions(-)

diff --git a/src/local.css b/src/local.css
index db80b72..8e13d20 100644
--- a/src/local.css
+++ b/src/local.css
@@ -2,16 +2,20 @@
 
 /* Add local styling here, instead of modifying style.css. */
 body {
-    margin-left: 10%;
-    margin-right: 10%;
+    margin-left: 2%;
+    margin-right: 2%;
 }
 
 h1, .header, #footer {
-    margin-left: -8%;
     font-size: 150%;
     clear: both;
 }
 
+#content {
+    margin-left: 4%;
+    margin-right: 4%;
+}
+
 h1,h2,h3,h4,h5,h6, .header {
     font-family: sans-serif;
     clear: left;
@@ -19,10 +23,23 @@ h1,h2,h3,h4,h5,h6, .header {
 }
 
 h2,h3,h4,h5,h6 {
-    margin-left: -4%;
     font-size: 125%;
 }
 
+p {
+    margin-left: 4%;
+    margin-right: 4%;
+}
+
+pre {
+    font-family: mono;
+    margin-left: 10%;
+    margin-right: 10%;
+    border: 1px solid #fcedc4;
+    background-color: #dfdffb;
+    padding: .5em;
+}
+
 a:link {
     color: #4c4ce6;
 }
@@ -40,7 +57,7 @@ a:hover {
 }
 
 #footer {
-    margin-left: -8%;
+    margin-left: 2%;
     font-size: 80%;
 }
 
-- 
2.43.0