From 41cfbbd0d99d090af7d5544251cc4a36168d7147 Mon Sep 17 00:00:00 2001
From: Thomas Keller <me@thomaskeller.biz>
Date: Tue, 1 Mar 2011 00:01:03 +0100
Subject: [PATCH] Let the table of contents not take more than 33% of the
 available space; improve the CSS a bit by making the font a little smaller
 and by introducing a margin between every line. Partially closes issue 618.

---
 www/media/idf/css/style.css | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/www/media/idf/css/style.css b/www/media/idf/css/style.css
index ff0ce44..2df57e3 100644
--- a/www/media/idf/css/style.css
+++ b/www/media/idf/css/style.css
@@ -763,19 +763,27 @@ ol > li {
 #wiki-toc {
     float: right;
     margin-left: 10px;
+    margin-bottom: 10px;
+    max-width: 33%;
 }
 
 #wiki-toc-content {
     border:  1px solid #999999;
     border-width: 1px 0;
     padding: 10px 0;
-    padding-bottom: 25px;
+    padding-bottom: 15px;
     background-color: #ffffff;
     display: block;
 }
 
 #wiki-toc-content a {
     display: block;
+    margin-top: 0.5em;
+    font-size: 90%;
+}
+
+#wiki-toc-content a:first-child {
+    margin-top: 0;
 }
 
 #wiki-toc-content a.wiki-h2 {