pi-web-ui 0.92.0 → 0.94.0

package/dist/server/tool-info.js

@@ -0,0 +1,89 @@
+/** parameters（JSON Schema）的体积上限：超过就整丢。 */
+export const TOOL_PARAMETERS_CAP = 64_000;
+/** description 的字数上限（SDK 里的工具描述很少超过几百字，这里防的是扩展写疯）。 */
+export const TOOL_DESCRIPTION_CAP = 8_000;
+/** promptGuidelines 合计字数上限（进系统提示词的要点，正常都很短）。 */
+export const TOOL_GUIDELINES_CAP = 8_000;
+function str(v) {
+    if (typeof v !== "string")
+        return undefined;
+    const s = v.trim();
+    return s ? s : undefined;
+}
+/** 超长截断（`…` 结尾，与前端 truncateText 同款标记）。 */
+function cut(s, cap) {
+    return s.length > cap ? `${s.slice(0, cap)}…` : s;
+}
+/** 参数 schema 是否可下发（能序列化且不超上限）。 */
+function parametersWithinCap(params) {
+    if (params === undefined || params === null)
+        return false;
+    try {
+        const text = JSON.stringify(params);
+        return typeof text === "string" && text.length <= TOOL_PARAMETERS_CAP;
+    }
+    catch {
+        // 循环引用 / BigInt 等序列化不了的值：当成「没有 schema」。
+        return false;
+    }
+}
+/**
+ * 归一化一条工具定义 → wire 载荷。
+ *
+ * @param name 请求里的工具名（**永远以它为准**：定义里的 name 缺失时前端仍要能显示标题）。
+ * @param raw  引擎给的定义；undefined/null = 没找到。
+ */
+export function normalizeToolInfo(name, raw) {
+    const toolName = str(name) ?? "";
+    if (!raw || typeof raw !== "object")
+        return { name: toolName, found: false };
+    const payload = { name: toolName, found: true };
+    const label = str(raw.label);
+    if (label)
+        payload.label = cut(label, 200);
+    const description = str(raw.description);
+    if (description)
+        payload.description = cut(description, TOOL_DESCRIPTION_CAP);
+    const snippet = str(raw.promptSnippet);
+    if (snippet)
+        payload.promptSnippet = cut(snippet, TOOL_DESCRIPTION_CAP);
+    if (Array.isArray(raw.promptGuidelines)) {
+        const guidelines = [];
+        let total = 0;
+        for (const g of raw.promptGuidelines) {
+            const text = str(g);
+            if (!text)
+                continue;
+            if (total + text.length > TOOL_GUIDELINES_CAP)
+                break;
+            guidelines.push(text);
+            total += text.length;
+        }
+        if (guidelines.length > 0)
+            payload.promptGuidelines = guidelines;
+    }
+    if (raw.parameters !== undefined && raw.parameters !== null) {
+        if (parametersWithinCap(raw.parameters))
+            payload.parameters = raw.parameters;
+        else
+            payload.parametersDropped = true;
+    }
+    if (raw.active === true)
+        payload.active = true;
+    else if (raw.active === false)
+        payload.active = false;
+    const info = raw.sourceInfo;
+    if (info && typeof info === "object") {
+        const source = str(info.source);
+        if (source)
+            payload.source = source;
+        const scope = str(info.scope);
+        if (scope)
+            payload.scope = scope;
+    }
+    return payload;
+}
+/** 当前引擎不支持枚举工具定义时的应答（前端据此显示「当前引擎不支持」而不是「未找到」）。 */
+export function unsupportedToolInfo(name) {
+    return { name: str(name) ?? "", found: false, unsupported: true };
+}

package/dist/server/tool-manager.js

@@ -61,9 +61,12 @@ export const SCHEDULE_CANCEL_TOOL_NAME = "schedule_cancel";
 /** 展示文件工具（定义见 present-files-tool.ts）：把图片/视频/文本作为预览卡片
  *  推到对话里，卡片带预览/本地打开/在文件夹中显示/下载/复制路径。 */
 export const PRESENT_FILES_TOOL_NAME = "present_files";
+/** 文件认领工具（定义见 claim-files-tool.ts）：声明要改哪些文件，让同项目的
+ *  并行对话绕行（纯建议，不拦编辑）。 */
+export const CLAIM_FILES_TOOL_NAME = "claim_files";
 /** 旧工具名（持久化迁移用；新代码一律用 MARKERS_LIST_TOOL_NAME）。 */
 export const LEGACY_MARKERS_LIST_TOOL_NAME = "markers_list";
-/** 可开关的 Agent 工具总目录（共 25 个；bash 本体与 SDK 内置 edit/read
+/** 可开关的 Agent 工具总目录（共 26 个；bash 本体与 SDK 内置 edit/read
  *  不进目录——关了 agent 就残了，不给关）。 */
 export const AGENT_TOOL_CATALOG = [
     ...TERMINAL_TOOL_NAMES.map((name) => ({
@@ -78,26 +81,116 @@ export const AGENT_TOOL_CATALOG = [
         defaultOn: true,
         dshVisible: false,
     })),
-    { name: EDIT_SOFT_TOOL_NAME, group: "other", defaultOn: false, dshVisible: false },
-    { name: DELEGATE_TASK_TOOL_NAME, group: "other", defaultOn: true, dshVisible: false },
-    { name: ASK_USER_QUESTION_TOOL_NAME, group: "other", defaultOn: true, dshVisible: true },
-    { name: MARKERS_LIST_TOOL_NAME, group: "other", defaultOn: true, dshVisible: true },
+    {
+        name: EDIT_SOFT_TOOL_NAME,
+        group: "other",
+        defaultOn: false,
+        dshVisible: false,
+        descKey: "editSoftEnabledDesc",
+        offHintKey: "editSoftOffHint",
+    },
+    {
+        name: DELEGATE_TASK_TOOL_NAME,
+        group: "other",
+        defaultOn: true,
+        dshVisible: false,
+        descKey: "delegateTaskEnabledDesc",
+        offHintKey: "delegateTaskOffHint",
+    },
+    {
+        name: ASK_USER_QUESTION_TOOL_NAME,
+        group: "other",
+        defaultOn: true,
+        dshVisible: true,
+        descKey: "questionnaireEnabledDesc",
+        offHintKey: "questionnaireOffHint",
+    },
     // 默认关（AI 动用户浏览器，opt-in 才开）且 dshVisible=false：DSH 引擎没有页面桥
     // （page_request 由 pi 引擎的 customTool 发出），列在那里只会让用户关一个不存在的工具。
-    { name: BROWSER_PAGE_TOOL_NAME, group: "other", defaultOn: false, dshVisible: false },
+    {
+        name: BROWSER_PAGE_TOOL_NAME,
+        group: "other",
+        defaultOn: false,
+        dshVisible: false,
+        descKey: "browserPageEnabledDesc",
+        offHintKey: "browserPageOffHint",
+    },
     // 只读别的对话（含子代理实时消息与历史转录），默认开；DSH 引擎没有该 customTool。
-    { name: CONVERSATION_READ_TOOL_NAME, group: "other", defaultOn: true, dshVisible: false },
+    {
+        name: CONVERSATION_READ_TOOL_NAME,
+        group: "other",
+        defaultOn: true,
+        dshVisible: false,
+        descKey: "conversationReadEnabledDesc",
+        offHintKey: "conversationReadOffHint",
+    },
+    // 文件认领（事前打招呼，纯 advisory）：默认开，不打开 AI 不知道能认领；
+    // 关掉只少一路提醒（事后触碰集照常工作）；DSH 引擎没有该 customTool
+    // （走 goal-rpc，无 customTool 注册面），提醒是服务端算的、DSH 照样能看到。
+    {
+        name: CLAIM_FILES_TOOL_NAME,
+        group: "other",
+        defaultOn: true,
+        dshVisible: false,
+        descKey: "claimFilesEnabledDesc",
+        offHintKey: "claimFilesOffHint",
+    },
+    // 展示文件给用户（图片/视频内联、文本开预览弹窗、本地打开按钮）：默认开，
+    // 不打开模型根本不知道能“给用户看”；DSH 引擎没有该 customTool（走 shipped preset）。
+    {
+        name: PRESENT_FILES_TOOL_NAME,
+        group: "other",
+        defaultOn: true,
+        dshVisible: false,
+        descKey: "presentFilesEnabledDesc",
+        offHintKey: "presentFilesOffHint",
+    },
     // 技能全文按名加载（名录仍在 {{skills}} 段），默认开；DSH 引擎没有该 customTool
     // （走 goal-rpc，无 customTool 注册面）。
-    { name: SKILL_TOOL_NAME, group: "other", defaultOn: true, dshVisible: false },
+    {
+        name: SKILL_TOOL_NAME,
+        group: "other",
+        defaultOn: true,
+        dshVisible: false,
+        descKey: "skillEnabledDesc",
+        offHintKey: "skillOffHint",
+    },
     // 定时/延时唤醒：默认开（不打开 AI 根本不知道能定时；60s 间隔底线＋面板可随时取消），
     // DSH 引擎没有该 customTool（走 goal-rpc，无 customTool 注册面）。
-    { name: SCHEDULE_TASK_TOOL_NAME, group: "other", defaultOn: true, dshVisible: false },
-    { name: SCHEDULE_LIST_TOOL_NAME, group: "other", defaultOn: true, dshVisible: false },
-    { name: SCHEDULE_CANCEL_TOOL_NAME, group: "other", defaultOn: true, dshVisible: false },
-    // 展示文件给用户（图片/视频内联、文本开预览弹窗、本地打开按钮）：默认开，
-    // 不打开模型根本不知道能“给用户看”；DSH 引擎没有该 customTool（走 shipped preset）。
-    { name: PRESENT_FILES_TOOL_NAME, group: "other", defaultOn: true, dshVisible: false },
+    {
+        name: SCHEDULE_TASK_TOOL_NAME,
+        group: "other",
+        defaultOn: true,
+        dshVisible: false,
+        descKey: "scheduleTaskEnabledDesc",
+        offHintKey: "scheduleTaskOffHint",
+    },
+    {
+        name: SCHEDULE_LIST_TOOL_NAME,
+        group: "other",
+        defaultOn: true,
+        dshVisible: false,
+        descKey: "scheduleTaskEnabledDesc",
+        offHintKey: "scheduleTaskOffHint",
+    },
+    {
+        name: SCHEDULE_CANCEL_TOOL_NAME,
+        group: "other",
+        defaultOn: true,
+        dshVisible: false,
+        descKey: "scheduleTaskEnabledDesc",
+        offHintKey: "scheduleTaskOffHint",
+    },
+    // todo_list 唯一例外：行不在「其他」组，固定在上面的 markers 分区（设置页循环
+    // 跳过它，见 OTHER_AGENT_TOOLS；文案 key 照给，万一哪天搬家不用补）。
+    {
+        name: MARKERS_LIST_TOOL_NAME,
+        group: "other",
+        defaultOn: true,
+        dshVisible: true,
+        descKey: "todoListEnabledDesc",
+        offHintKey: "todoListOffHint",
+    },
 ];
 const KNOWN_NAMES = new Set(AGENT_TOOL_CATALOG.map((t) => t.name));
 /** 是否为本表登记的可开关工具（未知名一律 false，不抛错）。 */

package/package.json

@@ -1,6 +1,6 @@
 {
 	"name": "pi-web-ui",
-	"version": "0.92.0",
+	"version": "0.94.0",
 	"description": "Just open your browser to get all your work done — browser cockpit for AI coding agents (chat, code, files, terminal, Git in one tab)",
 	"license": "MIT",
 	"author": {
@@ -84,7 +84,7 @@
 	"dependencies": {
 		"@deepseek-ai/dsh-sdk-jsonrpc-server": "^0.1.1-rc.2",
 		"@deepseek-ai/dsh-sdk-protocol": "^0.1.1-rc.2",
-		"@earendil-works/pi-coding-agent": "^0.85.1",
+		"@earendil-works/pi-coding-agent": ">=0.85.1 <0.87.0",
 		"@xterm/addon-fit": "^0.11.0",
 		"@xterm/xterm": "^6.0.0",
 		"compression": "^1.8.2",

package/plugins/catalog.json

@@ -108,5 +108,15 @@
 		"descriptionEn": "Notes, todos and scheduled reminders in one place: a freely draggable always-on-top panel (position, size and settings all live in it, no separate view tab); reminders fire server-side (survive restarts, delivered on next open), with 5 AI tools and /note /todo /remind quick capture.",
 		"source": "xing-shuyin/pi-web-ui/plugins/notes",
 		"homepage": "https://github.com/xing-shuyin/pi-web-ui/tree/main/plugins/notes"
+	},
+	{
+		"id": "pi-web-multigit",
+		"name": "multi-git",
+		"icon": "🌿",
+		"iconSvg": "<svg xmlns=\"http://www.w3.org/2000/svg\" viewBox=\"0 0 24 24\" fill=\"none\" stroke=\"currentColor\" stroke-width=\"2\" stroke-linecap=\"round\" stroke-linejoin=\"round\"><circle cx=\"12\" cy=\"18\" r=\"3\"/><circle cx=\"6\" cy=\"6\" r=\"3\"/><circle cx=\"18\" cy=\"6\" r=\"3\"/><path d=\"M18 9v2c0 .6-.4 1-1 1H7c-.6 0-1-.4-1-1V9\"/><path d=\"M12 12v3\"/></svg>",
+		"description": "多仓库 Git 总览：工作区内每个仓库的变更、差异、历史、分支、贮藏、跨仓搜索与时间线，另有工作区分支聚合、Fetch/Pull 与内置终端（其余只读）。",
+		"descriptionEn": "Multi-repo Git overview: changes, diffs, history, branches, stashes, cross-repo search and a timeline for every repository in the workspace, plus a workspace-wide branch view, Fetch/Pull and an optional terminal.",
+		"source": "EinErste/pi-web-multigit",
+		"homepage": "https://github.com/EinErste/pi-web-multigit"
 	}
 ]

package/themes/ayu-light.css

@@ -0,0 +1,136 @@
+/* theme-name: 浅阑秋 */
+/* theme-name-en: Ayu Light */
+/* theme-group: classic */
+:root {
+	color-scheme: light;
+	--bg: #fcfcfc;
+	--bg-elev: #f8f9fa;
+	--bg-elev2: #f0f1f3;
+	--border: #e0e1e3;
+	--border-soft: #ecedef;
+	--text: #5c6166;
+	--text-dim: #66727f;
+	--text-faint: #6a7582;
+	--accent: #f29718;
+	--accent-soft: rgba(242, 151, 24, 0.14);
+	--green: #86b300;
+	--green-soft: rgba(134, 179, 0, 0.12);
+	--red: #f07171;
+	--red-soft: rgba(240, 113, 113, 0.1);
+	--amber: #e59645;
+	--blue: #3b82f6;
+	--blue-soft: rgba(59, 130, 246, 0.12);
+	--term-bg: #fcfcfc;
+	--term-fg: #5c6166;
+	--term-cursor: #f29718;
+	--term-cursor-accent: #fcfcfc;
+	--term-selection: rgba(242, 151, 24, 0.24);
+	--term-black: #5c6166;
+	--term-red: #f07171;
+	--term-green: #86b300;
+	--term-yellow: #eba400;
+	--term-blue: #22a4e6;
+	--term-magenta: #a37acc;
+	--term-cyan: #4cbf99;
+	--term-white: #f8f9fa;
+	--term-bright-black: #828e9f;
+	--term-bright-red: #f07171;
+	--term-bright-green: #86b300;
+	--term-bright-yellow: #eba400;
+	--term-bright-blue: #22a4e6;
+	--term-bright-magenta: #a37acc;
+	--term-bright-cyan: #4cbf99;
+	--term-bright-white: #ffffff;
+	--mono: "SF Mono", "JetBrains Mono", ui-monospace, Menlo, Consolas, monospace;
+	--mermaid-font-size: 12px;
+	--tooltip-bg: #f8f9fa;
+	--code-bg: #f0f1f3;
+	--code-text: #5c6166;
+	--code-border: var(--border-soft);
+	--code-pad: 8px 10px;
+	--card-body-pad: 4px 14px 12px;
+	--err-text: #e55a5a;
+	--red-text: #e55a5a;
+	--amber-text: #c77e24;
+	--info-blue: #22a4e6;
+	--link: #22a4e6;
+	--link-hover: #1a8fc4;
+	--link-soft: #22a4e6;
+	--md-strong: #5c6166;
+	--skill-blue: #22a4e6;
+	--plugin-purple: #b58cff;
+	--auth-green: #18a97c;
+	--scroll-thumb: #d8dade;
+	--scroll-thumb-hover: #b9bcc2;
+	--notice-err-bg: #401d23;
+	--notice-warn-bg: #38251f;
+	--notice-info-bg: #1b2544;
+	--notice-err-border: #ef4444;
+	--notice-warn-border: #f59e0b;
+	--notice-info-border: #3b82f6;
+	--send-blue: #f29718;
+	--send-blue-hover: #e08a0d;
+	--stop-red: #ef4444;
+	--stop-red-hover: #dc2626;
+	--brand-grad-a: #f29718;
+	--brand-grad-b: #f07171;
+	--on-amber: #1a1a1a;
+	--search-active-fg: #1a1d26;
+	--switch-knob: #ffffff;
+	--bg-elev3: rgba(255, 255, 255, 0.06);
+	--sunken-bg: rgba(0, 0, 0, 0.15);
+	--glow-015: rgba(255, 255, 255, 0.015);
+	--glow-025: rgba(255, 255, 255, 0.025);
+	--glow-03: rgba(255, 255, 255, 0.03);
+	--glow-04: rgba(255, 255, 255, 0.04);
+	--glow-05: rgba(255, 255, 255, 0.05);
+	--glow-12: rgba(255, 255, 255, 0.12);
+	--glow-18: rgba(255, 255, 255, 0.18);
+	--glow-22: rgba(255, 255, 255, 0.22);
+	--glow-38: rgba(255, 255, 255, 0.38);
+	--control-fg: #6b7d8f;
+	--control-bg: #f0f1f3;
+	--control-border: #e0e1e3;
+	--bg-image: none;
+	--bg-image-dim: 0.78;
+	--bg-image-blur: 0px;
+	--wallpaper-panel-alpha: 100%;
+	--topbar-bg: #f8f9fa;
+	--statusbar-bg: #fcfcfc;
+	--panel-bg: #f8f9fa;
+	--card-bg: #f8f9fa;
+	--chip-bg: #f0f1f3;
+	--msgs-bg: #fcfcfc;
+	--inputbox-bg: #f0f1f3;
+	--menu-bg: var(--bg-elev2);
+}
+
+/* ---- syntax highlighting (Ayu Light) ---- */
+.hljs {
+	color: #5c6166;
+	background: #f0f1f3;
+}
+.hljs-keyword,
+.hljs-meta .hljs-keyword {
+	color: #fa8532;
+	font-weight: 600;
+}
+.hljs-title,
+.hljs-title.function_ {
+	color: #eba400;
+}
+.hljs-number,
+.hljs-literal {
+	color: #a37acc;
+}
+.hljs-string {
+	color: #86b300;
+}
+.hljs-built_in,
+.hljs-type {
+	color: #55b4d4;
+}
+.hljs-comment {
+	color: #6a7582;
+	font-style: italic;
+}

package/themes/catppuccin-latte.css

@@ -18,6 +18,8 @@
 	--red: #d20f39;
 	--red-soft: rgba(210, 15, 57, 0.1);
 	--amber: #df8e1d;
+	--blue: #3b82f6;
+	--blue-soft: rgba(59, 130, 246, 0.12);
 	--term-bg: #eff1f5;
 	--term-fg: #4c4f69;
 	--term-cursor: #dc8a78;
@@ -68,6 +70,8 @@
 	--notice-info-border: #3b82f6;
 	--send-blue: #1e66f5;
 	--send-blue-hover: #7287fd;
+	--stop-red: #ef4444;
+	--stop-red-hover: #dc2626;
 	--brand-grad-a: #1e66f5;
 	--brand-grad-b: #8839ef;
 	--on-amber: #1a1a1a;

package/themes/catppuccin.css

@@ -18,6 +18,8 @@
 	--red: #f38ba8;
 	--red-soft: rgba(243, 139, 168, 0.12);
 	--amber: #f9e2af;
+	--blue: #3b82f6;
+	--blue-soft: rgba(59, 130, 246, 0.12);
 	--term-bg: #181825;
 	--term-fg: #cdd6f4;
 	--term-cursor: #f5e0dc;
@@ -68,6 +70,8 @@
 	--notice-info-border: #3b82f6;
 	--send-blue: #89b4fa;
 	--send-blue-hover: #b4befe;
+	--stop-red: #ef4444;
+	--stop-red-hover: #dc2626;
 	--brand-grad-a: #89b4fa;
 	--brand-grad-b: #cba6f7;
 	--on-amber: #1a1a1a;

package/themes/codex.css

@@ -0,0 +1,136 @@
+/* theme-name: Codex 清白 */
+/* theme-name-en: Codex Pure */
+/* theme-group: classic */
+:root {
+	color-scheme: light;
+	--bg: #ffffff;
+	--bg-elev: #f7f7f8;
+	--bg-elev2: #f0f0f2;
+	--border: #e5e5e5;
+	--border-soft: #ececf1;
+	--text: #0d0d0d;
+	--text-dim: #5d5d5d;
+	--text-faint: #6b6b7b;
+	--accent: #10a37f;
+	--accent-soft: rgba(16, 163, 127, 0.12);
+	--green: #10a37f;
+	--green-soft: rgba(16, 163, 127, 0.12);
+	--red: #ef4444;
+	--red-soft: rgba(239, 68, 68, 0.1);
+	--amber: #f59e0b;
+	--blue: #3b82f6;
+	--blue-soft: rgba(59, 130, 246, 0.12);
+	--term-bg: #f9f9fb;
+	--term-fg: #0d0d0d;
+	--term-cursor: #10a37f;
+	--term-cursor-accent: #ffffff;
+	--term-selection: rgba(16, 163, 127, 0.22);
+	--term-black: #0d0d0d;
+	--term-red: #ef4444;
+	--term-green: #10a37f;
+	--term-yellow: #f59e0b;
+	--term-blue: #2563eb;
+	--term-magenta: #8b5cf6;
+	--term-cyan: #06b6d4;
+	--term-white: #f7f7f8;
+	--term-bright-black: #5d5d5d;
+	--term-bright-red: #dc2626;
+	--term-bright-green: #059669;
+	--term-bright-yellow: #d97706;
+	--term-bright-blue: #1d4ed8;
+	--term-bright-magenta: #7c3aed;
+	--term-bright-cyan: #0891b2;
+	--term-bright-white: #ffffff;
+	--mono: "SF Mono", "JetBrains Mono", ui-monospace, Menlo, Consolas, monospace;
+	--mermaid-font-size: 12px;
+	--tooltip-bg: #ffffff;
+	--code-bg: #f4f4f5;
+	--code-text: #18181b;
+	--code-border: var(--border-soft);
+	--code-pad: 8px 10px;
+	--card-body-pad: 4px 14px 12px;
+	--err-text: #ef4444;
+	--red-text: #ef4444;
+	--amber-text: #d97706;
+	--info-blue: #2563eb;
+	--link: #10a37f;
+	--link-hover: #0e8c6d;
+	--link-soft: #10a37f;
+	--md-strong: #000000;
+	--skill-blue: #10a37f;
+	--plugin-purple: #b58cff;
+	--auth-green: #10a37f;
+	--scroll-thumb: #d4d4d8;
+	--scroll-thumb-hover: #a1a1aa;
+	--notice-err-bg: #401d23;
+	--notice-warn-bg: #38251f;
+	--notice-info-bg: #1b2544;
+	--notice-err-border: #ef4444;
+	--notice-warn-border: #f59e0b;
+	--notice-info-border: #3b82f6;
+	--send-blue: #10a37f;
+	--send-blue-hover: #0e8c6d;
+	--stop-red: #ef4444;
+	--stop-red-hover: #dc2626;
+	--brand-grad-a: #10a37f;
+	--brand-grad-b: #1a7f64;
+	--on-amber: #1a1a1a;
+	--search-active-fg: #1a1d26;
+	--switch-knob: #ffffff;
+	--bg-elev3: rgba(255, 255, 255, 0.06);
+	--sunken-bg: rgba(0, 0, 0, 0.15);
+	--glow-015: rgba(255, 255, 255, 0.015);
+	--glow-025: rgba(255, 255, 255, 0.025);
+	--glow-03: rgba(255, 255, 255, 0.03);
+	--glow-04: rgba(255, 255, 255, 0.04);
+	--glow-05: rgba(255, 255, 255, 0.05);
+	--glow-12: rgba(255, 255, 255, 0.12);
+	--glow-18: rgba(255, 255, 255, 0.18);
+	--glow-22: rgba(255, 255, 255, 0.22);
+	--glow-38: rgba(255, 255, 255, 0.38);
+	--control-fg: #52525b;
+	--control-bg: #f4f4f5;
+	--control-border: #e4e4e7;
+	--bg-image: none;
+	--bg-image-dim: 0.78;
+	--bg-image-blur: 0px;
+	--wallpaper-panel-alpha: 100%;
+	--topbar-bg: #ffffff;
+	--statusbar-bg: #f7f7f8;
+	--panel-bg: #ffffff;
+	--card-bg: #ffffff;
+	--chip-bg: #f4f4f5;
+	--msgs-bg: #ffffff;
+	--inputbox-bg: #f4f4f5;
+	--menu-bg: var(--bg-elev2);
+}
+
+/* ---- syntax highlighting (Codex Light) ---- */
+.hljs {
+	color: #18181b;
+	background: #f4f4f5;
+}
+.hljs-keyword,
+.hljs-meta .hljs-keyword {
+	color: #cf222e;
+	font-weight: 600;
+}
+.hljs-title,
+.hljs-title.function_ {
+	color: #8250df;
+}
+.hljs-number,
+.hljs-literal {
+	color: #0550ae;
+}
+.hljs-string {
+	color: #0a3069;
+}
+.hljs-built_in,
+.hljs-type {
+	color: #953800;
+}
+.hljs-comment {
+	color: #6e7781;
+	font-style: italic;
+}

package/themes/cyberpunk.css

@@ -17,6 +17,8 @@
 	--red: #ff006e;
 	--red-soft: rgba(255, 0, 110, 0.12);
 	--amber: #ffd700;
+	--blue: #3b82f6;
+	--blue-soft: rgba(59, 130, 246, 0.12);
 	--term-bg: #0a0a0f;
 	--term-fg: #e6e6ff;
 	--term-cursor: #00d4ff;
@@ -67,6 +69,8 @@
 	--notice-info-border: #3b82f6;
 	--send-blue: #00d4ff;
 	--send-blue-hover: #00b8d4;
+	--stop-red: #ef4444;
+	--stop-red-hover: #dc2626;
 	--brand-grad-a: #00d4ff;
 	--brand-grad-b: #ff006e;
 	--on-amber: #1a1a1a;

package/themes/dazzle.css

@@ -17,6 +17,8 @@
 	--red: #f43f5e;
 	--red-soft: rgba(244, 63, 94, 0.12);
 	--amber: #f59e0b;
+	--blue: #3b82f6;
+	--blue-soft: rgba(59, 130, 246, 0.12);
 	--term-bg: #0b0b14;
 	--term-fg: #e8e8f0;
 	--term-cursor: #818cf8;
@@ -67,6 +69,8 @@
 	--notice-info-border: #3b82f6;
 	--send-blue: #818cf8;
 	--send-blue-hover: #6366f1;
+	--stop-red: #ef4444;
+	--stop-red-hover: #dc2626;
 	--brand-grad-a: #818cf8;
 	--brand-grad-b: #c084fc;
 	--on-amber: #1a1a1a;