Bring the warning amber and the dock's header tools to 3:1 - #61

Merged

nbenn merged 5 commits into

mainfrom

spec-dock-status

Sep 30, 2026

Commits on Sep 29, 2026

Draw the dock header's tools in text tokens, one step below a tool
nbenn
committed
624c459
Specify the status dot on meaning tokens, with no dock-local ones
nbenn
committed
870ce47

Commits on Sep 30, 2026

Merge remote-tracking branch 'origin/main' into spec-dock-status
nbenn
committed
28d68f0
Bring the header tools and the warning amber to 3:1, and test it
nbenn
committed
84f236f
Merge remote-tracking branch 'origin/main' into spec-dock-status
nbenn
committed
5a98e02