.small class
authorGabriel Wicke <gwicke@users.mediawiki.org>
Mon, 28 Jun 2004 09:17:52 +0000 (09:17 +0000)
committerGabriel Wicke <gwicke@users.mediawiki.org>
Mon, 28 Jun 2004 09:17:52 +0000 (09:17 +0000)
stylesheets/common.css
stylesheets/monobook/main.css

index b32503f..f51878f 100644 (file)
@@ -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;
index 8d741a1..0a6736b 100644 (file)
@@ -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