--- a/doc-src/railsetup.sty Sun May 01 17:13:44 2011 +0200
+++ b/doc-src/railsetup.sty Sun May 01 17:19:46 2011 +0200
@@ -30,11 +30,11 @@
\railalias{rbrace}{\texttt{\ttrbrace}}
\railalias{atsign}{{\at}}
-\def\rail@termfont{\small\ttfamily\upshape}
+\def\rail@termfont{\small\ttfamily\upshape\isabellestyle{tt}}
\def\rail@tokenfont{\small\ttfamily\upshape}
-\def\rail@nontfont{\small\rmfamily\upshape}
+\def\rail@nontfont{\small\rmfamily\upshape\isabellestyle{it}}
\def\rail@annofont{\small\rmfamily\itshape}
-\def\rail@namefont{\small\rmfamily\itshape}
+\def\rail@namefont{\small\rmfamily\itshape\isabellestyle{it}}
\def\rail@indexfont{\small\rmfamily\itshape}
\newcommand{\railtterm}[1]{{\texttt{#1}}}
\newcommand{\railtok}[1]{{\textrm{#1}}}