diff --git a/index.html b/index.html
index 7b43164..d858621 100644
--- a/index.html
+++ b/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>