Use \VHDL\ (etc.) instead of relying on \autoinsertnextspace.

[matthijs/master-project/report.git] / Utils / Lambda.tex

diff --git a/Utils/Lambda.tex b/Utils/Lambda.tex
index f88dfb435c3134b24ae0f94a47c846ebdfbdfc80..4aee4faf3a6511baf623eeec61914635b2781206 100644 (file)
--- a/Utils/Lambda.tex
+++ b/Utils/Lambda.tex
@@ -112,17 +112,18 @@ draw b;
   \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]
-
 % Define an "example" float. Don't add box around it, since an example will
 % commonly contain two boxed items (Before / after, code / picture).
 \definefloat[example][examples]
 \setupcaption[example][location=top] % Put captions on top
+% Define a definition float that shares its numbering and setting with
+% examples.
+\definefloat[definition][definitions][example]
+% Make sure the label really says definition instead of example, this
+% seems to be a bug in ConTeXt (\redodefinefloat in strc-flt.mkiv has
+% \presetlabeltext[#1=\Word{#3}~]% which should reference #1 instead of
+% #3).
+\setuplabeltext[en][definition=Definition]
 
 % Margin magic taken from
 % http://www.pragma-ade.com/general/manuals/details.pdf By setting negative
@@ -134,7 +135,7 @@ draw b;
 % jamming into the intermezzo. Also, some extra space is easier on the eye
 % (However, the intermezzo is moved to the right by this offset, instead of
 % moving the text to left. We can't increase the offset by much...)
-\setupfloat[intermezzo][offset=.3cm,leftmargindistance=-\leftmarginwidth, rightmargindistance=-\rightmarginwidth, default={outer}]
+\setupfloat[intermezzo][offset=-.3cm,leftmargindistance=-\leftmarginwidth, rightmargindistance=-\rightmarginwidth, default={outer}]
 \setupcaption[intermezzo][location=top,number=no] % Put captions on top
 
 \setupheads[aligntitle=float]