Build Pi Web 0.12.1 with the Pi Web on Hugging Face design (piweb/hf-design.patch)

Dockerfile

@@ -30,9 +30,20 @@ RUN chmod 755 /usr/local/bin/git-credential-huggingface \
  && git config --system credential.https://huggingface.co.helper /usr/local/bin/git-credential-huggingface \
  && git config --system credential.https://hf.co.helper /usr/local/bin/git-credential-huggingface
 
-# Pi Web, unmodified, from its npm release (prebuilt Next.js app + pi SDK).
+# Pi Web 0.12.1 with the "Pi Web on Hugging Face" design (piweb/hf-design.patch: Geist type,
+# the pi mark, borderless components, a sidebar slot for the gateway's workspace menu), built
+# from its release tag and installed as its npm package would be. The patch is the diff of
+# the hf-design branch in the project's pi-web-hf/ worktree; nothing else is changed.
 ARG PI_WEB_VERSION=0.12.1
-RUN npm install -g --no-audit --no-fund "@agegr/pi-web@${PI_WEB_VERSION}" && npm cache clean --force
+COPY piweb /tmp/piweb
+RUN git clone --quiet --depth 1 --branch "v${PI_WEB_VERSION}" https://github.com/agegr/pi-web /tmp/pi-web \
+ && cd /tmp/pi-web \
+ && git apply --binary /tmp/piweb/hf-design.patch \
+ && PLAYWRIGHT_SKIP_BROWSER_DOWNLOAD=1 NEXT_TELEMETRY_DISABLED=1 npm ci --no-audit --no-fund \
+ && NEXT_TELEMETRY_DISABLED=1 npm run build \
+ && npm pack --silent \
+ && npm install -g --no-audit --no-fund "./agegr-pi-web-${PI_WEB_VERSION}.tgz" \
+ && cd / && rm -rf /tmp/pi-web /tmp/piweb && npm cache clean --force
 
 COPY sandbox /opt/hfpi
 COPY www /opt/hfpi/www

README.md

@@ -18,7 +18,9 @@ it. It contains no secret.
 
 What is inside:
 
-- [Pi Web](https://github.com/agegr/pi-web) 0.12.1 (unmodified npm release) and the pi coding agent
+- [Pi Web](https://github.com/agegr/pi-web) 0.12.1 and the pi coding agent, built from the release tag with
+  `piweb/hf-design.patch`: the "Pi Web on Hugging Face" design (Geist and Geist Mono, the pi mark, borderless
+  components, quieter session rows) and a slot in the sidebar footer for the gateway's workspace menu
 - Node 22, Python 3, uv, git, git-lfs, build tools, ripgrep, fd, jq, zstd
 - the `hf` CLI (`huggingface_hub` 2.1.1) and the Hugging Face agent skills in `~/.agents/skills`
 - `sandbox/hfpi.mjs`: the supervisor that restores the user's projects and sessions from their bucket, runs Pi Web,