From 7d8e33b655817ef27446f94a117764ddd9b17382 Mon Sep 17 00:00:00 2001
From: Alain Reguera Delgado <alain.reguera@gmail.com>
Date: Jun 18 2011 04:08:30 +0000
Subject: Update `Webenv/Css/default.css':


    - Update `pre' definition to use the old ligh yellow gray
      surrounded look. Also make its padding 1m all around.


---

diff --git a/Identity/Webenv/Css/default.css b/Identity/Webenv/Css/default.css
index 0da458e..404d2c2 100755
--- a/Identity/Webenv/Css/default.css
+++ b/Identity/Webenv/Css/default.css
@@ -194,13 +194,13 @@ address {
 pre {
     font-family: "DejaVu Sans Mono", "Liberation Mono", monospace;
     padding: 1em;
-    margin: 1em 0 1.3em 0;
+    margin: 1em 0 1em 0;
     white-space: pre;
     border-width: 1px;
     border-style: solid;
-    border-color: #eeeeee;
+    border-color: #E5E5E5;
     border-left-width: 4px;
-    background: #fafafa;
+    background: #FFFAE9;
     overflow: auto;
     }