From a349a7113be89515c97c16548de7848d0d6cfe59 Mon Sep 17 00:00:00 2001
From: Tom Willemsen
Date: Thu, 21 Jun 2012 23:18:01 +0200
Subject: Modify Table of Contents heading

---
 site/stylesheet.css | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)

diff --git a/site/stylesheet.css b/site/stylesheet.css
index 71d6fb8..385b84d 100644
--- a/site/stylesheet.css
+++ b/site/stylesheet.css
@@ -106,6 +106,27 @@ pre {
     margin: 10px;
 }
 
+#table-of-contents {
+    position: absolute;
+    top: 0;
+    left: 20px;
+    overflow: auto;
+    background-color: #262a2b;
+}
+
+#table-of-contents h2 {
+    font-size: medium;
+}
+
+#table-of-contents:hover #text-table-of-contents {
+    display: block;
+    border: 1px #000000 solid;
+}
+
+#text-table-of-contents {
+    display: none;
+}
+
 /* Org font-locking */
 .src {
     background-color: #002b36;
-- 
cgit v1.2.3-54-g00ecf