Install some CSS changes, based on suggestions by Shakthi Kannan <shakshurd@gmail.com>.

1 files changed, 8 insertions, 13 deletions

diff --git a/local.css b/local.css
index d38aec12..4b631f8e 100644
--- a/local.css
+++ b/local.css
@@ -30,6 +30,12 @@
 */
 
 
+body
+{
+  font-family: "Bitstream Vera Sans", sans-serif;
+  margin: 2px;
+  padding: 1em;
+}
 
 hr
 {
@@ -45,20 +51,8 @@ hr
 pre
 {
   margin-left: 3em;
-  background-color: #e5e5e5;
-}
-
-/* Only have these colored blocks be as wide as they need be.  */
-pre
-{
-  float: left;
+  font-weight: bold;
   padding: 0.5em;
-  margin-bottom: 1.5em;
-  margin-top: 0;
-}
-h1, h2, h3, h4, h5, h6, table, p, ol, ul, li, div, pre, hr
-{
-  clear: left;
 }
 
 /* Format these elements table-like with the background of the upper element
@@ -81,6 +75,7 @@ h1, h2, h3, h4, h5, h6, table, p, ol, ul, li, div, pre, hr
 
 .header
 {
+  padding: 0.5em;
   background-color: #f0f0f0;
 }