Have dotty set the default fill color to lightgray to be consistent

with dot - fix bug 1072

diff --git a/cmd/dotty/dotty.lefty b/cmd/dotty/dotty.lefty
index 561d0a8b888c3d4ac1060e61a589bca48fd400b3..dc888db8e1c84db0374bc8b4f1c8bcca7a979b9e 100644 (file)
--- a/cmd/dotty/dotty.lefty
+++ b/cmd/dotty/dotty.lefty
@@ -84,6 +84,7 @@ dotty = [
                 'fontname' = 'Times-Roman';
                 'fontcolor' = 'black';
                 'color' = 'black';
+                'fillcolor' = 'lightgray';
                 'style' = 'solid';
             ];
             'edgeattr' = [