Add a "definition" float.

diff --git a/Utils/Lambda.tex b/Utils/Lambda.tex
index 5efe1df0f0ad9aaeed8a510709e6ab490b212eeb..1128c465044e3bd0c5769bea891acb935e0a7689 100644 (file)
--- a/Utils/Lambda.tex
+++ b/Utils/Lambda.tex
@@ -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]