From 7fa6c1d1596192e59419731e8b84d22473e5e902 Mon Sep 17 00:00:00 2001
From: Tom Willemsen
Date: Sun, 1 Jul 2012 14:04:44 +0200
Subject: Make the table of contents float

---
 site/stylesheet.css | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

(limited to 'site/stylesheet.css')

diff --git a/site/stylesheet.css b/site/stylesheet.css
index 8769763..6f9a01d 100644
--- a/site/stylesheet.css
+++ b/site/stylesheet.css
@@ -107,20 +107,21 @@ pre {
 }
 
 #table-of-contents {
-    position: absolute;
-    top: 0;
-    left: 20px;
-    overflow: auto;
+    position: fixed;
+    top: 16px;
+    right: 0;
     background-color: #262a2b;
+    overflow: auto;
+    max-height: 80%;
 }
 
 #table-of-contents h2 {
     font-size: medium;
+    margin-top: 0;
 }
 
 #table-of-contents:hover #text-table-of-contents {
     display: block;
-    border: 1px #000000 solid;
 }
 
 #text-table-of-contents {
-- 
cgit v1.2.3-54-g00ecf