From abb30a7ed2b30df03961814aba9f0e10ddda1d87 Mon Sep 17 00:00:00 2001
From: Gabriel Wicke <gwicke@users.mediawiki.org>
Date: Wed, 19 May 2004 20:50:28 +0000
Subject: [PATCH] prefs toc styling

---
 stylesheets/common.css | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)

diff --git a/stylesheets/common.css b/stylesheets/common.css
index 91596be8a4..ceb5412c42 100644
--- a/stylesheets/common.css
+++ b/stylesheets/common.css
@@ -115,3 +115,25 @@ img.tex { vertical-align: middle; }
 	color: red;
 	font-size: larger;
 }
+/* preference page with js-genrated toc */
+
+#preftoc { 
+    float: left;
+    margin: 1em 1em 1em 1em;
+    width: 13em;
+}
+#preftoc li { border: 1px solid White; }
+#preftoc li.selected { 
+    background-color:#f9f9f9;
+    border:1px dashed #aaaaaa;
+}
+#preftoc a,
+#preftoc a:active {
+    display: block;
+    color: #005189;
+}
+#prefcontrol { 
+    clear: left;
+    float: left;
+    margin-top: 1em;
+}
-- 
2.20.1