toc formatting for standard/nostalgia/cologneblue

diff --git a/stylesheets/common.css b/stylesheets/common.css
index 7e3f2e0..a7f5e02 100644 (file)
--- 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 e852f9f..dbfcfb1 100644 (file)
--- 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; }