| author | wenzelm |
| Mon, 02 May 2011 17:28:45 +0200 | |
| changeset 43492 | 51bf5e365be9 |
| parent 43491 | 3a9723fca75c |
| child 43501 | a55e0663ad1d |
| permissions | -rw-r--r-- |
| wenzelm@32241 | 1 |
%% dimensions |
| wenzelm@7137 | 2 |
|
| wenzelm@7137 | 3 |
\setlength\railextra{3.6ex}
|
| wenzelm@7137 | 4 |
\setlength\railboxleft{0.9ex}
|
| wenzelm@7137 | 5 |
\setlength\railboxright{0.9ex}
|
| wenzelm@7137 | 6 |
\setlength\railovalspace{1.8ex}
|
| wenzelm@7137 | 7 |
\setlength\railframespace{1.8ex}
|
| wenzelm@7137 | 8 |
\setlength\railtextleft{0.9ex}
|
| wenzelm@7137 | 9 |
\setlength\railtextright{0.9ex}
|
| wenzelm@7137 | 10 |
\setlength\railnamesep{0.9ex}
|
| wenzelm@7137 | 11 |
|
| wenzelm@7137 | 12 |
\setlength\railboxheight{16pt}
|
| wenzelm@7137 | 13 |
\setlength\railboxskip{24pt}
|
| wenzelm@7137 | 14 |
\setlength\railtextup{5pt}
|
| wenzelm@7137 | 15 |
\setlength\railjoinsize{16pt}
|
| wenzelm@7137 | 16 |
|
| wenzelm@32241 | 17 |
|
| wenzelm@32241 | 18 |
%% rail antiquotation environment |
| wenzelm@32241 | 19 |
|
| wenzelm@32241 | 20 |
\newenvironment{railoutput}%
|
| wenzelm@32241 | 21 |
{\begin{list}{}{\rail@param}\def\rail@expand{\relax}\makeatletter}{\end{list}}
|
| wenzelm@32241 | 22 |
|
| wenzelm@32241 | 23 |
|
| wenzelm@43491 | 24 |
%% content markup |
| wenzelm@32241 | 25 |
|
| wenzelm@43386 | 26 |
\def\rail@termfont{\small\ttfamily\upshape\isabellestyle{tt}}
|
| wenzelm@43492 | 27 |
\def\rail@nontfont{\small\rmfamily\itshape\isabellestyle{it}}
|
| wenzelm@43386 | 28 |
\def\rail@namefont{\small\rmfamily\itshape\isabellestyle{it}}
|
| wenzelm@43491 | 29 |