# HG changeset patch
# User haftmann
# Date 1238254177 -3600
# Node ID 3eccfc8019ba3200b0fc70fb5e12c8209a60cda1
# Parent  b8ca7e450de36c897479274cf5d47507edefe485
not yet fruitful tex experiments with bounding boxes

diff -r b8ca7e450de3 -r 3eccfc8019ba doc-src/Codegen/Thy/pictures/adaption.tex
--- a/doc-src/Codegen/Thy/pictures/adaption.tex	Fri Mar 27 14:44:18 2009 +0000
+++ b/doc-src/Codegen/Thy/pictures/adaption.tex	Sat Mar 28 16:29:37 2009 +0100
@@ -6,6 +6,12 @@
 
 \begin{document}
 
+\thispagestyle{empty}
+\setlength{\fboxrule}{0.01pt}
+\setlength{\fboxsep}{4pt}
+
+\fbox{
+
 \begin{tikzpicture}[scale = 0.5]
   \tikzstyle water=[color = blue, thick]
   \tikzstyle ice=[color = black, very thick, cap = round, join = round, fill = white]
@@ -43,4 +49,6 @@
     (adaption) -- (reserved);
 \end{tikzpicture}
 
+}
+
 \end{document}
diff -r b8ca7e450de3 -r 3eccfc8019ba doc-src/Codegen/Thy/pictures/architecture.tex
--- a/doc-src/Codegen/Thy/pictures/architecture.tex	Fri Mar 27 14:44:18 2009 +0000
+++ b/doc-src/Codegen/Thy/pictures/architecture.tex	Sat Mar 28 16:29:37 2009 +0100
@@ -6,6 +6,12 @@
 
 \begin{document}
 
+\thispagestyle{empty}
+\setlength{\fboxrule}{0.01pt}
+\setlength{\fboxsep}{4pt}
+
+\fbox{
+
 \begin{tikzpicture}[x = 4.2cm, y = 1cm]
   \tikzstyle entity=[rounded corners, draw, thick, color = black, fill = white];
   \tikzstyle process=[ellipse, draw, thick, color = green, fill = white];
@@ -30,4 +36,6 @@
   \draw [style=process_arrow] (seri) -- (Haskell);
 \end{tikzpicture}
 
+}
+
 \end{document}