Dirk Hohndel 57b49a7833 Fine tune some spacing
Now that we set the margins everywhere, the manual corrections here aren't
needed. At the same time, the spacing for the labels looks better if it is
a tiny bit more generous.

Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
2015-01-02 22:24:50 -08:00
..
2014-06-26 15:47:02 -07:00
2014-02-08 08:00:27 -08:00
2014-10-14 20:33:46 +02:00
2014-10-14 20:33:46 +02:00
2014-12-17 08:09:54 -08:00
2014-06-26 15:47:02 -07:00
2014-11-17 06:02:21 +00:00
2014-11-17 06:02:21 +00:00
2015-01-02 22:24:50 -08:00
2015-01-02 22:24:50 -08:00
2014-12-30 07:55:54 -08:00
2014-10-18 15:16:15 -07:00
2014-10-18 15:16:15 -07:00
2014-12-01 14:19:03 -08:00
2014-12-30 07:56:06 -08:00
2014-10-18 15:16:15 -07:00
2014-11-17 06:02:21 +00:00
2014-11-17 06:02:21 +00:00
2014-07-18 10:21:42 -07:00
2014-08-08 11:13:05 -07:00