# HG changeset patch # User markus schnalke # Date 1331132616 -3600 # Node ID 7497062adc8232598de55ae71a12e4772760c69e # Parent 2136d3e29f12ef7ce7d582461d2ae530ce946761 style: Need a bit less space for a heading. diff -r 2136d3e29f12 -r 7497062adc82 style --- a/style Wed Mar 07 14:34:39 2012 +0100 +++ b/style Wed Mar 07 16:03:36 2012 +0100 @@ -168,7 +168,7 @@ .de H2 .br -.ne 5 +.ne 4 .if '\\$2'no' .SH .if \\n(.$=1 .NH 3 .if !'\\$2'no' \&\\*(SN