From 2e378b6ebeb2b5d74031cf997d9c4c63887d7a1e Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Mon, 14 Jan 2019 02:07:30 +0000
Subject: [PATCH] wip

---
 parse-input-graph | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/parse-input-graph b/parse-input-graph
index 0e13a9e..d281e89 100755
--- a/parse-input-graph
+++ b/parse-input-graph
@@ -137,7 +137,10 @@ sub o { print @_ or die $!; }
 sub output_dot () {
   o <<END;
 strict graph "map" {
-  node [ shape=circle ];
+  node [ 
+    shape=circle;
+    fontsize=3;
+  ];
 END
   foreach my $r0 (sort keys %edges) {
     foreach my $r1 (sort keys %{ $edges{$r0} }) {
-- 
2.30.2