Add a TOC to Getting started page

zilverline · Oct 9, 2024 · 9109660 · 9109660
1 parent 479e3f6
commit 9109660
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/docs/docs/getting-started.md b/docs/docs/getting-started.md
@@ -1,5 +1,8 @@
 ---
 title: Getting started with Sequent
+toc: true
+toc_sticky: true
+classes: []
 ---
 
 ## Guide assumptions