Keep whole nav in the HTML, for better browsing

pull/158/head
Roxedus 2023-10-17 18:20:09 +02:00
rodzic 1203110dd8
commit 8ffa652ce9
Nie znaleziono w bazie danych klucza dla tego podpisu
ID klucza GPG: EBC13557C4D91D7B
1 zmienionych plików z 1 dodań i 1 usunięć

Wyświetl plik

@ -15,7 +15,7 @@ theme:
- content.code.copy - content.code.copy
- navigation.footer - navigation.footer
- navigation.instant - navigation.instant
- navigation.prune # - navigation.prune
- navigation.top - navigation.top
- navigation.tracking - navigation.tracking
- search.highlight - search.highlight