web: DMMono Nerd Font — the actual Alacritty font

The font from ~/.alacritty.toml ([font].normal.family = 'DMMono Nerd
Font'), confirmed installed in ~/Library/Fonts. --mono now leads with
it (Menlo fallback); the font check asserts the computed stack.

src/web/ui.html

@@ -8,8 +8,8 @@
   :root[data-theme="dark"] {
     --bg: #0d1117; --panel: #161b22; --fg: #e6edf3; --muted: #8b949e;
     --border: #30363d; --accent: #58a6ff;
-    /* monospace content (raw/logs/jobs/node names) — Alacritty's macOS default */
-    --mono: Menlo, ui-monospace, SFMono-Regular, monospace;
+    /* monospace content (raw/logs/jobs/node names) — the Alacritty font (~/.alacritty.toml) */
+    --mono: "DMMono Nerd Font", Menlo, ui-monospace, SFMono-Regular, monospace;
     --led-on: #3fb950; --led-off: #f85149; --led-busy: #d29922; --led-free: #30363d;
     --glow-on: 0 0 8px 2px rgba(63,185,80,.55); --glow-busy: 0 0 8px 2px rgba(210,153,34,.55);
     --btn: #21262d; --btn-hover: #30363d;
@@ -17,7 +17,7 @@
   :root[data-theme="light"] {
     --bg: #f6f8fa; --panel: #ffffff; --fg: #1f2328; --muted: #656d76;
     --border: #d0d7de; --accent: #0969da;
-    --mono: Menlo, ui-monospace, SFMono-Regular, monospace;
+    --mono: "DMMono Nerd Font", Menlo, ui-monospace, SFMono-Regular, monospace;
     --led-on: #1a7f37; --led-off: #cf222e; --led-busy: #9a6700; --led-free: #d0d7de;
     --glow-on: 0 0 8px 2px rgba(26,127,55,.35); --glow-busy: 0 0 8px 2px rgba(154,103,0,.35);
     --btn: #f6f8fa; --btn-hover: #eaeef2;

src/web/ui.playwright.mjs

@@ -267,8 +267,8 @@ const monoFont = await page.evaluate(
   () => getComputedStyle(document.querySelector(".rawwin .logpre")).fontFamily,
 );
 ok(
-  "monospace content uses the alacritty font (Menlo)",
-  monoFont.startsWith("Menlo"),
+  "monospace content uses the alacritty font (DMMono Nerd Font)",
+  monoFont.replace(/"/g, "").startsWith("DMMono Nerd Font"),
   monoFont,
 );