better nav bar

This commit is contained in:
oxeo0 2025-05-17 01:21:36 +02:00
parent 7ed50c374c
commit d110635662

View file

@ -23,8 +23,11 @@ theme:
features: features:
- navigation.tabs - navigation.tabs
- navigation.prune # would reduce every page size but not very usable over Tor sadly
#- navigation.prune
- navigation.footer - navigation.footer
- navigation.sections
- navigation.expand
logo: assets/logo.png logo: assets/logo.png
favicon: assets/logo.png favicon: assets/logo.png
@ -580,10 +583,10 @@ nav:
copyright: "Creative Commons Zero: No Rights Reserved" copyright: "Creative Commons Zero: No Rights Reserved"
extra_javascript: #extra_javascript:
- https://fastly.jsdelivr.net/npm/jquery/dist/jquery.min.js # - https://fastly.jsdelivr.net/npm/jquery/dist/jquery.min.js
- https://fastly.jsdelivr.net/npm/echarts/dist/echarts.min.js # - https://fastly.jsdelivr.net/npm/echarts/dist/echarts.min.js
- assets/javascripts/interactive_graph.js # - assets/javascripts/interactive_graph.js
extra_css: extra_css:
- stylesheets/extra.css - stylesheets/extra.css