From 32ffa2aa00b1fcc54e57ac62deb23c7a88d88cfb Mon Sep 17 00:00:00 2001
From: Nelson Spence <nelson@projectnavi.ai>
Date: Tue, 31 Mar 2026 03:02:01 -0500
Subject: [PATCH] fix: remove permanent accent border from takens card

All cards should highlight on hover only, not have a default accent border.

Coding-Agent: claude-code
Model: claude-opus-4-6
---
 index.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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>