doc-src/railsetup.sty
author wenzelm
Tue Aug 03 19:02:03 1999 +0200 (1999-08-03)
changeset 7170 cb8afc731bee
parent 7137 e5d18fd42430
child 8592 c7f7cb82fd56
permissions -rw-r--r--
tuned;
     1 
     2 \railalias{percent}{\%}
     3 \railalias{ppercent}{\%\%}
     4 \railalias{underscore}{\_}
     5 \railalias{lbrace}{\ttlbrace}
     6 \railalias{rbrace}{\ttrbrace}
     7 \railalias{llbrace}{\ttlbrace\ttlbrace}
     8 \railalias{rrbrace}{\ttrbrace\ttrbrace}
     9 
    10 \setlength\railextra{3.6ex}
    11 \setlength\railboxleft{0.9ex}
    12 \setlength\railboxright{0.9ex}
    13 \setlength\railovalspace{1.8ex}
    14 \setlength\railframespace{1.8ex}
    15 \setlength\railtextleft{0.9ex}
    16 \setlength\railtextright{0.9ex}
    17 \setlength\railnamesep{0.9ex}
    18 
    19 \setlength\railboxheight{16pt}
    20 \setlength\railboxskip{24pt}
    21 \setlength\railtextup{5pt}
    22 \setlength\railjoinsize{16pt}
    23 
    24 \def\rail@termfont{\small\ttfamily\upshape}
    25 \def\rail@nontfont{\small\rmfamily\upshape}
    26 \def\rail@annofont{\small\rmfamily\itshape}
    27 \def\rail@namefont{\small\rmfamily\itshape}
    28 \def\rail@indexfont{\small\rmfamily\itshape}
    29 \newcommand{\railtoken}[1]{{\texttt{#1}}}
    30 \newcommand{\railqtoken}[1]{{\textsl{#1}}}
    31 \newcommand{\railnonterm}[1]{{\emph{#1}}}