Add a "definition" float.
authorMatthijs Kooijman <matthijs@stdin.nl>
Mon, 5 Oct 2009 10:20:24 +0000 (12:20 +0200)
committerMatthijs Kooijman <matthijs@stdin.nl>
Mon, 5 Oct 2009 10:20:24 +0000 (12:20 +0200)
Utils/Lambda.tex

index 5efe1df0f0ad9aaeed8a510709e6ab490b212eeb..1128c465044e3bd0c5769bea891acb935e0a7689 100644 (file)
@@ -77,3 +77,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]