pi-web-ui 0.78.0 → 0.80.0

package/CHANGELOG.md

@@ -12,6 +12,37 @@
 
 暂无未发布内容。
 
+## [0.80.0] — 2026-09-12
+
+### Added
+
+- **桌面版（Electron 外壳）**：同一套服务端 + 前端装进一个原生窗口——主进程用随机空闲口起 `dist/server/index.js`（`ELECTRON_RUN_AS_NODE` 当纯 Node 用，不再额外捆一个 Node），`/api/health` 就绪后 `BrowserWindow` 直接加载该地址，因此前端 `appUrl("/ws")`、`server/protocol.ts` 全部零改动。可与网页版并存：不抢 `8787`（`PI_WEB_PORT` 被占用时自动退到随机空闲口）、独立数据目录（`<userData>/data`）、独立单实例锁；外链丢给系统浏览器，renderer 走 `contextIsolation + sandbox` 且无 Node。Windows 安装包（NSIS，可选安装目录）随每个 Release 由 CI 出包并附在 Release 页面（macOS dmg / Linux AppImage 已配好，CI 暂只出 Windows）；开发用 `npm run desktop:dev`，本地打包用 `npm run desktop:dist`。
+  - 当前**未签名**：首次运行 Windows 会提示「未知发布者」（进展见仓库 README 的 Code signing policy 一节）。
+
+### Changed
+
+- 桌面版图标复用网页版 PWA 图标（`web/public/icons/icon-1024.png`），网页版与桌面版换图标只改一处。
+- 仓库自检现在覆盖桌面壳：`npm run typecheck` / `format:check` / `lint` 都把 `desktop/` 纳入范围。
+
+## [0.79.0] — 2026-09-11
+
+### Added
+
+- 聊天消息支持渲染 LaTeX 公式（issue #116）：`$...$` 行内、`$$...$$` 独立行块走 KaTeX 渲染（`remark-math + rehype-katex`，字体随包离线可用）；代码围栏/行内 code 不受影响，公式写坏了只显示红色源码不打断整条消息。
+- 排队/插队气泡新增「撤回」按钮 ↩（#118）：点一下把该条消息从队列取回、文字落回输入框（输入框非空时追加到末尾，绝不覆盖正在打的字），改完直接重发；连续撤回多条按序追加。队列里只存文本，撤回只回文字（附件不恢复）。
+- 新增 paper（暖纸）/ mist（雾蓝灰）/ sakura（樱粉）三套浅色主题：主题切换器与 `make-light-theme.mjs` 生成器同步增强，终端配色跟随主题；`vscode-editor` / `db-client` 插件同步跟随亮色（见下 Fixed）。
+
+### Fixed
+
+- `vscode-editor` 插件跟随亮色主题：之前文件树/标签栏/弹窗底色引用了主应用不存在的 `--bg-elev0/1` 变量，亮色下永远回退到深色硬编码值；编辑器（CodeMirror `oneDark`）与底部 SSH 终端配色也是写死的深色。现在底色改走 `--bg/--bg-elev`，编辑器亮色用跟随 `--bg/--text/--accent` 的浅色壳（暗色仍是 `oneDark`，Compartment 热切换），终端读 `--term-*` 调色板；主应用切换主题时（`pi-web-ui:theme-change`）已打开的编辑器与存活终端一起换肤，无需重载。
+- `db-client` 插件跟随亮色主题：同上，文件树/主区/表头/弹窗输入框底色引用的 `--bg-elev0/1` 改走 `--bg/--bg-elev`（该插件无自绘深色组件，一次变量映射即完整跟随）。
+
+<!-- auto-i18n:start -->
+### i18n
+
+- 前端新增 key（1）：`queueRecallTip`
+<!-- auto-i18n:end -->
+
 ## [0.78.0] — 2026-09-11
 
 ### Added
@@ -450,7 +481,9 @@
 - 0.35.1（2026-08-27）：编辑重问保留附件（#18）+ 全窗口拖放（#19）。
 - 0.29.0（2026-08-23）：全局搜索弹窗（Ctrl+K）+ 消息列表惰性窗口化。
 
-[Unreleased]: https://github.com/xing-shuyin/pi-web-ui/compare/v0.78.0...main
+[Unreleased]: https://github.com/xing-shuyin/pi-web-ui/compare/v0.79.0...main
+[0.80.0]: https://github.com/xing-shuyin/pi-web-ui/releases/tag/v0.80.0
+[0.79.0]: https://github.com/xing-shuyin/pi-web-ui/releases/tag/v0.79.0
 [0.78.0]: https://github.com/xing-shuyin/pi-web-ui/releases/tag/v0.78.0
 [0.77.0]: https://github.com/xing-shuyin/pi-web-ui/releases/tag/v0.77.0
 [0.76.0]: https://github.com/xing-shuyin/pi-web-ui/releases/tag/v0.76.0

package/README.md

@@ -51,6 +51,8 @@ theme switching, and a full settings panel — tuned for daily development.
 - 🧩 [Plugins](#plugins)
 - 🎨 [Themes](#themes)
 - 🔒 [Security](#security)
+- 🪪 [Code signing policy](#code-signing-policy)
+- 🔐 [Privacy](#privacy)
 - 🌐 [Reverse proxy (nginx)](#reverse-proxy-nginx)
 - 🤝 [Contribute](#contribute)
 - 📄 [License](#license)
@@ -174,6 +176,24 @@ silences the warning):
 npm i -g --allow-scripts=node-pty,@google/genai,protobufjs pi-web-ui@latest
 ```
 
+### 🖥️ Desktop app (Windows installer)
+
+Prefer a window over a browser tab? Every release ships a Windows installer built
+from this repository by GitHub Actions:
+
+**[⬇ Download the latest installer](https://github.com/xing-shuyin/pi-web-ui/releases/latest)**
+— `pi-web-ui-desktop Setup <version>.exe`
+
+The desktop shell reuses this very server: it spawns `dist/server/index.js` on a
+random free loopback port and opens a window pointed at it (see
+[`desktop/README.md`](desktop/README.md)). The web version is untouched — no
+fight over port `8787`, separate data directory, both can run side by side.
+
+Currently Windows-only and **not code signed yet** — Windows SmartScreen will
+show an “unknown publisher” prompt the first time you run it (see the
+[code signing policy](#code-signing-policy)). Build it yourself with
+`npm run desktop:dist`.
+
 ### Termux (Android)
 
 pi-web-ui runs fine on Android via [Termux](https://termux.dev), but `node-pty`
@@ -471,6 +491,54 @@ Rules for merged themes: the file must be a single CSS file, set the `--term-*`
   management UI edits everything else and the server preserves the headers.
 
 
+## 🪪 Code signing policy
+
+Free code signing provided by [SignPath.io](https://signpath.io), certificate by
+[SignPath Foundation](https://signpath.org).
+
+Release binaries — the Windows installer `pi-web-ui-desktop Setup <version>.exe`
+attached to every [release](https://github.com/xing-shuyin/pi-web-ui/releases) —
+are built from the tagged commit by
+[`.github/workflows/desktop-release.yml`](.github/workflows/desktop-release.yml)
+and signed in that CI run, so a valid signature means the file is an automated
+build of the source code at that tag.
+
+### Team roles
+
+| Role | Who |
+| --- | --- |
+| **Authors / committers** (may push to `main`) | [@xing-shuyin](https://github.com/xing-shuyin) |
+| **Reviewers** (every non-committer change arrives as a PR and is reviewed before merge) | [@xing-shuyin](https://github.com/xing-shuyin) — community contributions are credited in the [contributors graph](https://github.com/xing-shuyin/pi-web-ui/graphs/contributors) |
+| **Approvers** (must approve each signing request) | [@xing-shuyin](https://github.com/xing-shuyin) |
+
+All team members use multi-factor authentication for both GitHub and SignPath.
+Our release artifacts contain no binaries we did not build ourselves, except
+upstream open-source components bundled by npm and electron-builder (see
+[License](#license)).
+
+**Privacy policy:** see [Privacy](#privacy) below.
+
+## 🔐 Privacy
+
+pi-web-ui runs entirely on your own machine and has **no telemetry, no analytics
+and no accounts of its own**. Conversations, attachments, settings and terminal
+history stay in your local data directory (`~/.pi-web/` by default, or
+`%APPDATA%\pi-web-ui\data` for the desktop app), and the HTTP server binds
+loopback unless you explicitly expose it.
+
+Network requests happen only in these cases:
+
+| When | To | What leaves your machine |
+| --- | --- | --- |
+| You send a message, or the agent calls a model | the model providers **you** configure (e.g. `api.openai.com`, `api.opencode.ai`, a local endpoint) | your prompt, the attached file contents and the conversation context |
+| Model catalog refresh (startup, then every 4 h) | `pi.dev` | nothing but the request itself |
+| You install or update a plugin, theme or language pack | `github.com` / `raw.githubusercontent.com` | nothing but the request itself |
+| You check for or install an update | `registry.npmjs.org` | nothing but the request itself |
+| Terminals on Windows, when neither Git Bash nor a `bash` on `PATH` exists | `frippery.org` | one download of `busybox64u.exe` into `<data dir>/bin/bash.exe`, reused offline afterwards |
+
+Reverse-proxy setups, the optional `PI_WEB_TOKEN` password and Docker port
+mappings are under your control — see [Security](#security).
+
 ## Reverse proxy (nginx)
 
 Serve pi-web-ui behind nginx on the same host (it binds loopback only, so a

package/package.json

@@ -1,6 +1,6 @@
 {
 	"name": "pi-web-ui",
-	"version": "0.78.0",
+	"version": "0.80.0",
 	"description": "Web chat interface for the pi coding agent, powered by the pi SDK (@earendil-works/pi-coding-agent) — one-command run, Docker/systemd/launchd deployable",
 	"license": "MIT",
 	"author": {
@@ -15,6 +15,7 @@
 	"files": [
 		"bin/",
 		"dist/",
+		"!dist/desktop",
 		"web/dist/",
 		"web/public/",
 		"themes/",
@@ -59,7 +60,7 @@
 		"build:dsh-runtime": "node scripts/copy-dsh-runtime.mjs",
 		"build:mermaid-vendor": "node scripts/build-mermaid-vendor.mjs",
 		"build:runtrace-vendor": "node scripts/build-runtrace-vendor.mjs",
-		"typecheck": "tsc -p tsconfig.server.json --noEmit && tsc -p web/tsconfig.json --noEmit && tsc -p tsconfig.tests.json --noEmit",
+		"typecheck": "tsc -p tsconfig.server.json --noEmit && tsc -p web/tsconfig.json --noEmit && tsc -p tsconfig.tests.json --noEmit && tsc -p desktop/tsconfig.json --noEmit",
 		"test": "vitest run",
 		"test:unit": "vitest run",
 		"test:smoke": "node tests/run-smoke.mjs",
@@ -69,10 +70,13 @@
 		"changelog:i18n": "node scripts/release-notes.mjs --unreleased",
 		"test:freeze": "node tests/freeze-test.mjs",
 		"start": "node dist/server/index.js",
-		"format": "prettier --write server/ web/src/ extensions/ scripts/ bin/ tests/*.mjs tests/unit/ *.mjs",
-		"format:check": "prettier --check server/ web/src/ extensions/ scripts/ bin/ tests/*.mjs tests/unit/ *.mjs",
-		"lint": "oxlint server/ web/src/ extensions/ scripts/",
-		"lint:fix": "oxlint --fix server/ web/src/ extensions/ scripts/"
+		"build:desktop": "tsc -p desktop/tsconfig.json",
+		"desktop:dev": "npm run build:desktop && electron dist/desktop/main.js",
+		"desktop:dist": "npm run build && npm run build:desktop && electron-builder -c desktop/electron-builder.yml",
+		"format": "prettier --write server/ web/src/ extensions/ scripts/ bin/ desktop/ tests/*.mjs tests/unit/ *.mjs",
+		"format:check": "prettier --check server/ web/src/ extensions/ scripts/ bin/ desktop/ tests/*.mjs tests/unit/ *.mjs",
+		"lint": "oxlint server/ web/src/ extensions/ scripts/ desktop/",
+		"lint:fix": "oxlint --fix server/ web/src/ extensions/ scripts/ desktop/"
 	},
 	"dependencies": {
 		"@deepseek-ai/dsh-sdk-jsonrpc-server": "^0.1.1-rc.2",
@@ -83,15 +87,18 @@
 		"compression": "^1.8.1",
 		"express": "^4.21.2",
 		"highlight.js": "^11.10.0",
+		"katex": "^0.16.47",
 		"node-pty": "^1.1.0",
 		"react": "^18.3.1",
 		"react-dom": "^18.3.1",
 		"react-icons": "^5.7.0",
 		"react-markdown": "^9.0.1",
 		"rehype-highlight": "^7.0.1",
+		"rehype-katex": "^7.0.1",
 		"rehype-raw": "^7.0.0",
 		"remark-breaks": "^4.0.0",
 		"remark-gfm": "^4.0.0",
+		"remark-math": "^6.0.0",
 		"typebox": "^1.3.14",
 		"ws": "^8.18.0"
 	},
@@ -106,6 +113,8 @@
 		"concurrently": "^9.1.0",
 		"cross-env": "^10.1.0",
 		"esbuild": "^0.25.12",
+		"electron": "^44.0.0",
+		"electron-builder": "^26.0.0",
 		"jsdom": "^26.1.0",
 		"mermaid": "^11.17.2",
 		"oxlint": "^1.81.0",

package/themes/mist.css

@@ -0,0 +1,179 @@
+/* theme-name: 雾蓝灰 */
+/* theme-name-en: Misty Blue Gray */
+:root {
+	color-scheme: light;
+	--bg: #e9eef4;
+	--bg-elev: #f8fafc;
+	--bg-elev2: #dde5ec;
+	--border: #cbd5e1;
+	--border-soft: #dde5ec;
+	--text: #1e293b;
+	--text-dim: #475569;
+	--text-faint: #94a3b8;
+	--accent: #0284c7;
+	--accent-soft: rgba(2, 132, 199, 0.12);
+	--green: #059669;
+	--green-soft: rgba(5, 150, 105, 0.12);
+	--red: #dc2626;
+	--red-soft: rgba(220, 38, 38, 0.1);
+	--amber: #d97706;
+	--term-bg: #f8fafc;
+	--term-fg: #1e293b;
+	--term-cursor: #0284c7;
+	--term-cursor-accent: #ffffff;
+	--term-selection: rgba(2, 132, 199, 0.28);
+	--term-black: #dbe3ec;
+	--term-red: #dc2626;
+	--term-green: #059669;
+	--term-yellow: #d97706;
+	--term-blue: #2563eb;
+	--term-magenta: #9333ea;
+	--term-cyan: #0e7490;
+	--term-white: #1e293b;
+	--term-bright-black: #94a3b8;
+	--term-bright-red: #dc2626;
+	--term-bright-green: #059669;
+	--term-bright-yellow: #d97706;
+	--term-bright-blue: #2563eb;
+	--term-bright-magenta: #9333ea;
+	--term-bright-cyan: #0e7490;
+	--term-bright-white: #020617;
+	--mono: "SF Mono", "JetBrains Mono", ui-monospace, Menlo, Consolas, monospace;
+	--mermaid-font-size: 12px;
+	--tooltip-bg: #ffffff;
+	--code-bg: #dde5ec;
+	--code-text: #1e293b;
+	--code-border: var(--border-soft);
+	--code-pad: 8px 10px;
+	--card-body-pad: 4px 14px 12px;
+	--err-text: #dc2626;
+	--red-text: #dc2626;
+	--amber-text: #b45309;
+	--info-blue: #2563eb;
+	--link: #0284c7;
+	--link-hover: #0369a1;
+	--link-soft: #0284c7;
+	--md-strong: #0f172a;
+	--skill-blue: #0284c7;
+	--plugin-purple: #b58cff;
+	--auth-green: #059669;
+	--scroll-thumb: #b6c2d1;
+	--scroll-thumb-hover: #94a3b8;
+	--notice-err-bg: #f9dee0;
+	--notice-warn-bg: #f0e6cb;
+	--notice-info-bg: #d9e6f5;
+	--notice-err-border: #dc2626;
+	--notice-warn-border: #b45309;
+	--notice-info-border: #2563eb;
+	--send-blue: #0284c7;
+	--send-blue-hover: #0369a1;
+	--brand-grad-a: #38bdf8;
+	--brand-grad-b: #0284c7;
+	--on-amber: #1a1a1a;
+	--search-active-fg: #1a1d26;
+	--switch-knob: #ffffff;
+	--bg-elev3: rgba(30, 58, 95, 0.05);
+	--glow-015: rgba(30, 58, 95, 0.02);
+	--glow-025: rgba(30, 58, 95, 0.02);
+	--glow-03: rgba(30, 58, 95, 0.02);
+	--glow-04: rgba(30, 58, 95, 0.03);
+	--glow-05: rgba(30, 58, 95, 0.03);
+	--glow-12: rgba(30, 58, 95, 0.08);
+	--glow-18: rgba(30, 58, 95, 0.12);
+	--glow-22: rgba(30, 58, 95, 0.15);
+	--glow-38: rgba(30, 58, 95, 0.25);
+	--control-fg: #475569;
+	--control-bg: #dde5ec;
+	--control-border: #cbd5e1;
+	--bg-image: none;
+	--bg-image-dim: 0.78;
+	--bg-image-blur: 0px;
+	--wallpaper-panel-alpha: 62%;
+	--topbar-bg: color-mix(in srgb, var(--bg-elev) var(--wallpaper-panel-alpha, 62%), transparent);
+	--statusbar-bg: color-mix(in srgb, var(--bg-elev) var(--wallpaper-panel-alpha, 62%), transparent);
+	--panel-bg: color-mix(in srgb, var(--bg-elev) var(--wallpaper-panel-alpha, 62%), transparent);
+	--card-bg: color-mix(in srgb, var(--bg-elev) var(--wallpaper-panel-alpha, 62%), transparent);
+	--chip-bg: color-mix(in srgb, var(--bg-elev2) var(--wallpaper-panel-alpha, 62%), transparent);
+	--msgs-bg: color-mix(in srgb, var(--bg-elev) var(--wallpaper-panel-alpha, 62%), transparent);
+	--inputbox-bg: color-mix(in srgb, var(--bg-elev2) var(--wallpaper-panel-alpha, 62%), transparent);
+	--menu-bg: var(--bg-elev2);
+}
+
+/* ---- syntax highlighting (overrides static github-dark import) ---- */
+.hljs {
+	color: #1e293b;
+	background: #dde5ec;
+}
+.hljs-doctag,
+.hljs-keyword,
+.hljs-meta .hljs-keyword,
+.hljs-template-tag,
+.hljs-template-variable,
+.hljs-type,
+.hljs-variable.language_ {
+	color: #cf222e;
+}
+.hljs-title,
+.hljs-title.class_,
+.hljs-title.class_.inherited__,
+.hljs-title.function_ {
+	color: #8250df;
+}
+.hljs-attr,
+.hljs-attribute,
+.hljs-literal,
+.hljs-meta,
+.hljs-number,
+.hljs-operator,
+.hljs-variable,
+.hljs-selector-attr,
+.hljs-selector-class,
+.hljs-selector-id {
+	color: #0550ae;
+}
+.hljs-regexp,
+.hljs-string,
+.hljs-meta .hljs-string {
+	color: #0a3069;
+}
+.hljs-built_in,
+.hljs-symbol {
+	color: #953800;
+}
+.hljs-comment,
+.hljs-code,
+.hljs-formula {
+	color: #7c8da0;
+}
+.hljs-name,
+.hljs-quote,
+.hljs-selector-tag,
+.hljs-selector-pseudo {
+	color: #116329;
+}
+.hljs-subst {
+	color: #1e293b;
+}
+.hljs-section {
+	color: #0550ae;
+	font-weight: 700;
+}
+.hljs-bullet {
+	color: #0550ae;
+}
+.hljs-emphasis {
+	color: #1e293b;
+	font-style: italic;
+}
+.hljs-strong {
+	color: #1e293b;
+	font-weight: 700;
+}
+.hljs-addition {
+	color: #116329;
+	background: #d7e9db;
+}
+.hljs-deletion {
+	color: #82071e;
+	background: #f2d3d6;
+}

package/themes/paper.css

@@ -0,0 +1,179 @@
+/* theme-name: 暖纸 */
+/* theme-name-en: Warm Paper */
+:root {
+	color-scheme: light;
+	--bg: #f7f1e3;
+	--bg-elev: #fffdf6;
+	--bg-elev2: #efe7d3;
+	--border: #ddcfae;
+	--border-soft: #e7dcc2;
+	--text: #3f372c;
+	--text-dim: #6f6250;
+	--text-faint: #a2937a;
+	--accent: #b45309;
+	--accent-soft: rgba(180, 83, 9, 0.12);
+	--green: #15803d;
+	--green-soft: rgba(21, 128, 61, 0.12);
+	--red: #b91c1c;
+	--red-soft: rgba(185, 28, 28, 0.1);
+	--amber: #d97706;
+	--term-bg: #f7f1e3;
+	--term-fg: #3f372c;
+	--term-cursor: #b45309;
+	--term-cursor-accent: #fffdf6;
+	--term-selection: rgba(180, 83, 9, 0.28);
+	--term-black: #e2d5b8;
+	--term-red: #b91c1c;
+	--term-green: #15803d;
+	--term-yellow: #a16207;
+	--term-blue: #1d4ed8;
+	--term-magenta: #9333ea;
+	--term-cyan: #0e7490;
+	--term-white: #3f372c;
+	--term-bright-black: #a2937a;
+	--term-bright-red: #b91c1c;
+	--term-bright-green: #15803d;
+	--term-bright-yellow: #a16207;
+	--term-bright-blue: #1d4ed8;
+	--term-bright-magenta: #9333ea;
+	--term-bright-cyan: #0e7490;
+	--term-bright-white: #1c1917;
+	--mono: "SF Mono", "JetBrains Mono", ui-monospace, Menlo, Consolas, monospace;
+	--mermaid-font-size: 12px;
+	--tooltip-bg: #fffdf6;
+	--code-bg: #efe7d3;
+	--code-text: #43382c;
+	--code-border: var(--border-soft);
+	--code-pad: 8px 10px;
+	--card-body-pad: 4px 14px 12px;
+	--err-text: #b91c1c;
+	--red-text: #b91c1c;
+	--amber-text: #92400e;
+	--info-blue: #1d4ed8;
+	--link: #9a3412;
+	--link-hover: #7c2d12;
+	--link-soft: #9a3412;
+	--md-strong: #292019;
+	--skill-blue: #b45309;
+	--plugin-purple: #b58cff;
+	--auth-green: #15803d;
+	--scroll-thumb: #d3c4a3;
+	--scroll-thumb-hover: #b8a67f;
+	--notice-err-bg: #f5dcd2;
+	--notice-warn-bg: #f0e5c8;
+	--notice-info-bg: #e6dfc9;
+	--notice-err-border: #b91c1c;
+	--notice-warn-border: #b45309;
+	--notice-info-border: #57534e;
+	--send-blue: #b45309;
+	--send-blue-hover: #92400e;
+	--brand-grad-a: #d97706;
+	--brand-grad-b: #b45309;
+	--on-amber: #1a1a1a;
+	--search-active-fg: #1a1d26;
+	--switch-knob: #ffffff;
+	--bg-elev3: rgba(120, 90, 30, 0.06);
+	--glow-015: rgba(120, 90, 30, 0.02);
+	--glow-025: rgba(120, 90, 30, 0.02);
+	--glow-03: rgba(120, 90, 30, 0.02);
+	--glow-04: rgba(120, 90, 30, 0.03);
+	--glow-05: rgba(120, 90, 30, 0.03);
+	--glow-12: rgba(120, 90, 30, 0.08);
+	--glow-18: rgba(120, 90, 30, 0.12);
+	--glow-22: rgba(120, 90, 30, 0.15);
+	--glow-38: rgba(120, 90, 30, 0.25);
+	--control-fg: #6f6250;
+	--control-bg: #efe7d3;
+	--control-border: #ddcfae;
+	--bg-image: none;
+	--bg-image-dim: 0.78;
+	--bg-image-blur: 0px;
+	--wallpaper-panel-alpha: 62%;
+	--topbar-bg: color-mix(in srgb, var(--bg-elev) var(--wallpaper-panel-alpha, 62%), transparent);
+	--statusbar-bg: color-mix(in srgb, var(--bg-elev) var(--wallpaper-panel-alpha, 62%), transparent);
+	--panel-bg: color-mix(in srgb, var(--bg-elev) var(--wallpaper-panel-alpha, 62%), transparent);
+	--card-bg: color-mix(in srgb, var(--bg-elev) var(--wallpaper-panel-alpha, 62%), transparent);
+	--chip-bg: color-mix(in srgb, var(--bg-elev2) var(--wallpaper-panel-alpha, 62%), transparent);
+	--msgs-bg: color-mix(in srgb, var(--bg-elev) var(--wallpaper-panel-alpha, 62%), transparent);
+	--inputbox-bg: color-mix(in srgb, var(--bg-elev2) var(--wallpaper-panel-alpha, 62%), transparent);
+	--menu-bg: var(--bg-elev2);
+}
+
+/* ---- syntax highlighting (overrides static github-dark import) ---- */
+.hljs {
+	color: #3f372c;
+	background: #efe7d3;
+}
+.hljs-doctag,
+.hljs-keyword,
+.hljs-meta .hljs-keyword,
+.hljs-template-tag,
+.hljs-template-variable,
+.hljs-type,
+.hljs-variable.language_ {
+	color: #cf222e;
+}
+.hljs-title,
+.hljs-title.class_,
+.hljs-title.class_.inherited__,
+.hljs-title.function_ {
+	color: #8250df;
+}
+.hljs-attr,
+.hljs-attribute,
+.hljs-literal,
+.hljs-meta,
+.hljs-number,
+.hljs-operator,
+.hljs-variable,
+.hljs-selector-attr,
+.hljs-selector-class,
+.hljs-selector-id {
+	color: #0550ae;
+}
+.hljs-regexp,
+.hljs-string,
+.hljs-meta .hljs-string {
+	color: #0a3069;
+}
+.hljs-built_in,
+.hljs-symbol {
+	color: #953800;
+}
+.hljs-comment,
+.hljs-code,
+.hljs-formula {
+	color: #8a7d64;
+}
+.hljs-name,
+.hljs-quote,
+.hljs-selector-tag,
+.hljs-selector-pseudo {
+	color: #116329;
+}
+.hljs-subst {
+	color: #3f372c;
+}
+.hljs-section {
+	color: #0550ae;
+	font-weight: 700;
+}
+.hljs-bullet {
+	color: #0550ae;
+}
+.hljs-emphasis {
+	color: #3f372c;
+	font-style: italic;
+}
+.hljs-strong {
+	color: #3f372c;
+	font-weight: 700;
+}
+.hljs-addition {
+	color: #116329;
+	background: #dfe8cf;
+}
+.hljs-deletion {
+	color: #82071e;
+	background: #f0d4c4;
+}