changeset 995:17035a084552

css: remove courier, looks ugly on linux
author Thomas Waldmann <tw AT waldmann-edv DOT de>
date Fri, 28 Oct 2011 17:02:24 -0200
parents 1d17af578b3b
children 56630879fff5
files MoinMoin/themes/modernized/static/css/common.css
diffstat 1 files changed, 4 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- a/MoinMoin/themes/modernized/static/css/common.css	Fri Oct 28 12:53:32 2011 -0200
+++ b/MoinMoin/themes/modernized/static/css/common.css	Fri Oct 28 17:02:24 2011 -0200
@@ -107,7 +107,7 @@
 
 /* pre */
 pre { border: 1px solid #AEBDCC; background-color: #F3F5F7; padding: 5px; clear: both;
-            font-family: courier, monospace; margin: .33em 0; white-space: pre; }
+            font-family: monospace; margin: .33em 0; white-space: pre; }
 pre.comment { background-color: #CCC; color: red; padding: 0; margin: 0; border: 0; }
 pre.comment:before { content: url(../img/attention.png); }
 
@@ -333,9 +333,9 @@
 
 .moin-diff-line-number { background-color: #C0C0C0; }
 .moin-diff-added { background-color: #E0FFE0; vertical-align: top; width: 50%; white-space: pre-wrap; word-wrap: break-word;
-            font-family: courier, monospace; }
+            font-family: monospace; }
 .moin-diff-removed { background-color: #FFFFE0; vertical-align: top; width: 50%; white-space: pre-wrap; word-wrap: break-word;
-            font-family: courier, monospace; }
+            font-family: monospace; }
 .moin-diff-added span { background-color: #80FF80; }
 .moin-diff-removed span { background-color: #FFFF80; }
 
@@ -670,7 +670,7 @@
 
 @media print {
 
-html { font-family: Times, serif; font-size: 12pt; width: 100%; }
+html { font-family: serif; font-size: 12pt; width: 100%; }
 body, #moin-page, #moin-page, #moin-content-data { margin: 0; padding: 0; }
 
 a, a:visited,