hacking the rail package;
authorwenzelm
Fri Jul 30 15:56:58 1999 +0200 (1999-07-30)
changeset 7137e5d18fd42430
parent 7136 71f6eef45713
child 7138 0a17c2a93454
hacking the rail package;
doc-src/railsetup.sty
     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}}