From d110635662b8fdd4093b06875402ec92b52a8f4b Mon Sep 17 00:00:00 2001 From: oxeo0 Date: Sat, 17 May 2025 01:21:36 +0200 Subject: [PATCH 1/3] better nav bar --- mkdocs.yml | 13 ++++++++----- 1 file changed, 8 insertions(+), 5 deletions(-) diff --git a/mkdocs.yml b/mkdocs.yml index 5037f8d..25e5b4a 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -23,8 +23,11 @@ theme: features: - navigation.tabs - - navigation.prune + # would reduce every page size but not very usable over Tor sadly + #- navigation.prune - navigation.footer + - navigation.sections + - navigation.expand logo: assets/logo.png favicon: assets/logo.png @@ -580,10 +583,10 @@ nav: copyright: "Creative Commons Zero: No Rights Reserved" -extra_javascript: - - https://fastly.jsdelivr.net/npm/jquery/dist/jquery.min.js - - https://fastly.jsdelivr.net/npm/echarts/dist/echarts.min.js - - assets/javascripts/interactive_graph.js +#extra_javascript: +# - https://fastly.jsdelivr.net/npm/jquery/dist/jquery.min.js +# - https://fastly.jsdelivr.net/npm/echarts/dist/echarts.min.js +# - assets/javascripts/interactive_graph.js extra_css: - stylesheets/extra.css From 85847200ef23ebef20173add0499fca2a8445934 Mon Sep 17 00:00:00 2001 From: oxeo0 Date: Sat, 17 May 2025 01:53:41 +0200 Subject: [PATCH 2/3] dont expand nav --- mkdocs.yml | 1 - 1 file changed, 1 deletion(-) diff --git a/mkdocs.yml b/mkdocs.yml index 25e5b4a..2166017 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -27,7 +27,6 @@ theme: #- navigation.prune - navigation.footer - navigation.sections - - navigation.expand logo: assets/logo.png favicon: assets/logo.png From 230adc65144169ff0a07d9005e4223fbaeac6259 Mon Sep 17 00:00:00 2001 From: oxeo0 Date: Sat, 17 May 2025 08:55:26 +0200 Subject: [PATCH 3/3] remove nav sections --- mkdocs.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mkdocs.yml b/mkdocs.yml index 2166017..66f5e89 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -26,7 +26,7 @@ theme: # would reduce every page size but not very usable over Tor sadly #- navigation.prune - navigation.footer - - navigation.sections + #- navigation.sections logo: assets/logo.png favicon: assets/logo.png