--- a/src/Doc/IsarRef/document/style.sty Sun Feb 09 13:07:23 2014 +0100
+++ b/src/Doc/IsarRef/document/style.sty Sun Feb 09 16:17:01 2014 +0100
@@ -39,10 +39,10 @@
\parindent 0pt\parskip 0.5ex
-\isabellestyle{literal}
+\isabellestyle{literalunderscore}
\newcommand{\isasymdash}{\isatext{\mbox{-}}}
\railtermfont{\isabellestyle{tt}}
-\railnontermfont{\isabellestyle{literal}}
-\railnamefont{\isabellestyle{literal}}
+\railnontermfont{\isabellestyle{literalunderscore}}
+\railnamefont{\isabellestyle{literalunderscore}}