@@ -174,7 +174,7 @@ address {
|
|
174
174
|
|
175
175
|
pre {
|
176
176
|
font-family: "DejaVu Sans Mono", "Liberation Mono", monospace;
|
177
|
-
padding: 0.
|
177
|
+
padding: 0.7em 1em;
|
178
178
|
margin: 1em 0 1.5em 0;
|
179
179
|
white-space: pre;
|
180
180
|
border-width: 1px;
|