--- a/doc-src/IsarImplementation/style.sty Fri Oct 08 20:59:01 2010 +0100
+++ b/doc-src/IsarImplementation/style.sty Fri Oct 08 21:11:56 2010 +0100
@@ -26,7 +26,7 @@
\isafoldtag{FIXME}
\isakeeptag{mlref}
-\renewcommand{\isatagmlref}{\subsection*{\makebox[0pt][r]{\fbox{ML}~~}Reference}\begingroup\def\isastyletext{\rm}\small}
+\renewcommand{\isatagmlref}{\subsection*{\makebox[0pt][r]{\fbox{ML}~~}Reference}\begingroup\def\isastyletext{\rm}}
\renewcommand{\endisatagmlref}{\endgroup}
\isakeeptag{mlex}