Corrections to push-pull

diff --git a/include/pushpull-trimming.html b/include/pushpull-trimming.html
index d00bf07c8aabe0b236bd2d349493c9459b3653ab..a3afc37484369c792d854d716f6f5752249fd5f5 100644 (file)
--- a/include/pushpull-trimming.html
+++ b/include/pushpull-trimming.html
@@ -9,7 +9,7 @@
   <dfn>Push/Pull trim</dfn>, activated by pressing <kbd class="mod3n"></kbd> key before
   starting the drag, will do just that.
 </p>
-</p>
+<p>
   The following pictures show the difference in the results of a normal trim and
   a push/pull trim:
 </p>

diff --git a/source/images/after-push-trim.png b/source/images/after-push-trim.png
index 0163c4b5b2cc2198db89b48058b8a07da189302d..1fe965ae91b971b0c9a41c6d019c85dbae7495ad 100644 (file)
Binary files a/source/images/after-push-trim.png and b/source/images/after-push-trim.png differ

diff --git a/source/images/before-trim.png b/source/images/before-trim.png
index 1fe965ae91b971b0c9a41c6d019c85dbae7495ad..0163c4b5b2cc2198db89b48058b8a07da189302d 100644 (file)
Binary files a/source/images/before-trim.png and b/source/images/before-trim.png differ