# HG changeset patch # User wenzelm # Date 954239304 -7200 # Node ID 58b6f99dd5a91a1ac1c1323eec59c5bdb58f961d # Parent f625793c4fff66309a018500e6d2b1d6dd362c47 fixed railqtoken; diff -r f625793c4fff -r 58b6f99dd5a9 doc-src/railsetup.sty --- a/doc-src/railsetup.sty Tue Mar 28 11:50:23 2000 +0200 +++ b/doc-src/railsetup.sty Tue Mar 28 12:28:24 2000 +0200 @@ -29,5 +29,5 @@ \def\rail@indexfont{\small\rmfamily\itshape} \newcommand{\railtterm}[1]{{\texttt{#1}}} \newcommand{\railtoken}[1]{{\textrm{#1}}} -\newcommand{\railqtoken}[1]{{\textsl{#1}}} +\newcommand{\railqtoken}[1]{{\rmfamily\textsl{#1}}} \newcommand{\railnonterm}[1]{{\emph{#1}}}