From 1f73ab6856fe3fdd782605cd3678db835fc36ad6 Mon Sep 17 00:00:00 2001
From: David Brown <dave@brownsmeet.com>
Date: Fri, 1 Jul 2016 22:45:40 +0100
Subject: [PATCH] Just a bit more font height.

---
 src/tools/make/buildall.pl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/tools/make/buildall.pl b/src/tools/make/buildall.pl
index 5b9df6fd..c290b942 100755
--- a/src/tools/make/buildall.pl
+++ b/src/tools/make/buildall.pl
@@ -102,8 +102,8 @@ for my $logname (sort @logs) {
   if (-f $logname) {parselog($logname);}
 }
 
-my $fontheight = 11;
-my $lineheight = 13;
+my $fontheight = 12;
+my $lineheight = 15;
 
 sub svgtext {
   my ($f, $x, $y, $colour, $msg) = @_;