From dd8d4336c582c6390f7350a5f7d1366ab36a3e61 Mon Sep 17 00:00:00 2001
From: Alain Reguera Delgado <alain.reguera@gmail.com>
Date: Sep 20 2011 01:46:12 +0000
Subject: Update `default.css'.


---

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