# HG changeset patch
# User wenzelm
# Date 1304263186 -7200
# Node ID 3f8d7f80173bb02493ab690c77a2a4996bef1cc9
# Parent  f32500b4bc233c13c0597d950bbae85d3fdbd402
default rail fonts via isabellestyle;

diff -r f32500b4bc23 -r 3f8d7f80173b doc-src/railsetup.sty
--- 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}}}