From bfd0299844e9854dce62a133672a1e0f53bb2a55 Mon Sep 17 00:00:00 2001
From: rand00 <oth.rand@gmail.com>
Date: Tue, 15 Mar 2022 13:15:25 +0100
Subject: [PATCH 1/3] Builder-viz: Supporting new modulectomy scoping of CSS

---
 bin/visualizations/builder_viz.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/bin/visualizations/builder_viz.ml b/bin/visualizations/builder_viz.ml
index 1b9af58..ad8fc0b 100644
--- a/bin/visualizations/builder_viz.ml
+++ b/bin/visualizations/builder_viz.ml
@@ -53,10 +53,10 @@ let print_treemap_html elf_path elf_size =
     ]
   in
   let override_css = {|
-    .module {
+    .treemap-module {
       fill: rgb(60, 60, 87);
     }
-    .functor > text, .module > text {
+    .treemap-functor > text, .treemap-module > text {
       fill: bisque;
     }
   |}
@@ -78,7 +78,7 @@ let print_dependencies_html file =
   let transitive = false in
   let graph = Ui.dependencies ~transitive data in
   let override_css = {|
-    svg {
+    .treemap-svg-wrap {
       background: rgb(60, 60, 87);
     }
   |}

From 2a3130b1705bc5086bbf355acd1030e7b9faa570 Mon Sep 17 00:00:00 2001
From: rand00 <oth.rand@gmail.com>
Date: Tue, 15 Mar 2022 13:17:49 +0100
Subject: [PATCH 2/3] builder-web.opam: Removed pin-depend on modulectomy, as
 this PR depends on coming released version

---
 builder-web.opam | 1 -
 1 file changed, 1 deletion(-)

diff --git a/builder-web.opam b/builder-web.opam
index a34ab6e..18b366c 100644
--- a/builder-web.opam
+++ b/builder-web.opam
@@ -62,6 +62,5 @@ Produced binaries can be downloaded and executed.
 """
 
 pin-depends: [
-  ["modulectomy.dev" "git+https://github.com/roburio/modulectomy.git"]
   ["opam-graph.dev" "git+https://git.robur.io/robur/opam-graph.git"]
 ]

From c41b9808d513aa8749b5c9e3325dcd8d61aad0ce Mon Sep 17 00:00:00 2001
From: rand00 <oth.rand@gmail.com>
Date: Tue, 15 Mar 2022 18:54:12 +0100
Subject: [PATCH 3/3] builder-web.opam: Added pin-depend on Roburs modulectomy
 fork again - would like to merge this before modulectomy is released

---
 builder-web.opam | 1 +
 1 file changed, 1 insertion(+)

diff --git a/builder-web.opam b/builder-web.opam
index 18b366c..a34ab6e 100644
--- a/builder-web.opam
+++ b/builder-web.opam
@@ -62,5 +62,6 @@ Produced binaries can be downloaded and executed.
 """
 
 pin-depends: [
+  ["modulectomy.dev" "git+https://github.com/roburio/modulectomy.git"]
   ["opam-graph.dev" "git+https://git.robur.io/robur/opam-graph.git"]
 ]