--- a/doc-src/IsarRef/style.sty Mon May 02 21:46:54 2011 +0200
+++ b/doc-src/IsarRef/style.sty Mon May 02 21:59:47 2011 +0200
@@ -32,7 +32,14 @@
\sloppy
\isabellestyle{it}
+\newcommand{\isasymdash}{\mbox{-}}
+
\underscoreon
-\renewcommand{\isacharunderscore}{\_}
-\renewcommand{\isacharunderscorekeyword}{\_}
-\newcommand{\isasymdash}{\mbox{-}}
+\newcommand{\setupunderscore}{\def\isacharunderscore{\_}\def\isacharunderscorekeyword{\_}}
+\setupunderscore
+
+\makeatletter
+\def\rail@termfont{\isabellestyle{tt}\setupunderscore}
+\def\rail@nontfont{\isabellestyle{it}\setupunderscore}
+\def\rail@namefont{\isabellestyle{it}\setupunderscore}
+\makeatother
\ No newline at end of file