Make the box randomization scale with the box size.

Previously, small boxes would sometimes be warped to much, causing content
to fall out.

diff --git a/Utils/Lambda.tex b/Utils/Lambda.tex
index 70c583d7e73159c2894f273bec90a29bce7979c7..2426178877fa3e10a67ed4f143381aa8ac2b9bcb 100644 (file)
--- a/Utils/Lambda.tex
+++ b/Utils/Lambda.tex
@@ -8,7 +8,7 @@ path a, b;
 % Create a rectangle of the full size
 a := unitsquare xyscaled(\overlaywidth,\overlayheight);
 % Randomize it a bit
-b := a randomized 10pt ;
+b := a randomized (\overlaywidth / 25) ;
 % And draw it
 drawoptions (withpen pencircle scaled .75mm withcolor black) ;
 draw b;