diff --git a/doc/figs/ladder.png b/doc/figs/ladder.png index b1f2e719..abce1802 100644 Binary files a/doc/figs/ladder.png and b/doc/figs/ladder.png differ diff --git a/doc/figs/ladder.svg b/doc/figs/ladder.svg index 82eed77b..000ef802 100644 --- a/doc/figs/ladder.svg +++ b/doc/figs/ladder.svg @@ -1974,7 +1974,7 @@ inkscape:connector-curvature="0" sodipodi:nodetypes="cc" />