docs/web-ui.md: trim 3 blank lines → 1 before Selection bar (argus #722)

This commit is contained in:
iris 2026-05-31 11:52:45 +02:00 committed by Mara
commit 003b36c4a0

View file

@ -472,8 +472,6 @@ needed). The joint at the row's own depth column is `├` (more
siblings below) or `└` (last sibling at this depth — vertical
stops at the row's icon midline).
### Selection bar
When one or more agents are selected (via icon click), a sticky