From 472e9589d5569b7f8cd05932aed6e107b7e62fab Mon Sep 17 00:00:00 2001
From: Carsten Dominik <carsten.dominik@gmail.com>
Date: Sat, 21 Feb 2009 12:18:15 +0100
Subject: [PATCH] Website: Change height of toc

---
 ORGWEBPAGE/org.css | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/ORGWEBPAGE/org.css b/ORGWEBPAGE/org.css
index 5aff20ec5..9641086d9 100644
--- a/ORGWEBPAGE/org.css
+++ b/ORGWEBPAGE/org.css
@@ -14,18 +14,18 @@
 
   h1 {font-size: 14pt;}
 
-  #table-of-contents {
+#table-of-contents {
 	font-size: 85%;
 	position: fixed;
 	display: block;
 	left: 10px;
 	top: 180px;
 	width: 200px;
-	height: 600px;
+	min-height:60px;
+	max-height:55%;
 	line-height: 1.4em;
 	overflow:auto;
-        border-style:none;
-  }
+}
 
   #table-of-contents h2 {
 	display:none;