From f83b918a2f0e0a53173781a41fc066389369972c Mon Sep 17 00:00:00 2001 From: Gabriel Wicke Date: Mon, 28 Jun 2004 09:17:52 +0000 Subject: [PATCH] .small class --- stylesheets/common.css | 11 +++++++---- stylesheets/monobook/main.css | 4 +++- 2 files changed, 10 insertions(+), 5 deletions(-) diff --git a/stylesheets/common.css b/stylesheets/common.css index b32503f42f..f51878f890 100644 --- a/stylesheets/common.css +++ b/stylesheets/common.css @@ -83,15 +83,15 @@ td.diff-otitle { background:#cccccc; } td.diff-ntitle { background:#cccccc; } td.diff-addedline { background:#ccffcc; - font-size: smaller; + font-size: 94%; } td.diff-deletedline { background:#ffffaa; - font-size: smaller; + font-size: 94%; } td.diff-context { background:#eeeeee; - font-size: smaller; + font-size: 94%; } span.diffchange { color: red; } @@ -109,7 +109,7 @@ span.texhtml { font-family: serif; } #toc .tocindent { margin-left: 2em; } #toc .tocline { margin-bottom: 0px; } #toc p { margin: 0 } -#toc .toctoggle { font-size: 94%; } +#toc .toctoggle { font-size: 95%; } #toc .editsection { margin-top: 0.7em; font-size: 94%; @@ -157,6 +157,9 @@ fieldset.operaprefsection { margin-left: 15em } margin-left: auto; margin-right: auto; } +/* small for tables and similar */ +.small, .small * { font-size: 94%; } +table.small { font-size: 100% } div.townBox { position:relative; diff --git a/stylesheets/monobook/main.css b/stylesheets/monobook/main.css index 8d741a1bfe..0a6736b52c 100644 --- a/stylesheets/monobook/main.css +++ b/stylesheets/monobook/main.css @@ -285,7 +285,9 @@ in the bottom-right corner of the content area */ margin-left: auto; margin-right: auto; } - +/* small for tables and similar */ +.small, .small * { font-size: 94%; } +table.small { font-size: 100% } /* ** content styles -- 2.20.1