1.1 --- a/doc-src/railsetup.sty	Sun May 01 17:13:44 2011 +0200
     1.2 +++ b/doc-src/railsetup.sty	Sun May 01 17:19:46 2011 +0200
     1.3 @@ -30,11 +30,11 @@
     1.4  \railalias{rbrace}{\texttt{\ttrbrace}}
     1.5  \railalias{atsign}{{\at}}
     1.6  
     1.7 -\def\rail@termfont{\small\ttfamily\upshape}
     1.8 +\def\rail@termfont{\small\ttfamily\upshape\isabellestyle{tt}}
     1.9  \def\rail@tokenfont{\small\ttfamily\upshape}
    1.10 -\def\rail@nontfont{\small\rmfamily\upshape}
    1.11 +\def\rail@nontfont{\small\rmfamily\upshape\isabellestyle{it}}
    1.12  \def\rail@annofont{\small\rmfamily\itshape}
    1.13 -\def\rail@namefont{\small\rmfamily\itshape}
    1.14 +\def\rail@namefont{\small\rmfamily\itshape\isabellestyle{it}}
    1.15  \def\rail@indexfont{\small\rmfamily\itshape}
    1.16  \newcommand{\railtterm}[1]{{\texttt{#1}}}
    1.17  \newcommand{\railtok}[1]{{\textrm{#1}}}