# HG changeset patch
# User wenzelm
# Date 1304434466 -7200
# Node ID 89132fbd852a18a33bd7bc802d59a0043fbc9179
# Parent  eb95e2f3b218d726363ea72690113c4dafffbe9d
sane paragraph layout;

diff -r eb95e2f3b218 -r 89132fbd852a doc-src/IsarRef/style.sty
--- 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{-}}