visual tweak

leanprover-community · Aug 30, 2024 · e3e4b70 · e3e4b70
1 parent 3c90f51
commit e3e4b70
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ImportGraph/Cli.lean b/ImportGraph/Cli.lean
@@ -43,7 +43,7 @@ def asDotGraph
           lines := lines.push s!"  \"{i}\" -> \"{n}\" [weight=100];"
         else
           -- mark edges into the main project
-          lines := lines.push s!"  \"{i}\" -> \"{n}\" [penwidth=4, color=\"#71b144\"];"
+          lines := lines.push s!"  \"{i}\" -> \"{n}\" [penwidth=2, color=\"#71b144\"];"
       else
         lines := lines.push s!"  \"{i}\" -> \"{n}\";"
   lines := lines.push "}"