changeset 8599 | 58b6f99dd5a9 |
parent 8592 | c7f7cb82fd56 |
child 9029 | 2962c80230e3 |
--- 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}}}