doc-src/railsetup.sty
author wenzelm
Fri Jul 30 15:56:58 1999 +0200 (1999-07-30)
changeset 7137 e5d18fd42430
child 7170 cb8afc731bee
permissions -rw-r--r--
hacking the rail package;
     1 
     2 \railalias{lbrace}{\ttlbrace}
     3 \railalias{rbrace}{\ttrbrace}
     4 \railalias{llbrace}{\ttlbrace\ttlbrace}
     5 \railalias{rrbrace}{\ttrbrace\ttrbrace}
     6 
     7 \setlength\railextra{3.6ex}
     8 \setlength\railboxleft{0.9ex}
     9 \setlength\railboxright{0.9ex}
    10 \setlength\railovalspace{1.8ex}
    11 \setlength\railframespace{1.8ex}
    12 \setlength\railtextleft{0.9ex}
    13 \setlength\railtextright{0.9ex}
    14 \setlength\railnamesep{0.9ex}
    15 
    16 \setlength\railboxheight{16pt}
    17 \setlength\railboxskip{24pt}
    18 \setlength\railtextup{5pt}
    19 \setlength\railjoinsize{16pt}
    20 
    21 \def\rail@termfont{\small\ttfamily\upshape}
    22 \def\rail@nontfont{\small\rmfamily\upshape}
    23 \def\rail@annofont{\small\rmfamily\itshape}
    24 \def\rail@namefont{\small\rmfamily\itshape}
    25 \def\rail@indexfont{\small\rmfamily\itshape}
    26 \newcommand{\railtoken}[1]{{\texttt{#1}}}
    27 \newcommand{\railqtoken}[1]{{\textsl{#1}}}
    28 \newcommand{\railnonterm}[1]{{\emph{#1}}}
    29 
    30 \newcommand\indexoutertoken[1]{\index{#1@\railtoken{#1} (outer syntax)|bold}}
    31 \newcommand\indexouternonterm[1]{\index{#1@\railnonterm{#1} (outer syntax)|bold}}