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