From 061a245b1f34971bce59ebbc934f3d1fcd518c49 Mon Sep 17 00:00:00 2001
From: Alain Reguera Delgado <alain.reguera@gmail.com>
Date: Jun 27 2011 02:38:09 +0000
Subject: Update pre definition inside `Webenv/Css/default.css'.



---

diff --git a/Identity/Webenv/Css/default.css b/Identity/Webenv/Css/default.css
index 75c4714..d339f0b 100755
--- a/Identity/Webenv/Css/default.css
+++ b/Identity/Webenv/Css/default.css
@@ -193,7 +193,7 @@ address {
 
 pre {
     font-family: "DejaVu Sans Mono", "Liberation Mono", monospace;
-    padding: 1em;
+    padding: 0.5em 1em 0.5em 1em;
     margin: 1em 0 1em 0;
     white-space: pre;
     border-width: 1px;