Update ImportGraph/Cli.lean

Co-authored-by: Jon Eugster <[email protected]>
leanprover-community · Aug 30, 2024 · 05fdb03 · 05fdb03
1 parent 9841e11
commit 05fdb03
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ImportGraph/Cli.lean b/ImportGraph/Cli.lean
@@ -22,7 +22,7 @@ def asDotGraph
   let mut lines := #[s!"digraph \"{header}\" " ++ "{"]
   for (n, is) in graph do
     if unused.contains n then
-      lines := lines.push s!"  \"{n}\" [style=filled, fillcolor=lightgray];"
+      lines := lines.push s!"  \"{n}\" [style=filled, fillcolor=\"#e0e0e0\"];"
     else
       lines := lines.push s!"  \"{n}\";"
     -- Then add edges