no size
authorGabriel Wicke <gwicke@users.mediawiki.org>
Tue, 8 Jun 2004 14:01:20 +0000 (14:01 +0000)
committerGabriel Wicke <gwicke@users.mediawiki.org>
Tue, 8 Jun 2004 14:01:20 +0000 (14:01 +0000)
stylesheets/common.css
stylesheets/monobook/main.css

index 58ea6c6..eb38703 100644 (file)
@@ -99,7 +99,7 @@ td.diff-context {
 
 img { border: none; }
 img.tex { vertical-align: middle; }
-span.texhtml { font: 110% serif; }
+span.texhtml { font-family: serif; }
 
 
 #toc {
index 0f0ced1..4966bcb 100644 (file)
@@ -359,7 +359,7 @@ div.tleft {
     display: none;
 }
 img.tex { vertical-align: middle; }
-span.texhtml { font: 110% serif; }
+span.texhtml { font-family: serif; }
 /*
 ** classes for special content elements like town boxes
 ** intended to be referenced directly from the wiki src