1.1 --- a/doc-src/IsarRef/style.sty	Tue May 03 21:18:43 2011 +0200
     1.2 +++ b/doc-src/IsarRef/style.sty	Tue May 03 21:29:25 2011 +0200
     1.3 @@ -36,15 +36,9 @@
     1.4  
     1.5  \parindent 0pt\parskip 0.5ex
     1.6  
     1.7 -\isabellestyle{it}
     1.8 +\isabellestyle{itunderscore}
     1.9  \newcommand{\isasymdash}{\mbox{-}}
    1.10  
    1.11 -\underscoreon
    1.12 -\newcommand{\setupunderscore}{\def\isacharunderscore{\_}\def\isacharunderscorekeyword{\_}}
    1.13 -\setupunderscore
    1.14 -
    1.15 -\makeatletter
    1.16 -\def\rail@termfont{\isabellestyle{tt}\setupunderscore}
    1.17 -\def\rail@nontfont{\isabellestyle{it}\setupunderscore}
    1.18 -\def\rail@namefont{\isabellestyle{it}\setupunderscore}
    1.19 -\makeatother
    1.20 +\railtermfont{\isabellestyle{tt}}
    1.21 +\railnontermfont{\isabellestyle{itunderscore}}
    1.22 +\railnamefont{\isabellestyle{itunderscore}}