From c2710556dba2d0efdfe49cd8d87b15ed5bb2d159 Mon Sep 17 00:00:00 2001
From: Alain Reguera Delgado <alain.reguera@gmail.com>
Date: Jun 29 2011 01:22:57 +0000
Subject: Update pre definition inside `Webenv/Css/default.css' to compensate

paragraph top and bottom margings.


---

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