| author | wenzelm |
| Mon, 02 May 2011 21:46:54 +0200 | |
| changeset 42630 | a55e0663ad1d |
| parent 42621 | 51bf5e365be9 |
| permissions | -rw-r--r-- |
|
32234
96345b918125
added rail antiquotation environment, which coexists with old-style content markup;
wenzelm
parents:
13048
diff
changeset
|
1 |
%% rail antiquotation environment |
|
96345b918125
added rail antiquotation environment, which coexists with old-style content markup;
wenzelm
parents:
13048
diff
changeset
|
2 |
\newenvironment{railoutput}%
|
|
96345b918125
added rail antiquotation environment, which coexists with old-style content markup;
wenzelm
parents:
13048
diff
changeset
|
3 |
{\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
|
4 |
|
| 42620 | 5 |
%% content markup |
|
42630
a55e0663ad1d
simplified rail setup, using plain defaults (NB: \small is incompatible with \isabellestyle used here);
wenzelm
parents:
42621
diff
changeset
|
6 |
\def\rail@termfont{\isabellestyle{tt}}
|
|
a55e0663ad1d
simplified rail setup, using plain defaults (NB: \small is incompatible with \isabellestyle used here);
wenzelm
parents:
42621
diff
changeset
|
7 |
\def\rail@nontfont{\isabellestyle{it}}
|
|
a55e0663ad1d
simplified rail setup, using plain defaults (NB: \small is incompatible with \isabellestyle used here);
wenzelm
parents:
42621
diff
changeset
|
8 |
\def\rail@namefont{\isabellestyle{it}}
|