Improvements

Author: rcosta358

getting-started/overview.md

@@ -1,7 +1,7 @@
 ---
 title: Overview
 parent: Getting Started
-nav_order: 1
+nav_order: 2
 description: Learn what LiquidJava adds to Java.
 ---
 

getting-started/setup.md

@@ -1,7 +1,7 @@
 ---
 title: Setup
 parent: Getting Started
-nav_order: 2
+nav_order: 1
 description: Set up the dependency, verifier, and VS Code extension to start using LiquidJava.
 ---
 

index.md

@@ -5,32 +5,30 @@ nav_exclude: true
 has_toc: false
 description: Start with setup, runnable examples, and reference material for LiquidJava.
 cards:
+  - title: Getting Started
+    url: /getting-started/
+    description: Learn the basics, set up your environment, and run your first LiquidJava verification.
+  - title: Reference
+    url: /reference/
+    description: Look up LiquidJava concepts, annotations, and protocol rules in a more formal, detailed format.
   - title: VS Code Extension
     url: /tooling/vscode-extension/
-    description: Use real-time diagnostics, syntax highlighting, and state-machine visualizations directly in the editor.
+    description: Find out about real-time diagnostics, syntax highlighting, and more in the editor.
   - title: Command Line
     url: /tooling/cli/
     description: Run the verifier directly from the terminal for local checks, debugging, and CI workflows.
-  - title: Reference
-    url: /reference/
-    description: Look up LiquidJava concepts, annotations, and protocol rules in a more formal, detailed format.
   - title: Examples
     url: /examples/
-    description: Open runnable demo projects through Codespaces, dev containers, or a local Maven setup.
+    description: Explore focused code snippets that demonstrate how to use LiquidJava.
   - title: Resources
     url: /resources/
-    description: Explore related research papers, poster material, and source repositories.
+    description: Find related research papers, poster material, and source repositories.
 ---
 
 <div>
   <h1>Extending Java with Liquid Types</h1>
   <p>LiquidJava is an additional type system with liquid types for Java that allows expressing constraints that the program must follow to catch more bugs before executing the program.</p>
 
-  <div class="home-actions">
-    <a class="home-button primary" href="{{ '/getting-started/setup/' | relative_url }}">Install LiquidJava</a>
-    <a class="home-button secondary" href="{{ '/getting-started/overview/' | relative_url }}">Learn More</a>
-  </div>
-
   <div class="home-banner">
     <img src="{{ '/assets/images/banner.gif' | relative_url }}" alt="LiquidJava banner">
   </div>