# HG changeset patch # User markus schnalke # Date 1331117138 -3600 # Node ID 8fea9ed7c298ec7559575ade7d430cba86084f7e # Parent dc2bfef4cda7239bfefb587440c3f2f2623076bf A bit less space before headings. diff -r dc2bfef4cda7 -r 8fea9ed7c298 style --- a/style Sat Mar 03 12:55:57 2012 +0100 +++ b/style Wed Mar 07 11:45:38 2012 +0100 @@ -155,7 +155,7 @@ .de H1 .br .ne 7 -.sp 2 +.sp . nr PS +2 . nr VS +2 . NH 2