wip

diff --git a/parse-input-graph b/parse-input-graph
index 0e13a9e95a967345f7dc3c335353bd4db1b60808..d281e8916c758e01beeca309eefc78a9f3f17701 100755 (executable)
--- 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} }) {