Slightly increase plain text font size

pull/17/head
Thomas Bruederli 12 years ago
parent de96774734
commit d8b75090dd

@ -1173,6 +1173,7 @@ div.message-part div.pre
margin: 0px;
padding: 0px;
font-family: monospace;
font-size: 12px;
white-space: -moz-pre-wrap !important;
white-space: pre-wrap !important;
white-space: pre;

@ -889,6 +889,7 @@ div.message-part div.pre {
margin: 0px;
padding: 0px;
font-family: monospace;
font-size: 12px;
white-space: -moz-pre-wrap !important;
white-space: pre-wrap !important;
white-space: pre;

Loading…
Cancel
Save