equal
deleted
inserted
replaced
20 \setlength\railboxskip{24pt} |
20 \setlength\railboxskip{24pt} |
21 \setlength\railtextup{5pt} |
21 \setlength\railtextup{5pt} |
22 \setlength\railjoinsize{16pt} |
22 \setlength\railjoinsize{16pt} |
23 |
23 |
24 \def\rail@termfont{\small\ttfamily\upshape} |
24 \def\rail@termfont{\small\ttfamily\upshape} |
|
25 \def\rail@tokenfont{\small\ttfamily\upshape} |
25 \def\rail@nontfont{\small\rmfamily\upshape} |
26 \def\rail@nontfont{\small\rmfamily\upshape} |
26 \def\rail@annofont{\small\rmfamily\itshape} |
27 \def\rail@annofont{\small\rmfamily\itshape} |
27 \def\rail@namefont{\small\rmfamily\itshape} |
28 \def\rail@namefont{\small\rmfamily\itshape} |
28 \def\rail@indexfont{\small\rmfamily\itshape} |
29 \def\rail@indexfont{\small\rmfamily\itshape} |
29 \newcommand{\railtoken}[1]{{\texttt{#1}}} |
30 \newcommand{\railtterm}[1]{{\texttt{#1}}} |
|
31 \newcommand{\railtoken}[1]{{\textrm{#1}}} |
30 \newcommand{\railqtoken}[1]{{\textsl{#1}}} |
32 \newcommand{\railqtoken}[1]{{\textsl{#1}}} |
31 \newcommand{\railnonterm}[1]{{\emph{#1}}} |
33 \newcommand{\railnonterm}[1]{{\emph{#1}}} |