fix:jans-cli remove toc auto hide

JanssenProject · Sep 19, 2022 · 0a37801 · 0a37801
1 parent ebc85fd
commit 0a37801
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/jans-cli-tui/mkdocs.yml b/jans-cli-tui/mkdocs.yml
@@ -5,7 +5,6 @@ repo_url: 'https://github.com/JanssenProject'
 edit_uri: 'https://github.com/JanssenProject'
 site_description: "Jans-Tui Docs"
 
-
 # Copyright
 copyright: Copyright &copy; 2022, The Janssen Project
 
@@ -29,7 +28,7 @@ theme:
     features:
       - navigation.instant
       - toc.follow
-        - toc.autohide
+        # - toc.autohide
           - search.suggest
           - search.highlight
       - navigation.tabs