Refactoring

Author: rcosta358

index.md

@@ -11,15 +11,15 @@ cards:
   - title: Concepts
     url: /concepts/
     description: Look up LiquidJava concepts, annotations, and protocol rules in a more formal, detailed format.
+  - title: Diagnostics
+    url: /diagnostics/
+    description: Understand LiquidJava errors, warnings, diagnostic structure, and custom diagnostic messages.
   - title: VS Code Extension
     url: /vscode/
     description: Find out about real-time diagnostics, syntax highlighting, and more in the editor.
   - title: Command Line
     url: /cli/
     description: Run the verifier directly from the terminal for local checks, debugging, and CI workflows.
-  - title: Diagnostics
-    url: /diagnostics/
-    description: Understand LiquidJava errors, warnings, diagnostic structure, and custom diagnostic messages.
   - title: Examples
     url: /examples/
     description: Explore focused code snippets that demonstrate how to use LiquidJava.

404.md pages/404.md404.md renamed to pages/404.md

@@ -1,10 +1,11 @@
 ---
 title: Examples
-nav_order: 4    
+nav_order: 6  
 has_children: false
+permalink: /examples/
 description: LiquidJava example usages with focused code snippets.
 ---
 
 # Examples
 
-TODO
+TODO

tooling/cli.md pages/cli.mdtooling/cli.md renamed to pages/cli.md

@@ -2,6 +2,7 @@
 title: Resources
 nav_order: 7
 has_children: false
+permalink: /resources/
 description: Find LiquidJava papers, posters, and source repositories for deeper reading and experimentation.
 ---
 
@@ -26,4 +27,4 @@ description: Find LiquidJava papers, posters, and source repositories for deeper
 
 ## Website
 
-- [LiquidJava Website](https://liquid-java.github.io)
+- [LiquidJava Website](https://liquid-java.github.io)

examples.md pages/examples.mdexamples.md renamed to pages/examples.md

@@ -1,6 +1,6 @@
 ---
 title: VS Code Extension
-nav_order: 6
+nav_order: 4
 permalink: /vscode/
 description: Install the LiquidJava VS Code extension for live verification, syntax highlighting, and protocol visualizations.
 ---