X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=Utils%2FLambda.tex;h=6ad1fbbd9996524c46c12d931c202dbcbe26972f;hp=5efe1df0f0ad9aaeed8a510709e6ab490b212eeb;hb=8efa6369ca89d10a176f8aa5e10bc257ec3a80b7;hpb=de2fa4e3c8f450f3e3cb4cd1053ad055da8b4717

diff --git a/Utils/Lambda.tex b/Utils/Lambda.tex
index 5efe1df..6ad1fbb 100644
--- a/Utils/Lambda.tex
+++ b/Utils/Lambda.tex
@@ -8,7 +8,7 @@ path a, b;
 % Create a rectangle of the full size
 a := origin -- (\MPvar{width}, 0mm);
 % Randomize it a bit
-b := a randomized (\overlaywidth / 25) ;
+b := a randomized (\overlaywidth / 50) ;
 % And draw it
 drawoptions (withpen pencircle scaled .75mm withcolor black) ;
 draw b; 
@@ -22,6 +22,25 @@ draw b;
   {\setupMPvariables[HLine][#1]%
   \useMPgraphic{HLine}}
 
+\startuseMPgraphic{HDLine}
+path a, b;
+% Create a rectangle of the full size
+a := origin -- (\MPvar{width}, 0mm);
+% Randomize it a bit
+b := a randomized (\overlaywidth / 100) ;
+% And draw it
+drawoptions (withpen pencircle scaled .75mm withcolor black dashed evenly) ;
+draw b; 
+\stopuseMPgraphic
+
+% Draw a line with the given options. Accepts only the 'width' option. Be
+% careful that these are metapost options, so use \the\textwidth instead of
+% textwidth, and a metapost expression for arithmethic (e.g. 0.5 *
+% \the\textwidth instead of 0.5\textwidth).
+\def\HDLine[#1]%
+  {\setupMPvariables[HDLine][#1]%
+  \useMPgraphic{HDLine}}
+
 \startuseMPgraphic{box}
 path a, b;
 % Create a rectangle of the full size
@@ -77,3 +96,10 @@ draw b;
   \useMPgraphic{#1}
   \stopboxed
 }
+
+% Define a "definition" float. We would like some more backgroundoffset, but
+% this offset doesn't move the caption, causing the border to cross the
+% caption... Also, centering the content didn't seem to work...
+% TODO: Make more pretty.
+\definefloat[definition][definitions]
+\setupfloat[definition][background=box,backgroundoffset=1mm]