diff -r 2a69b119cdee -r e91f54791e14 CookBook/document/root.tex
--- a/CookBook/document/root.tex	Sat Sep 06 04:32:18 2008 +0200
+++ b/CookBook/document/root.tex	Tue Sep 09 14:57:23 2008 +0200
@@ -6,11 +6,13 @@
 \usepackage[pdftex]{graphicx}
 
 % Cross references to other manuals:
-\usepackage{xr}
-\externaldocument[I-]{implementation}
-\newcommand{\impref}[1]{\ref{I-#1}}
-\newcommand{\ichcite}[1]{[Impl.\,Man., ch.~\impref{#1}]}
-\newcommand{\isccite}[1]{[Impl.\,Man., sec.~\impref{#1}]}
+%\usepackage{xr}
+%\externaldocument[I-]{implementation}
+%\newcommand{\impref}[1]{\ref{I-#1}}
+%\newcommand{\ichcite}[1]{[Impl.\,Man., ch.~\impref{#1}]}
+\newcommand{\ichcite}[1]{[FIXME ref]}
+%\newcommand{\isccite}[1]{[Impl.\,Man., sec.~\impref{#1}]}
+\newcommand{\isccite}[1]{[FIXME ref]}
 
 \usepackage{pdfsetup}
 
@@ -19,8 +21,16 @@
 \renewcommand{\isastyle}{\isastyleminor}% use same formatting for txt and text
 \isadroptag{theory}
 
-\newenvironment{readmore}
-{\makebox[0pt][r]{\fbox{\textbf{Read More}}~~}\it}{}
+% sane default for proof documents
+\parindent 0pt\parskip 0.6ex
+
+
+% for comments on the margin
+\newcommand{\readmoremarginpar}[1]%
+{\marginpar[\raggedleft\small{#1}]{\raggedright\small{#1}}}
+
+\newenvironment{readmore}%
+{\hspace{-3pt}\readmoremarginpar{\fbox{\textbf{Read More}}}\it}{}
 
 \newtheorem{exercise}{Exercise}[section]
 
@@ -40,15 +50,13 @@
 
 \tableofcontents
 
-% sane default for proof documents
-\parindent 0pt\parskip 0.5ex
 
 % generated text of all theories
 \input{session}
 
 \newpage
 \bibliographystyle{abbrv}
-\bibliography{manul,cookbook}
+\bibliography{cookbook}
 
 \end{document}