equal
deleted
inserted
replaced
25 \def\rail@nontfont{\small\rmfamily\upshape} |
25 \def\rail@nontfont{\small\rmfamily\upshape} |
26 \def\rail@annofont{\small\rmfamily\itshape} |
26 \def\rail@annofont{\small\rmfamily\itshape} |
27 \def\rail@namefont{\small\rmfamily\itshape} |
27 \def\rail@namefont{\small\rmfamily\itshape} |
28 \def\rail@indexfont{\small\rmfamily\itshape} |
28 \def\rail@indexfont{\small\rmfamily\itshape} |
29 \newcommand{\railtterm}[1]{{\texttt{#1}}} |
29 \newcommand{\railtterm}[1]{{\texttt{#1}}} |
30 \newcommand{\railtoken}[1]{{\textrm{#1}}} |
30 \newcommand{\railtok}[1]{{\textrm{#1}}} |
31 \newcommand{\railqtoken}[1]{{\rmfamily\textsl{#1}}} |
31 \newcommand{\railqtok}[1]{{\rmfamily\textsl{#1}}} |
32 \newcommand{\railnonterm}[1]{{\emph{#1}}} |
32 \newcommand{\railnonterm}[1]{{\emph{#1}}} |