28 \railalias{underscore}{\_} |
28 \railalias{underscore}{\_} |
29 \railalias{lbrace}{\texttt{\ttlbrace}} |
29 \railalias{lbrace}{\texttt{\ttlbrace}} |
30 \railalias{rbrace}{\texttt{\ttrbrace}} |
30 \railalias{rbrace}{\texttt{\ttrbrace}} |
31 \railalias{atsign}{{\at}} |
31 \railalias{atsign}{{\at}} |
32 |
32 |
33 \def\rail@termfont{\small\ttfamily\upshape} |
33 \def\rail@termfont{\small\ttfamily\upshape\isabellestyle{tt}} |
34 \def\rail@tokenfont{\small\ttfamily\upshape} |
34 \def\rail@tokenfont{\small\ttfamily\upshape} |
35 \def\rail@nontfont{\small\rmfamily\upshape} |
35 \def\rail@nontfont{\small\rmfamily\upshape\isabellestyle{it}} |
36 \def\rail@annofont{\small\rmfamily\itshape} |
36 \def\rail@annofont{\small\rmfamily\itshape} |
37 \def\rail@namefont{\small\rmfamily\itshape} |
37 \def\rail@namefont{\small\rmfamily\itshape\isabellestyle{it}} |
38 \def\rail@indexfont{\small\rmfamily\itshape} |
38 \def\rail@indexfont{\small\rmfamily\itshape} |
39 \newcommand{\railtterm}[1]{{\texttt{#1}}} |
39 \newcommand{\railtterm}[1]{{\texttt{#1}}} |
40 \newcommand{\railtok}[1]{{\textrm{#1}}} |
40 \newcommand{\railtok}[1]{{\textrm{#1}}} |
41 \newcommand{\railqtok}[1]{{\rmfamily\textsl{#1}}} |
41 \newcommand{\railqtok}[1]{{\rmfamily\textsl{#1}}} |
42 \newcommand{\railnonterm}[1]{{\emph{#1}}} |
42 \newcommand{\railnonterm}[1]{{\emph{#1}}} |