docs: Fix goals order

cgwalters · Nov 27, 2023 · 0eebde9 · 0eebde9
1 parent 73b1413
commit 0eebde9
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/docs/index.md b/docs/index.md
@@ -1,3 +1,7 @@
+---
+nav_order: 1
+---
+
 # Goals
 
 This project's toplevel goal is to maintain default definitions for