Fixes

Author: rcosta358

_sass/custom/custom.scss

@@ -213,7 +213,7 @@
 .home-button.primary {
   color: #fff;
   background: linear-gradient(135deg, #63c093 0%, #4e98a8 50%, #4a80b0 100%);
-  box-shadow: 0 18x 10px rgba(51, 80, 106, 0.22);
+  box-shadow: 0 18px 10px rgba(51, 80, 106, 0.22);
 }
 
 .home-button.secondary {

concepts/index.md

@@ -15,12 +15,12 @@ cards:
   - title: State Refinements
     url: /concepts/state-refinements/
     description: Learn how to model protocol-oriented object states and valid method transitions.
-  - title: Ghosts
-    url: /concepts/ghosts/
-    description: Learn how to track logical state that helps express and verify richer object invariants.
   - title: External Refinements
     url: /concepts/external-refinements/
     description: Learn how to refine external libraries that cannot be annotated directly.
+  - title: Ghosts
+    url: /concepts/ghosts/
+    description: Learn how to track logical state that helps express and verify richer object invariants.
 ---
 
 # Concepts

diagnostics/index.md

@@ -12,12 +12,12 @@ cards:
   - title: Warnings
     url: /diagnostics/warnings/
     description: Learn about the different verification warnings LiquidJava can report and what each one means.
-  - title: Structure
-    url: /diagnostics/diagnostic-structure/
-    description: Learn how to understand a diagnostic message.
   - title: Custom Messages
     url: /diagnostics/custom-messages/
     description: Learn how to provide clearer diagnostic messages using the `msg` parameter.
+  - title: Diagnostic Structure
+    url: /diagnostics/diagnostic-structure/
+    description: Learn how to understand a diagnostic message.
 ---
 
 # Diagnostics