UI polish#1

Merged

broccoli-97 merged 7 commits into

mainfrom

May 9, 2026

Commits on May 9, 2026

style(ui): phase 1 — typography, icons, contrast, accent tokens

broccoli-97
and
claude
committed
fix(pdf): make double-click → editor jump fire reliably

broccoli-97
and
claude
committed
style(ui): phase 2 — surfaces, chrome boundaries, inputs

broccoli-97
and
claude
committed
style(ui): phase 3 — unify icon buttons, slim editor toolbar

broccoli-97
and
claude
committed
style(ui): phase 4 — chrome de-clutter (status bar, sidebar, toolbars, refs)

broccoli-97
and
claude
committed
style(ui): phase 5 — unify empty states (C7)

broccoli-97
and
claude
committed
fix(ui): restore status-bar tips, jump highlight, icon contrast

broccoli-97
and
claude
committed