dd8d43 Update `default.css'.

Authored and Committed by areguera 13 years ago
    Update `default.css'.
    
        
Identity/Webenv/Css/default.css CHANGED
@@ -174,7 +174,7 @@ address {
174
174
175
175
pre {
176
176
font-family: "DejaVu Sans Mono", "Liberation Mono", monospace;
177
- padding: 0.5em 1em 0.5em 1em;
177
+ padding: 0.7em 1em;
178
178
margin: 1em 0 1.5em 0;
179
179
white-space: pre;
180
180
border-width: 1px;