/* The work area's stylesheet, and it is empty.

   Every selector that was here — the tab row, the developer tabs, the agent feed, how it works, the
   bounded diff — belonged to `tools/ui/browser/work/`, and that directory is drawn from `app.css`
   now. Nothing references one of them, so none of them is left.

   **The file stays until three things outside this directory move.** `tools/ui/server/modules.ts`
   declares it as an asset, `tools/ui/server/page.html` links it, and `tools/ui/ui.docker.ts` asserts
   both — that the page links it and that it answers 200 without a session, which is what a work area
   left unstyled behind a login screen nobody sees was about. Whoever removes it removes all three in
   the same commit; an empty stylesheet costs one request, against a suite that would otherwise be
   green for the wrong reason. */