From 358978e86c8e73f24b465922e669ed47b1d37aa0 Mon Sep 17 00:00:00 2001
From: David Rotermund <54365609+davrot@users.noreply.github.com>
Date: Tue, 5 Dec 2023 14:56:32 +0100
Subject: [PATCH] Update default.html

Signed-off-by: David Rotermund <54365609+davrot@users.noreply.github.com>
---
 _layouts/default.html | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/_layouts/default.html b/_layouts/default.html
index d29535e..0e9d6b3 100644
--- a/_layouts/default.html
+++ b/_layouts/default.html
@@ -167,7 +167,7 @@
           width: 200px; /* Adjust as needed */
           height: 100%;
           overflow: auto;
-          font-size: .55rem;
+          
         }
 
         .toc-class ul ul {
@@ -175,6 +175,10 @@
             padding-bottom: 10px;
         }        
 
+        .toc-class li {
+            font-size: .55rem;
+        }           
+        
     </style>
     
 </head>
@@ -302,9 +306,9 @@
                 tocElement.style.top = headerHeight - scrollTop + 'px'; // Adjust based on scroll position
             }
 
-            if (scrollTop + windowHeight > (docHeight - footerHeight)) {
+            if (scrollTop + 20 + windowHeight > (docHeight - footerHeight)) {
                 // We are in the region of the footer
-                tocElement.style.height = (docHeight - scrollTop - footerHeight) + 'px';
+                tocElement.style.height = (docHeight - scrollTop - footerHeight - 20) + 'px';
             } else {
                 tocElement.style.height = '100%';
             }