
diff -r 1c4250bc6258 -r 780100cd4060 ProgTutorial/document/root.tex
--- a/ProgTutorial/document/root.tex	Mon Nov 07 10:49:25 2011 +0000
+++ b/ProgTutorial/document/root.tex	Mon Nov 07 13:36:07 2011 +0000
@@ -88,6 +88,9 @@
 \newenvironment{graybox}
 {\def\FrameCommand{\fboxsep=1pt\colorbox{gray!20}}\MakeFramed{\smallskip\FrameRestore}}
 {\smallskip\endMakeFramed}
+\newenvironment{grayboxwithoutsep}
+{\def\FrameCommand{\fboxsep=1pt\colorbox{gray!20}}\MakeFramed{\FrameRestore}}
+{\endMakeFramed}
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 % this hack is for getting rid of the ML {* ... *} 
@@ -101,6 +104,10 @@
 \renewcommand{\isatagTutorialML}{\begin{vanishML}\begin{graybox}}
 \renewcommand{\endisatagTutorialML}{\end{graybox}\end{vanishML}}
 
+\isakeeptag{TutorialMLprf}
+\renewcommand{\isatagTutorialMLprf}{\begin{grayboxwithoutsep}}
+\renewcommand{\endisatagTutorialMLprf}{\end{grayboxwithoutsep}}
+
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 % for code that has line numbers
 \newenvironment{linenos}{\resetlinenumber\internallinenumbers}{\par\nolinenumbers}




