From b955b99746b0c27b4665b1bb2230fd3525882f9a Mon Sep 17 00:00:00 2001
From: Ingolf Wagner <palo@pepe>
Date: Sat, 29 Sep 2018 19:07:12 +0200
Subject: [PATCH] sidebar is now fixed as well

---
 themes/first/src/css/main.less | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/themes/first/src/css/main.less b/themes/first/src/css/main.less
index 1ffca7a..143ec5e 100644
--- a/themes/first/src/css/main.less
+++ b/themes/first/src/css/main.less
@@ -103,14 +103,20 @@ body {
   nav#TableOfContents {
     grid-area: sidebar;
 
+    font-family: @font-sidebar;
+    color: @color-sidebar-font;
+
+    > ul {
+      position: fixed;
+    }
+
     ul {
+
       list-style-type: none;
       margin-left: .0em;
       padding-left: .6em;
     }
 
-    font-family: @font-sidebar;
-    color: @color-sidebar-font;
 
     a:link,a:visited,a:active {
       text-decoration: none;