--- a/doc-src/IsarRef/style.sty Tue May 03 16:00:29 2011 +0200
+++ b/doc-src/IsarRef/style.sty Tue May 03 16:54:26 2011 +0200
@@ -34,6 +34,8 @@
\pagestyle{headings}
\sloppy
+\parindent 0pt\parskip 0.5ex
+
\isabellestyle{it}
\newcommand{\isasymdash}{\mbox{-}}