1.1 --- a/doc-src/IsarRef/style.sty	Mon May 02 21:46:54 2011 +0200
     1.2 +++ b/doc-src/IsarRef/style.sty	Mon May 02 21:59:47 2011 +0200
     1.3 @@ -32,7 +32,14 @@
     1.4  \sloppy
     1.5  
     1.6  \isabellestyle{it}
     1.7 +\newcommand{\isasymdash}{\mbox{-}}
     1.8 +
     1.9  \underscoreon
    1.10 -\renewcommand{\isacharunderscore}{\_}
    1.11 -\renewcommand{\isacharunderscorekeyword}{\_}
    1.12 -\newcommand{\isasymdash}{\mbox{-}}
    1.13 +\newcommand{\setupunderscore}{\def\isacharunderscore{\_}\def\isacharunderscorekeyword{\_}}
    1.14 +\setupunderscore
    1.15 +
    1.16 +\makeatletter
    1.17 +\def\rail@termfont{\isabellestyle{tt}\setupunderscore}
    1.18 +\def\rail@nontfont{\isabellestyle{it}\setupunderscore}
    1.19 +\def\rail@namefont{\isabellestyle{it}\setupunderscore}
    1.20 +\makeatother
    1.21 \ No newline at end of file