| author | haftmann |
| Fri, 12 Feb 2010 09:49:28 +0100 | |
| changeset 35120 | 0a3adceb9c67 |
| parent 32234 | 96345b918125 |
| child 42515 | 3f8d7f80173b |
| permissions | -rw-r--r-- |
|
32234
96345b918125
added rail antiquotation environment, which coexists with old-style content markup;
wenzelm
parents:
13048
diff
changeset
|
1 |
%% dimensions |
| 7137 | 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 |
||
|
32234
96345b918125
added rail antiquotation environment, which coexists with old-style content markup;
wenzelm
parents:
13048
diff
changeset
|
17 |
|
|
96345b918125
added rail antiquotation environment, which coexists with old-style content markup;
wenzelm
parents:
13048
diff
changeset
|
18 |
%% rail antiquotation environment |
|
96345b918125
added rail antiquotation environment, which coexists with old-style content markup;
wenzelm
parents:
13048
diff
changeset
|
19 |
|
|
96345b918125
added rail antiquotation environment, which coexists with old-style content markup;
wenzelm
parents:
13048
diff
changeset
|
20 |
\newenvironment{railoutput}%
|
|
96345b918125
added rail antiquotation environment, which coexists with old-style content markup;
wenzelm
parents:
13048
diff
changeset
|
21 |
{\begin{list}{}{\rail@param}\def\rail@expand{\relax}\makeatletter}{\end{list}}
|
|
96345b918125
added rail antiquotation environment, which coexists with old-style content markup;
wenzelm
parents:
13048
diff
changeset
|
22 |
|
|
96345b918125
added rail antiquotation environment, which coexists with old-style content markup;
wenzelm
parents:
13048
diff
changeset
|
23 |
|
|
96345b918125
added rail antiquotation environment, which coexists with old-style content markup;
wenzelm
parents:
13048
diff
changeset
|
24 |
%% old-style content markup |
|
96345b918125
added rail antiquotation environment, which coexists with old-style content markup;
wenzelm
parents:
13048
diff
changeset
|
25 |
|
|
96345b918125
added rail antiquotation environment, which coexists with old-style content markup;
wenzelm
parents:
13048
diff
changeset
|
26 |
\railalias{percent}{\%}
|
|
96345b918125
added rail antiquotation environment, which coexists with old-style content markup;
wenzelm
parents:
13048
diff
changeset
|
27 |
\railalias{ppercent}{\%\%}
|
|
96345b918125
added rail antiquotation environment, which coexists with old-style content markup;
wenzelm
parents:
13048
diff
changeset
|
28 |
\railalias{underscore}{\_}
|
|
96345b918125
added rail antiquotation environment, which coexists with old-style content markup;
wenzelm
parents:
13048
diff
changeset
|
29 |
\railalias{lbrace}{\texttt{\ttlbrace}}
|
|
96345b918125
added rail antiquotation environment, which coexists with old-style content markup;
wenzelm
parents:
13048
diff
changeset
|
30 |
\railalias{rbrace}{\texttt{\ttrbrace}}
|
|
96345b918125
added rail antiquotation environment, which coexists with old-style content markup;
wenzelm
parents:
13048
diff
changeset
|
31 |
\railalias{atsign}{{\at}}
|
|
96345b918125
added rail antiquotation environment, which coexists with old-style content markup;
wenzelm
parents:
13048
diff
changeset
|
32 |
|
| 7137 | 33 |
\def\rail@termfont{\small\ttfamily\upshape}
|
| 8592 | 34 |
\def\rail@tokenfont{\small\ttfamily\upshape}
|
| 7137 | 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}
|
|
| 8592 | 39 |
\newcommand{\railtterm}[1]{{\texttt{#1}}}
|
| 13048 | 40 |
\newcommand{\railtok}[1]{{\textrm{#1}}}
|
41 |
\newcommand{\railqtok}[1]{{\rmfamily\textsl{#1}}}
|
|
| 7137 | 42 |
\newcommand{\railnonterm}[1]{{\emph{#1}}}
|