Merge pull request #4 from Project-Navi/docs/swap-tier-colors

docs: swap tier colors + remove takens card highlight

Author: project-navi-bot

index.html

@@ -137,7 +137,7 @@
     }
 
     .card:hover { border-color: var(--accent-hover); }
-    .card--featured { border-color: var(--accent); }
+
 
     .card h3 {
       font-family: "Fraunces", Georgia, serif;
@@ -356,7 +356,7 @@ <h3><a href="/fd-formalization/">fd-formalization</a></h3>
         </div>
       </div>
 
-      <div class="card card--featured">
+      <div class="card">
         <span class="tier tier--formalization">formalization</span>
         <h3><a href="/takens-formalization/">takens-formalization</a></h3>
         <p>Lean 4 + Mathlib formalization of delay embedding theory. 42 declarations, novel coincidence length result. Zero sorry.</p>