From 8fc9744b20957eb9c51b70e09067f942593849fb Mon Sep 17 00:00:00 2001
From: Matthijs Kooijman <matthijs@stdin.nl>
Date: Mon, 5 Oct 2009 12:20:24 +0200
Subject: [PATCH 1/1] Add a "definition" float.

---
 Utils/Lambda.tex | 7 +++++++
 1 file changed, 7 insertions(+)

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]
-- 
2.30.2