simplified rail setup, using plain defaults (NB: \small is incompatible with \isabellestyle used here);

--- 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}%

--- 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}}