From: Matthijs Kooijman <matthijs@stdin.nl>
Date: Mon, 5 Oct 2009 10:20:24 +0000 (+0200)
Subject: Add a "definition" float.
X-Git-Tag: final-thesis~226
X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;h=8fc9744b20957eb9c51b70e09067f942593849fb;p=matthijs%2Fmaster-project%2Freport.git

Add a "definition" float.
---

diff --git a/Utils/Lambda.tex b/Utils/Lambda.tex
index 5efe1df..1128c46 100644
--- 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]