From 7af54e850c3b9da4eacb75c4c90adc4d539cb66d Mon Sep 17 00:00:00 2001
From: Gabriel Wicke <gwicke@users.mediawiki.org>
Date: Wed, 2 Jun 2004 23:36:12 +0000
Subject: [PATCH] toc formatting for standard/nostalgia/cologneblue

---
 stylesheets/common.css       |  8 ++++++++
 stylesheets/wikistandard.css | 10 +---------
 2 files changed, 9 insertions(+), 9 deletions(-)

diff --git a/stylesheets/common.css b/stylesheets/common.css
index 7e3f2e08bf..a7f5e02d37 100644
--- a/stylesheets/common.css
+++ b/stylesheets/common.css
@@ -107,6 +107,14 @@ img.tex { vertical-align: middle; }
         padding: 5px;
         font-size: 95%;
 }
+#toc .tocindent { margin-left: 2em; }
+#toc .tocline { margin-bottom: 0px; }
+#toc p { margin: 0 }
+#toc .toctoggle { font-size: 94%; }
+#toc .editsection { 
+    margin-top: 0.7em; 
+    font-size: 94%;
+}
 
 .error {
 	color: red;
diff --git a/stylesheets/wikistandard.css b/stylesheets/wikistandard.css
index e852f9f1ce..dbfcfb1b1e 100644
--- a/stylesheets/wikistandard.css
+++ b/stylesheets/wikistandard.css
@@ -12,15 +12,7 @@
 
 
 /* Table of contents */
-.tocindent {
-	margin-left: 2em;
-}
-.tocline {
-	margin-bottom: 0px;
-}
-.toctoggle, .editsection {
-	font-size: smaller;
-}
+.toctoggle, .editsection { font-size: smaller; }
 
 /* ... */
 #toolbar { padding:0px; }
-- 
2.20.1