doc-src/railsetup.sty
author Walther Neuper <neuper@ist.tugraz.at>
Thu, 12 Aug 2010 15:03:34 +0200
branchisac-from-Isabelle2009-2
changeset 37913 20e3616b2d9c
parent 32241 96345b918125
child 43386 3f8d7f80173b
permissions -rw-r--r--
prepare reactivation of isac-update-Isa09-2
     1 %% dimensions
     2 
     3 \setlength\railextra{3.6ex}
     4 \setlength\railboxleft{0.9ex}
     5 \setlength\railboxright{0.9ex}
     6 \setlength\railovalspace{1.8ex}
     7 \setlength\railframespace{1.8ex}
     8 \setlength\railtextleft{0.9ex}
     9 \setlength\railtextright{0.9ex}
    10 \setlength\railnamesep{0.9ex}
    11 
    12 \setlength\railboxheight{16pt}
    13 \setlength\railboxskip{24pt}
    14 \setlength\railtextup{5pt}
    15 \setlength\railjoinsize{16pt}
    16 
    17 
    18 %% rail antiquotation environment
    19 
    20 \newenvironment{railoutput}%
    21 {\begin{list}{}{\rail@param}\def\rail@expand{\relax}\makeatletter}{\end{list}}
    22 
    23 
    24 %% old-style content markup
    25 
    26 \railalias{percent}{\%}
    27 \railalias{ppercent}{\%\%}
    28 \railalias{underscore}{\_}
    29 \railalias{lbrace}{\texttt{\ttlbrace}}
    30 \railalias{rbrace}{\texttt{\ttrbrace}}
    31 \railalias{atsign}{{\at}}
    32 
    33 \def\rail@termfont{\small\ttfamily\upshape}
    34 \def\rail@tokenfont{\small\ttfamily\upshape}
    35 \def\rail@nontfont{\small\rmfamily\upshape}
    36 \def\rail@annofont{\small\rmfamily\itshape}
    37 \def\rail@namefont{\small\rmfamily\itshape}
    38 \def\rail@indexfont{\small\rmfamily\itshape}
    39 \newcommand{\railtterm}[1]{{\texttt{#1}}}
    40 \newcommand{\railtok}[1]{{\textrm{#1}}}
    41 \newcommand{\railqtok}[1]{{\rmfamily\textsl{#1}}}
    42 \newcommand{\railnonterm}[1]{{\emph{#1}}}