doc-src/railsetup.sty
author wenzelm
Sat Jun 03 23:57:04 2000 +0200 (2000-06-03)
changeset 9029 2962c80230e3
parent 8599 58b6f99dd5a9
child 9203 697f2c8727a1
permissions -rw-r--r--
removed brace aliases;
     1 
     2 \railalias{percent}{\%}
     3 \railalias{ppercent}{\%\%}
     4 \railalias{underscore}{\_}
     5 
     6 \setlength\railextra{3.6ex}
     7 \setlength\railboxleft{0.9ex}
     8 \setlength\railboxright{0.9ex}
     9 \setlength\railovalspace{1.8ex}
    10 \setlength\railframespace{1.8ex}
    11 \setlength\railtextleft{0.9ex}
    12 \setlength\railtextright{0.9ex}
    13 \setlength\railnamesep{0.9ex}
    14 
    15 \setlength\railboxheight{16pt}
    16 \setlength\railboxskip{24pt}
    17 \setlength\railtextup{5pt}
    18 \setlength\railjoinsize{16pt}
    19 
    20 \def\rail@termfont{\small\ttfamily\upshape}
    21 \def\rail@tokenfont{\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{\railtterm}[1]{{\texttt{#1}}}
    27 \newcommand{\railtoken}[1]{{\textrm{#1}}}
    28 \newcommand{\railqtoken}[1]{{\rmfamily\textsl{#1}}}
    29 \newcommand{\railnonterm}[1]{{\emph{#1}}}