From 9bee347c176388e37c32e31d660469bfc1fc6914 Mon Sep 17 00:00:00 2001 From: rand00 Date: Wed, 26 Jan 2022 21:15:12 +0100 Subject: [PATCH] Opam_graph: Changed color of shared-deps nodes --- src/opam_graph.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/opam_graph.ml b/src/opam_graph.ml index e6e1a38..966f41b 100644 --- a/src/opam_graph.ml +++ b/src/opam_graph.ml @@ -608,7 +608,7 @@ svg { shared_deps |> Seq.map (fun shared_dep -> sprintf {| .direct_dep.%s:hover ~ .node.layer2_dep.%s { - fill: hotpink; + fill: #5454ff; } |} dep.name shared_dep )