--- a/CookBook/document/root.tex	Thu Mar 12 15:43:22 2009 +0000
+++ b/CookBook/document/root.tex	Thu Mar 12 18:39:10 2009 +0000
@@ -12,6 +12,7 @@
 \usepackage{lineno}
 \usepackage{xcolor}
 \usepackage{framed}
+\usepackage{boxedminipage}
 \usepackage{mathpartir}
 \usepackage{pdfsetup}
 
@@ -37,7 +38,7 @@
 % sane default for proof documents
 \parindent 0pt
 \parskip 0.6ex
-\abovecaptionskip -3mm
+\abovecaptionskip 1mm
 \belowcaptionskip 10mm
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 \hyphenation{Isabelle}