src/Doc/Codegen/document/style.sty

--- a/src/Doc/Codegen/document/style.sty	Thu Mar 28 21:24:55 2019 +0100
+++ b/src/Doc/Codegen/document/style.sty	Fri Mar 29 12:24:34 2019 +0100
@@ -49,7 +49,6 @@
 
 %% format
 \pagestyle{headings}
-\isabellestyle{it}
 
 %% ml reference
 \newenvironment{mldecls}{\par\noindent\begingroup\footnotesize\def\isanewline{\\}\begin{tabular}{l}}{\end{tabular}\smallskip\endgroup}
@@ -58,7 +57,7 @@
 \renewcommand{\isatagmlref}{\subsection*{\makebox[0pt][r]{\fbox{\ML}~~}Reference}\begingroup\def\isastyletext{\rm}\small}
 \renewcommand{\endisatagmlref}{\endgroup}
 
-\isabellestyle{it}
+\isabellestyle{literalunderscore}
 \def\isastylett{\footnotesize\normalfont\ttfamily}