Modify Table of Contents heading

1 files changed, 21 insertions, 0 deletions

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;