From 36c5fd599f7bf68d72fd59462f0062b9db86f1f3 Mon Sep 17 00:00:00 2001
From: jepso <jepso@625475ce-881a-0410-a577-b389adb331d8>
Date: Wed, 13 Jun 2007 23:51:34 +0000
Subject: [PATCH] New documentation: table of contents does not have fixed
 position anymore

---
 manual/new/styles/basic.css | 33 ++++++---------------------------
 manual/new/styles/iefix.css |  5 -----
 2 files changed, 6 insertions(+), 32 deletions(-)

diff --git a/manual/new/styles/basic.css b/manual/new/styles/basic.css
index d4ed38024..5b1eed52f 100644
--- a/manual/new/styles/basic.css
+++ b/manual/new/styles/basic.css
@@ -138,47 +138,26 @@ a:visited:active {
 
 
 #table-of-contents {
-	position: absolute;
-	top: 0;
-	right: 0;
-	width: 20em;
-	overflow: auto;
 	border: 1px solid #cccccc;
 	background-color: #f6f6f6;
 	padding: 0 1em;
-	margin: 1em;
-	max-height: 95%;
+	margin: 0;
 }
 
 #wrap {
-	position: absolute;
-	left: 0;
-	top: 0;
 	width: 100%;
 	margin: 0;
 }
 
 #sidebar {
-    /* Netscape 4, IE 4.x-5.0/Win and other lesser browsers will use this */
-    position: absolute;
-    top: 0;
-    right: 0;
-    height: 100%;
-    z-index: 10;
-}
-
-#wrap > div#sidebar {
-    /* used by Opera 5+, Netscape6+/Mozilla, Konqueror, Safari, OmniWeb 4.5+,
-       iCab, ICEbrowser */
-	position: fixed;
+    float: right;
+    width: 20em;
+    margin: 0;
+    padding: 1em;
 }
 
 #content {
-	position: absolute;
-	top: 0;
-	left: 0;
-	right: 23em;
-	margin: 0;
+	margin-right: 20em;
 	padding: 1em;
 }
 
diff --git a/manual/new/styles/iefix.css b/manual/new/styles/iefix.css
index ad86cedf6..0e23c25c0 100644
--- a/manual/new/styles/iefix.css
+++ b/manual/new/styles/iefix.css
@@ -1,8 +1,3 @@
-div#sidebar {
-    /* IE5.5+/Win - this is more specific than the IE 5.0 version */
-    top: expression(eval(document.documentElement.scrollTop));
-}
-
 .tree .expander {
     margin-left: -0.60em;
 }