use serif font for html-rendered tex
authorGabriel Wicke <gwicke@users.mediawiki.org>
Tue, 8 Jun 2004 13:25:16 +0000 (13:25 +0000)
committerGabriel Wicke <gwicke@users.mediawiki.org>
Tue, 8 Jun 2004 13:25:16 +0000 (13:25 +0000)
stylesheets/common.css
stylesheets/commonPrint.css
stylesheets/monobook/main.css

index ecef44b..58ea6c6 100644 (file)
@@ -99,6 +99,7 @@ td.diff-context {
 
 img { border: none; }
 img.tex { vertical-align: middle; }
+span.texhtml { font: 110% serif; }
 
 
 #toc {
index 517db1f..9df4091 100644 (file)
@@ -188,6 +188,9 @@ a, a.external, a.new, a.stub {
        text-decoration: inherit ! important;
 }
 
+img { border: none; }
+img.tex { vertical-align: middle; }
+span.texhtml { font-family: serif; }
 
 /* Show some stuff */
 .urlexpansion {
index 6f4b0ac..0f0ced1 100644 (file)
@@ -359,6 +359,7 @@ div.tleft {
     display: none;
 }
 img.tex { vertical-align: middle; }
+span.texhtml { font: 110% serif; }
 /*
 ** classes for special content elements like town boxes
 ** intended to be referenced directly from the wiki src