huskies: merge 820

2026-04-29 17:15:01 +00:00
parent c84786364a
commit 8a42839b37
15 changed files with 180 additions and 46 deletions
@@ -209,6 +209,16 @@ body,
 	}
 }

+/* Spinner for in-progress deterministic merges */
+@keyframes spin {
+	from {
+		transform: rotate(0deg);
+	}
+	to {
+		transform: rotate(360deg);
+	}
+}
+
 /* Agent lozenge appearance animation (simulates arriving from agents panel) */
@keyframes agentAppear {
 	from {