dashboard: how hard links pull, on a dynamic map

On a dynamic map, links pull toward their lengths against the nodes
pushing each other apart, at one strength. A `pull` slider before the
layout's toggle, shown while dynamic, sets it from a quarter to four
times as hard (2 to its value, once at first), kept in the browser;
the map moves to the new balance smoothly.

1 files changed, 6 insertions, 2 deletions

diff --git a/docs/dashboard.md b/docs/dashboard.md
index 5c7ee13..de5fe3e 100644
--- a/docs/dashboard.md
+++ b/docs/dashboard.md
@@ -175,8 +175,12 @@ long as its round trip is slow, against the median link's, by the square root, f
 0.4 to 2.5 times the usual length; links without a round trip keep the usual length.
 In either layout, a link only intended (dashed grey) gives way to the measured ones: it
 pulls its ends together only a little when stretched, and doesn't push them apart. As
-round trips change, the map moves to the new lengths smoothly. Clicked again, it's
-static, the nodes staying where they are. The choice is kept in the browser.
+round trips change, the map moves to the new lengths smoothly. While dynamic, the
+`pull` slider before it sets how hard the links pull their ends together against the
+nodes pushing each other apart, from a quarter to four times as hard (once at first):
+harder, links keep their lengths more closely; softer, the nodes spread out more. The
+map moves to the new balance smoothly. Clicked again, it's static, the nodes staying
+where they are. The choice and the slider are kept in the browser.
 
 `tree: off`, next, switched to `tree: on`, shows a writer's tree ([`peers.md`](peers.md)): of the node in
 focus, else of this node. A chevron on the line from each member's parent to it, at its