From 7fa6c1d1596192e59419731e8b84d22473e5e902 Mon Sep 17 00:00:00 2001 From: Tom Willemsen Date: Sun, 1 Jul 2012 14:04:44 +0200 Subject: [PATCH] Make the table of contents float --- site/stylesheet.css | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) 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 {