Give long pages a short list of jump links.

Each example below is the actual published output of the Manual content outline widget.