doc-src/railsetup.sty
author wenzelm
Fri Mar 08 15:53:15 2002 +0100 (2002-03-08)
changeset 13048 8b2eb3b78cc3
parent 9613 817b74e9c5aa
child 32234 96345b918125
permissions -rw-r--r--
tuned;
     1 
     2 \railalias{percent}{\%}
     3 \railalias{ppercent}{\%\%}
     4 \railalias{underscore}{\_}
     5 \railalias{lbrace}{\texttt{\ttlbrace}}
     6 \railalias{rbrace}{\texttt{\ttrbrace}}
     7 \railalias{atsign}{{\at}}
     8 
     9 \setlength\railextra{3.6ex}
    10 \setlength\railboxleft{0.9ex}
    11 \setlength\railboxright{0.9ex}
    12 \setlength\railovalspace{1.8ex}
    13 \setlength\railframespace{1.8ex}
    14 \setlength\railtextleft{0.9ex}
    15 \setlength\railtextright{0.9ex}
    16 \setlength\railnamesep{0.9ex}
    17 
    18 \setlength\railboxheight{16pt}
    19 \setlength\railboxskip{24pt}
    20 \setlength\railtextup{5pt}
    21 \setlength\railjoinsize{16pt}
    22 
    23 \def\rail@termfont{\small\ttfamily\upshape}
    24 \def\rail@tokenfont{\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{\railtterm}[1]{{\texttt{#1}}}
    30 \newcommand{\railtok}[1]{{\textrm{#1}}}
    31 \newcommand{\railqtok}[1]{{\rmfamily\textsl{#1}}}
    32 \newcommand{\railnonterm}[1]{{\emph{#1}}}