From 87600c192b05cae704d4f9bc0b6f30336f405f0e Mon Sep 17 00:00:00 2001
From: kovacsv <viktorkovacs@gmail.com>
Date: Sat, 14 Jan 2023 23:23:16 +0100
Subject: [PATCH] Preserve scroll position of the main part of the
 documentation during navigation.

---
 docs/static/style.css | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/docs/static/style.css b/docs/static/style.css
index b37b77f..14920ca 100644
--- a/docs/static/style.css
+++ b/docs/static/style.css
@@ -100,7 +100,7 @@ li
 	background: #ffffff;
 	height: 100%;
 	padding: 20px;
-	position: absolute;
+	position: fixed;
 	top: 0px;
 	left: 0px;
 	box-sizing: border-box;
@@ -152,10 +152,7 @@ li
 
 .main
 {
-	height: 100%;
 	padding: 20px;
-	box-sizing: border-box;
-	overflow: auto;
 }
 
 .function_container