From 1f71e052d7d2d0d74b2a70424528633e2ddb49ff Mon Sep 17 00:00:00 2001
From: pjay <ipriyanshujain@gmail.com>
Date: Wed, 12 Aug 2026 23:18:03 +0530
Subject: [PATCH] clean up dead jetbrains mono wiring in replay-ui (#70)

* fix(replay-ui): drop @font-face rules for fonts that were never shipped

* fix(replay-ui): drop unresolvable JetBrains Mono from --font-mono stack

* chore(replay-ui): remove vestigial empty public/fonts dir
---
 Makefile                            |  2 +-
 replay-ui/public/fonts/.gitkeep     |  0
 replay-ui/src/styles/tokens.css     |  2 +-
 replay-ui/src/styles/typography.css | 24 ------------------------
 4 files changed, 2 insertions(+), 26 deletions(-)
 delete mode 100644 replay-ui/public/fonts/.gitkeep

diff --git a/Makefile b/Makefile
index bdb0981..0b45e45 100644
--- a/Makefile
+++ b/Makefile
@@ -57,7 +57,7 @@ install: $(SIDECAR_EMBED) $(COMPANION_EMBED) $(RUNNER_EMBED) web-build
 web-build:
 	cd replay-ui && bun install --frozen-lockfile && bun run build
 	mkdir -p $(REPLAY_DIST)
-	rm -rf $(REPLAY_DIST)/assets $(REPLAY_DIST)/fonts
+	rm -rf $(REPLAY_DIST)/assets
 	cp -R $(WEB_DIST)/. $(REPLAY_DIST)/
 
 web-dev:
diff --git a/replay-ui/public/fonts/.gitkeep b/replay-ui/public/fonts/.gitkeep
deleted file mode 100644
index e69de29..0000000
diff --git a/replay-ui/src/styles/tokens.css b/replay-ui/src/styles/tokens.css
index 036c58f..00e1b51 100644
--- a/replay-ui/src/styles/tokens.css
+++ b/replay-ui/src/styles/tokens.css
@@ -8,7 +8,7 @@
   --text-muted: #6b6b6b;
   --accent-violation: #d32f2f;
   --accent-positive: #2e7d32;
-  --font-mono: "JetBrains Mono", ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
+  --font-mono: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
 }
 
 :root[data-theme="dark"],
diff --git a/replay-ui/src/styles/typography.css b/replay-ui/src/styles/typography.css
index 2060768..9b065b3 100644
--- a/replay-ui/src/styles/typography.css
+++ b/replay-ui/src/styles/typography.css
@@ -1,27 +1,3 @@
-@font-face {
-  font-family: "JetBrains Mono";
-  font-style: normal;
-  font-weight: 400;
-  font-display: swap;
-  src: url("/fonts/JetBrainsMono-Regular.woff2") format("woff2");
-}
-
-@font-face {
-  font-family: "JetBrains Mono";
-  font-style: normal;
-  font-weight: 500;
-  font-display: swap;
-  src: url("/fonts/JetBrainsMono-Medium.woff2") format("woff2");
-}
-
-@font-face {
-  font-family: "JetBrains Mono";
-  font-style: normal;
-  font-weight: 700;
-  font-display: swap;
-  src: url("/fonts/JetBrainsMono-Bold.woff2") format("woff2");
-}
-
 body {
   font-family: var(--font-mono);
   font-size: 13px;