From de38c93c69331780c316b4a12e32ae42717123be Mon Sep 17 00:00:00 2001 From: Gabriel Wicke Date: Tue, 8 Jun 2004 13:25:16 +0000 Subject: [PATCH] use serif font for html-rendered tex --- stylesheets/common.css | 1 + stylesheets/commonPrint.css | 3 +++ stylesheets/monobook/main.css | 1 + 3 files changed, 5 insertions(+) diff --git a/stylesheets/common.css b/stylesheets/common.css index ecef44b5c9..58ea6c6a0b 100644 --- a/stylesheets/common.css +++ b/stylesheets/common.css @@ -99,6 +99,7 @@ td.diff-context { img { border: none; } img.tex { vertical-align: middle; } +span.texhtml { font: 110% serif; } #toc { diff --git a/stylesheets/commonPrint.css b/stylesheets/commonPrint.css index 517db1f987..9df409187f 100644 --- a/stylesheets/commonPrint.css +++ b/stylesheets/commonPrint.css @@ -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 { diff --git a/stylesheets/monobook/main.css b/stylesheets/monobook/main.css index 6f4b0ac701..0f0ced1d77 100644 --- a/stylesheets/monobook/main.css +++ b/stylesheets/monobook/main.css @@ -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 -- 2.20.1