# HG changeset patch
# User wenzelm
# Date 1304365614 -7200
# Node ID a55e0663ad1d24f38194c47b97a02539dec55257
# Parent  f61ac1573ee60ee75f2483cbd1940bf2d753b5d6
simplified rail setup, using plain defaults (NB: \small is incompatible with \isabellestyle used here);

diff -r f61ac1573ee6 -r a55e0663ad1d doc-src/IsarRef/Thy/document/HOL_Specific.tex
--- a/doc-src/IsarRef/Thy/document/HOL_Specific.tex	Mon May 02 21:42:36 2011 +0200
+++ b/doc-src/IsarRef/Thy/document/HOL_Specific.tex	Mon May 02 21:46:54 2011 +0200
@@ -10,7 +10,6 @@
 \isacommand{theory}\isamarkupfalse%
 \ HOL{\isaliteral{5F}{\isacharunderscore}}Specific\isanewline
 \isakeyword{imports}\ Main\isanewline
-\isakeyword{uses}\ {\isaliteral{22}{\isachardoublequoteopen}}{\isaliteral{2E}{\isachardot}}{\isaliteral{2E}{\isachardot}}{\isaliteral{2F}{\isacharslash}}{\isaliteral{2E}{\isachardot}}{\isaliteral{2E}{\isachardot}}{\isaliteral{2F}{\isacharslash}}antiquote{\isaliteral{5F}{\isacharunderscore}}setup{\isaliteral{2E}{\isachardot}}ML{\isaliteral{22}{\isachardoublequoteclose}}\isanewline
 \isakeyword{begin}%
 \endisatagtheory
 {\isafoldtheory}%
diff -r f61ac1573ee6 -r a55e0663ad1d doc-src/railsetup.sty
--- a/doc-src/railsetup.sty	Mon May 02 21:42:36 2011 +0200
+++ b/doc-src/railsetup.sty	Mon May 02 21:46:54 2011 +0200
@@ -1,29 +1,8 @@
-%% dimensions
-
-\setlength\railextra{3.6ex}
-\setlength\railboxleft{0.9ex}
-\setlength\railboxright{0.9ex}
-\setlength\railovalspace{1.8ex}
-\setlength\railframespace{1.8ex}
-\setlength\railtextleft{0.9ex}
-\setlength\railtextright{0.9ex}
-\setlength\railnamesep{0.9ex}
-
-\setlength\railboxheight{16pt}
-\setlength\railboxskip{24pt}
-\setlength\railtextup{5pt}
-\setlength\railjoinsize{16pt}
-
-
 %% rail antiquotation environment
-
 \newenvironment{railoutput}%
 {\begin{list}{}{\rail@param}\def\rail@expand{\relax}\makeatletter}{\end{list}}
 
-
 %% content markup
-
-\def\rail@termfont{\small\ttfamily\upshape\isabellestyle{tt}}
-\def\rail@nontfont{\small\rmfamily\itshape\isabellestyle{it}}
-\def\rail@namefont{\small\rmfamily\itshape\isabellestyle{it}}
-
+\def\rail@termfont{\isabellestyle{tt}}
+\def\rail@nontfont{\isabellestyle{it}}
+\def\rail@namefont{\isabellestyle{it}}