1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/doc-src/railsetup.sty Fri Jul 30 15:56:58 1999 +0200
1.3 @@ -0,0 +1,31 @@
1.4 +
1.5 +\railalias{lbrace}{\ttlbrace}
1.6 +\railalias{rbrace}{\ttrbrace}
1.7 +\railalias{llbrace}{\ttlbrace\ttlbrace}
1.8 +\railalias{rrbrace}{\ttrbrace\ttrbrace}
1.9 +
1.10 +\setlength\railextra{3.6ex}
1.11 +\setlength\railboxleft{0.9ex}
1.12 +\setlength\railboxright{0.9ex}
1.13 +\setlength\railovalspace{1.8ex}
1.14 +\setlength\railframespace{1.8ex}
1.15 +\setlength\railtextleft{0.9ex}
1.16 +\setlength\railtextright{0.9ex}
1.17 +\setlength\railnamesep{0.9ex}
1.18 +
1.19 +\setlength\railboxheight{16pt}
1.20 +\setlength\railboxskip{24pt}
1.21 +\setlength\railtextup{5pt}
1.22 +\setlength\railjoinsize{16pt}
1.23 +
1.24 +\def\rail@termfont{\small\ttfamily\upshape}
1.25 +\def\rail@nontfont{\small\rmfamily\upshape}
1.26 +\def\rail@annofont{\small\rmfamily\itshape}
1.27 +\def\rail@namefont{\small\rmfamily\itshape}
1.28 +\def\rail@indexfont{\small\rmfamily\itshape}
1.29 +\newcommand{\railtoken}[1]{{\texttt{#1}}}
1.30 +\newcommand{\railqtoken}[1]{{\textsl{#1}}}
1.31 +\newcommand{\railnonterm}[1]{{\emph{#1}}}
1.32 +
1.33 +\newcommand\indexoutertoken[1]{\index{#1@\railtoken{#1} (outer syntax)|bold}}
1.34 +\newcommand\indexouternonterm[1]{\index{#1@\railnonterm{#1} (outer syntax)|bold}}