From fd08a2ae258fa98c6aeb7bea32a5caba4cdb8856 Mon Sep 17 00:00:00 2001 From: Gabriel Wicke Date: Tue, 8 Jun 2004 14:01:20 +0000 Subject: [PATCH] no size --- stylesheets/common.css | 2 +- stylesheets/monobook/main.css | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/stylesheets/common.css b/stylesheets/common.css index 58ea6c6a0b..eb38703aaa 100644 --- a/stylesheets/common.css +++ b/stylesheets/common.css @@ -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 { diff --git a/stylesheets/monobook/main.css b/stylesheets/monobook/main.css index 0f0ced1d77..4966bcba14 100644 --- a/stylesheets/monobook/main.css +++ b/stylesheets/monobook/main.css @@ -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 -- 2.20.1