[Docs] Improve docs navigation (#22720)

Signed-off-by: Harry Mellor <19981378+hmellor@users.noreply.github.com>
2025-08-12 12:25:55 +01:00
parent 007dd90859
commit 767e63b860
7 changed files with 40 additions and 19 deletions
--- a/mkdocs.yaml
+++ b/mkdocs.yaml
@@ -34,13 +34,14 @@ theme:
    - content.action.edit
    - content.code.copy
    - content.tabs.link
+    - navigation.instant
+    - navigation.instant.progress
    - navigation.tracking
    - navigation.tabs
    - navigation.tabs.sticky
    - navigation.sections
-    - navigation.prune
-    - navigation.top
    - navigation.indexes
+    - navigation.top
    - search.highlight
    - search.share
    - toc.follow