# HG changeset patch # User markus schnalke # Date 1394226526 -3600 # Node ID b07970cdf8a7395bdcce04b2408f2fffaac4ae84 # Parent 411c3bf9dde17d5380f70eb9d805622dc3fc801a style: minor change diff -r 411c3bf9dde1 -r b07970cdf8a7 style --- a/style Fri Mar 07 22:07:10 2014 +0100 +++ b/style Fri Mar 07 22:08:46 2014 +0100 @@ -285,7 +285,7 @@ . \" U1 - Section ($2=="yes" -> add to TOC) .de U1 .sp .5 -.ne 7 +.ne 5 .lg 0 .nr PS +2 .nr VS +2