From 547be911fdf9601eb14d103b96eb51d7fc5394c1 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 3 Mar 2019 01:59:33 +0000
Subject: [PATCH] break out $text_sz

---
 generate-board | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/generate-board b/generate-board
index ef9f9ce..bb1cc49 100755
--- a/generate-board
+++ b/generate-board
@@ -410,6 +410,8 @@ sub edge_faces() {
 our $hs_sz = 17 * MM2PT;
 our $hs_lw = 3;
 
+our $text_sz = 18;
+
 sub token_circle ($$$$;$$) {
   my ($what, $pos, $fillcolour, $edgecolour, $sz,$lw) = @_;
   $sz //= $hs_sz;
@@ -436,7 +438,7 @@ our $cube_gap = $cube_sz * 0.2;
 our $cube_lw = ($cube_sz * 0.1);
 
 sub label_faces() {
-  my $sz = 18;
+  my $sz = $text_sz;
   my $shadow = $sz * 0.1;
   o(<<END);
   /wordsshow {
-- 
2.30.2