doc-src/railsetup.sty
changeset 42635 578f8091b70b
parent 42634 79eedd233e03
child 42636 41dff1b862bf
--- a/doc-src/railsetup.sty	Mon May 02 22:05:47 2011 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,8 +0,0 @@
-%% rail antiquotation environment
-\newenvironment{railoutput}%
-{\begin{list}{}{\rail@param}\def\rail@expand{\relax}\makeatletter}{\end{list}}
-
-%% content markup
-\def\rail@termfont{\isabellestyle{tt}}
-\def\rail@nontfont{\isabellestyle{it}}
-\def\rail@namefont{\isabellestyle{it}}