From 4e5ded8855b527765750502fd4f2f0b0b733cacf Mon Sep 17 00:00:00 2001
From: Lukasz Stafiniak <lukstafi@gmail.com>
Date: Tue, 19 Mar 2024 21:43:57 +0100
Subject: [PATCH] Fix missing hyperlinks in flame graphs (html trickery)

---
 minidebug_runtime.ml                      |  2 +-
 test/debugger_sexp_html-toc.expected.html | 68 +++++++++++------------
 2 files changed, 35 insertions(+), 35 deletions(-)

diff --git a/minidebug_runtime.ml b/minidebug_runtime.ml
index 4930226..c270c7c 100644
--- a/minidebug_runtime.ml
+++ b/minidebug_runtime.ml
@@ -860,7 +860,7 @@ module PrintBox (Log_to : Shared_config) = struct
                     <div style="position: relative; height: 0px;">|};
                 Buffer.output_buffer toc_ch
                 @@ stack_to_flame ~elapsed_on_close toc_header entry;
-                output_string toc_ch @@ {|</div><div style="position: relative; height: |}
+                output_string toc_ch @@ {|</div><div style="height: |}
                 ^ Int.to_string (depth * 40)
                 ^ {|px;"></div>|};
                 flush toc_ch));
diff --git a/test/debugger_sexp_html-toc.expected.html b/test/debugger_sexp_html-toc.expected.html
index fc3bc3c..f626deb 100644
--- a/test/debugger_sexp_html-toc.expected.html
+++ b/test/debugger_sexp_html-toc.expected.html
@@ -4,58 +4,58 @@
                     <div style="position: relative; height: 0px;"><div style="position: relative; top: 0%; width: 100%; height: 100%;"><div style="position: relative; top: 0px; left: 0px; width: 100%; background: #779077;"><div><div><a href="./debugger_sexp_html.html#1"><div>&quot;test/test_debug_html.ml&quot;:9:19: foo</div></a></div></div>
 </div><div style="position: relative; top:10%; height: 90%; left:0.%; width:0.%;">
        </div>
-       <div style="position: relative; top:10%; height: 90%; left:23.6736311647%; width:2.59328463847%;">
+       <div style="position: relative; top:10%; height: 90%; left:21.4332061564%; width:2.97178748475%;">
        <div style="position: relative; top: 0%; width: 100%; height: 100%;"><div style="position: relative; top: 0px; left: 0px; width: 100%; background: #ee7777;"><div><div><a href="./debugger_sexp_html.html#2"><div>&quot;test/test_debug_html.ml&quot;:10:6: y</div></a></div></div>
 </div><div style="position: relative; top:10%; height: 90%; left:0.%; width:0.%;">
        </div>
        </div></div>
        <div style="position: relative; top:10%; height: 90%; left:0.%; width:0.%;">
        </div>
-       </div></div><div style="position: relative; height: 80px;"></div><div><div><div><a href="./debugger_sexp_html.html#3"><div>&quot;test/test_debug_html.ml&quot;:17:19: bar</div></a></div><ul><li><div><a href="./debugger_sexp_html.html#4"><div>&quot;test/test_debug_html.ml&quot;:18:6: y</div></a></div></li></ul></div></div>
+       </div></div><div style="height: 80px;"></div><div><div><div><a href="./debugger_sexp_html.html#3"><div>&quot;test/test_debug_html.ml&quot;:17:19: bar</div></a></div><ul><li><div><a href="./debugger_sexp_html.html#4"><div>&quot;test/test_debug_html.ml&quot;:18:6: y</div></a></div></li></ul></div></div>
 
 
                     <div style="position: relative; height: 0px;"><div style="position: relative; top: 0%; width: 100%; height: 100%;"><div style="position: relative; top: 0px; left: 0px; width: 100%; background: #ee7777;"><div><div><a href="./debugger_sexp_html.html#3"><div>&quot;test/test_debug_html.ml&quot;:17:19: bar</div></a></div></div>
 </div><div style="position: relative; top:10%; height: 90%; left:0.%; width:0.%;">
        </div>
-       <div style="position: relative; top:10%; height: 90%; left:28.0294977412%; width:4.79670475684%;">
+       <div style="position: relative; top:10%; height: 90%; left:28.4823666035%; width:5.21972984536%;">
        <div style="position: relative; top: 0%; width: 100%; height: 100%;"><div style="position: relative; top: 0px; left: 0px; width: 100%; background: #cc77cc;"><div><div><a href="./debugger_sexp_html.html#4"><div>&quot;test/test_debug_html.ml&quot;:18:6: y</div></a></div></div>
 </div><div style="position: relative; top:10%; height: 90%; left:0.%; width:0.%;">
        </div>
        </div></div>
        <div style="position: relative; top:10%; height: 90%; left:0.%; width:0.%;">
        </div>
-       </div></div><div style="position: relative; height: 80px;"></div><div><div><div><a href="./debugger_sexp_html.html#5"><div>&quot;test/test_debug_html.ml&quot;:23:19: baz</div></a></div><ul><li><div><a href="./debugger_sexp_html.html#6"><div>&quot;test/test_debug_html.ml&quot;:24:17: _yz</div></a></div></li><li><div><a href="./debugger_sexp_html.html#7"><div>&quot;test/test_debug_html.ml&quot;:25:17: _uw</div></a></div></li></ul></div></div>
+       </div></div><div style="height: 80px;"></div><div><div><div><a href="./debugger_sexp_html.html#5"><div>&quot;test/test_debug_html.ml&quot;:23:19: baz</div></a></div><ul><li><div><a href="./debugger_sexp_html.html#6"><div>&quot;test/test_debug_html.ml&quot;:24:17: _yz</div></a></div></li><li><div><a href="./debugger_sexp_html.html#7"><div>&quot;test/test_debug_html.ml&quot;:25:17: _uw</div></a></div></li></ul></div></div>
 
 
                     <div style="position: relative; height: 0px;"><div style="position: relative; top: 0%; width: 100%; height: 100%;"><div style="position: relative; top: 0px; left: 0px; width: 100%; background: #ee7777;"><div><div><a href="./debugger_sexp_html.html#5"><div>&quot;test/test_debug_html.ml&quot;:23:19: baz</div></a></div></div>
 </div><div style="position: relative; top:10%; height: 90%; left:0.%; width:0.%;">
        </div>
-       <div style="position: relative; top:10%; height: 90%; left:10.8435949274%; width:6.15083011701%;">
+       <div style="position: relative; top:10%; height: 90%; left:10.342596677%; width:6.42552565799%;">
        <div style="position: relative; top: 0%; width: 100%; height: 100%;"><div style="position: relative; top: 0px; left: 0px; width: 100%; background: #779077;"><div><div><a href="./debugger_sexp_html.html#6"><div>&quot;test/test_debug_html.ml&quot;:24:17: _yz</div></a></div></div>
 </div><div style="position: relative; top:10%; height: 90%; left:0.%; width:0.%;">
        </div>
        </div></div>
-       <div style="position: relative; top:10%; height: 90%; left:56.1630827666%; width:9.07002389267%;">
+       <div style="position: relative; top:10%; height: 90%; left:62.9172180562%; width:8.83693574474%;">
        <div style="position: relative; top: 0%; width: 100%; height: 100%;"><div style="position: relative; top: 0px; left: 0px; width: 100%; background: #cc77cc;"><div><div><a href="./debugger_sexp_html.html#7"><div>&quot;test/test_debug_html.ml&quot;:25:17: _uw</div></a></div></div>
 </div><div style="position: relative; top:10%; height: 90%; left:0.%; width:0.%;">
        </div>
        </div></div>
        <div style="position: relative; top:10%; height: 90%; left:0.%; width:0.%;">
        </div>
-       </div></div><div style="position: relative; height: 80px;"></div><div><div><div><a href="./debugger_sexp_html.html#8"><div>&quot;test/test_debug_html.ml&quot;:30:19: lab</div></a></div><ul><li><div><a href="./debugger_sexp_html.html#9"><div>&quot;test/test_debug_html.ml&quot;:31:6: y</div></a></div></li></ul></div></div>
+       </div></div><div style="height: 80px;"></div><div><div><div><a href="./debugger_sexp_html.html#8"><div>&quot;test/test_debug_html.ml&quot;:30:19: lab</div></a></div><ul><li><div><a href="./debugger_sexp_html.html#9"><div>&quot;test/test_debug_html.ml&quot;:31:6: y</div></a></div></li></ul></div></div>
 
 
                     <div style="position: relative; height: 0px;"><div style="position: relative; top: 0%; width: 100%; height: 100%;"><div style="position: relative; top: 0px; left: 0px; width: 100%; background: #cc77cc;"><div><div><a href="./debugger_sexp_html.html#8"><div>&quot;test/test_debug_html.ml&quot;:30:19: lab</div></a></div></div>
 </div><div style="position: relative; top:10%; height: 90%; left:0.%; width:0.%;">
        </div>
-       <div style="position: relative; top:10%; height: 90%; left:4.82032039255%; width:15.1969981238%;">
+       <div style="position: relative; top:10%; height: 90%; left:5.17525625403%; width:16.4145939359%;">
        <div style="position: relative; top: 0%; width: 100%; height: 100%;"><div style="position: relative; top: 0px; left: 0px; width: 100%; background: #779077;"><div><div><a href="./debugger_sexp_html.html#9"><div>&quot;test/test_debug_html.ml&quot;:31:6: y</div></a></div></div>
 </div><div style="position: relative; top:10%; height: 90%; left:0.%; width:0.%;">
        </div>
        </div></div>
        <div style="position: relative; top:10%; height: 90%; left:0.%; width:0.%;">
        </div>
-       </div></div><div style="position: relative; height: 80px;"></div><div><div><div><a href="./debugger_sexp_html.html#10"><div>&quot;test/test_debug_html.ml&quot;:36:24: loop</div></a></div><ul><li><div><div><a href="./debugger_sexp_html.html#11"><div>&quot;test/test_debug_html.ml&quot;:40:8: y</div></a></div><ul><li><div><div><a href="./debugger_sexp_html.html#12"><div>&quot;test/test_debug_html.ml&quot;:36:24: loop</div></a></div><ul><li><div><div><a href="./debugger_sexp_html.html#13"><div>&quot;test/test_debug_html.ml&quot;:40:8: y</div></a></div><ul><li><div><div><a href="./debugger_sexp_html.html#14"><div>&quot;test/test_debug_html.ml&quot;:36:24: loop</div></a></div><ul><li><div><div><a href="./debugger_sexp_html.html#15"><div>&quot;test/test_debug_html.ml&quot;:36:24: loop</div></a></div><ul><li><div><div><a href="./debugger_sexp_html.html#16"><div>&quot;test/test_debug_html.ml&quot;:36:24: loop</div></a></div><ul><li><div><a href="./debugger_sexp_html.html#17"><div>&quot;test/test_debug_html.ml&quot;:36:24: loop</div></a></div></li></ul></div></li></ul></div></li></ul></div></li></ul></div></li><li><div><div><a href="./debugger_sexp_html.html#18"><div>&quot;test/test_debug_html.ml&quot;:41:8: z</div></a></div><ul><li><div><div><a href="./debugger_sexp_html.html#19"><div>&quot;test/test_debug_html.ml&quot;:36:24: loop</div></a></div><ul><li><div><div><a href="./debugger_sexp_html.html#20"><div>&quot;test/test_debug_html.ml&quot;:36:24: loop</div></a></div><ul><li><div><div><a href="./debugger_sexp_html.html#21"><div>&quot;test/test_debug_html.ml&quot;:36:24: loop</div></a></div><ul><li><div><a href="./debugger_sexp_html.html#22"><div>&quot;test/test_debug_html.ml&quot;:36:24: loop</div></a></div></li></ul></div></li></ul></div></li></ul></div></li></ul></div></li></ul></div></li></ul></div></li><li><div><div><a href="./debugger_sexp_html.html#23"><div>&quot;test/test_debug_html.ml&quot;:41:8: z</div></a></div><ul><li><div><div><a href="./debugger_sexp_html.html#24"><div>&quot;test/test_debug_html.ml&quot;:36:24: loop</div></a></div><ul><li><div><div><a href="./debugger_sexp_html.html#25"><div>&quot;test/test_debug_html.ml&quot;:40:8: y</div></a></div><ul><li><div><div><a href="./debugger_sexp_html.html#26"><div>&quot;test/test_debug_html.ml&quot;:36:24: loop</div></a></div><ul><li><div><div><a href="./debugger_sexp_html.html#27"><div>&quot;test/test_debug_html.ml&quot;:36:24: loop</div></a></div><ul><li><div><div><a href="./debugger_sexp_html.html#28"><div>&quot;test/test_debug_html.ml&quot;:36:24: loop</div></a></div><ul><li><div><a href="./debugger_sexp_html.html#29"><div>&quot;test/test_debug_html.ml&quot;:36:24: loop</div></a></div></li></ul></div></li></ul></div></li></ul></div></li></ul></div></li><li><div><div><a href="./debugger_sexp_html.html#30"><div>&quot;test/test_debug_html.ml&quot;:41:8: z</div></a></div><ul><li><div><div><a href="./debugger_sexp_html.html#31"><div>&quot;test/test_debug_html.ml&quot;:36:24: loop</div></a></div><ul><li><div><div><a href="./debugger_sexp_html.html#32"><div>&quot;test/test_debug_html.ml&quot;:36:24: loop</div></a></div><ul><li><div><div><a href="./debugger_sexp_html.html#33"><div>&quot;test/test_debug_html.ml&quot;:36:24: loop</div></a></div><ul><li><div><a href="./debugger_sexp_html.html#34"><div>&quot;test/test_debug_html.ml&quot;:36:24: loop</div></a></div></li></ul></div></li></ul></div></li></ul></div></li></ul></div></li></ul></div></li></ul></div></li></ul></div></div>
+       </div></div><div style="height: 80px;"></div><div><div><div><a href="./debugger_sexp_html.html#10"><div>&quot;test/test_debug_html.ml&quot;:36:24: loop</div></a></div><ul><li><div><div><a href="./debugger_sexp_html.html#11"><div>&quot;test/test_debug_html.ml&quot;:40:8: y</div></a></div><ul><li><div><div><a href="./debugger_sexp_html.html#12"><div>&quot;test/test_debug_html.ml&quot;:36:24: loop</div></a></div><ul><li><div><div><a href="./debugger_sexp_html.html#13"><div>&quot;test/test_debug_html.ml&quot;:40:8: y</div></a></div><ul><li><div><div><a href="./debugger_sexp_html.html#14"><div>&quot;test/test_debug_html.ml&quot;:36:24: loop</div></a></div><ul><li><div><div><a href="./debugger_sexp_html.html#15"><div>&quot;test/test_debug_html.ml&quot;:36:24: loop</div></a></div><ul><li><div><div><a href="./debugger_sexp_html.html#16"><div>&quot;test/test_debug_html.ml&quot;:36:24: loop</div></a></div><ul><li><div><a href="./debugger_sexp_html.html#17"><div>&quot;test/test_debug_html.ml&quot;:36:24: loop</div></a></div></li></ul></div></li></ul></div></li></ul></div></li></ul></div></li><li><div><div><a href="./debugger_sexp_html.html#18"><div>&quot;test/test_debug_html.ml&quot;:41:8: z</div></a></div><ul><li><div><div><a href="./debugger_sexp_html.html#19"><div>&quot;test/test_debug_html.ml&quot;:36:24: loop</div></a></div><ul><li><div><div><a href="./debugger_sexp_html.html#20"><div>&quot;test/test_debug_html.ml&quot;:36:24: loop</div></a></div><ul><li><div><div><a href="./debugger_sexp_html.html#21"><div>&quot;test/test_debug_html.ml&quot;:36:24: loop</div></a></div><ul><li><div><a href="./debugger_sexp_html.html#22"><div>&quot;test/test_debug_html.ml&quot;:36:24: loop</div></a></div></li></ul></div></li></ul></div></li></ul></div></li></ul></div></li></ul></div></li></ul></div></li><li><div><div><a href="./debugger_sexp_html.html#23"><div>&quot;test/test_debug_html.ml&quot;:41:8: z</div></a></div><ul><li><div><div><a href="./debugger_sexp_html.html#24"><div>&quot;test/test_debug_html.ml&quot;:36:24: loop</div></a></div><ul><li><div><div><a href="./debugger_sexp_html.html#25"><div>&quot;test/test_debug_html.ml&quot;:40:8: y</div></a></div><ul><li><div><div><a href="./debugger_sexp_html.html#26"><div>&quot;test/test_debug_html.ml&quot;:36:24: loop</div></a></div><ul><li><div><div><a href="./debugger_sexp_html.html#27"><div>&quot;test/test_debug_html.ml&quot;:36:24: loop</div></a></div><ul><li><div><div><a href="./debugger_sexp_html.html#28"><div>&quot;test/test_debug_html.ml&quot;:36:24: loop</div></a></div><ul><li><div><a href="./debugger_sexp_html.html#29"><div>&quot;test/test_debug_html.ml&quot;:36:24: loop</div></a></div></li></ul></div></li></ul></div></li></ul></div></li></ul></div></li><li><div><div><a href="./debugger_sexp_html.html#30"><div>&quot;test/test_debug_html.ml&quot;:41:8: z</div></a></div><ul><li><div><div><a href="./debugger_sexp_html.html#31"><div>&quot;test/test_debug_html.ml&quot;:36:24: loop</div></a></div><ul><li><div><div><a href="./debugger_sexp_html.html#32"><div>&quot;test/test_debug_html.ml&quot;:36:24: loop</div></a></div><ul><li><div><div><a href="./debugger_sexp_html.html#33"><div>&quot;test/test_debug_html.ml&quot;:36:24: loop</div></a></div><ul><li><div><a href="./debugger_sexp_html.html#34"><div>&quot;test/test_debug_html.ml&quot;:36:24: loop</div></a></div></li></ul></div></li></ul></div></li></ul></div></li></ul></div></li></ul></div></li></ul></div></li></ul></div></div>
 
 
                     <div style="position: relative; height: 0px;"><div style="position: relative; top: 0%; width: 100%; height: 100%;"><div style="position: relative; top: 0px; left: 0px; width: 100%; background: #ee7777;"><div><div><a href="./debugger_sexp_html.html#10"><div>&quot;test/test_debug_html.ml&quot;:36:24: loop</div></a></div></div>
@@ -63,35 +63,35 @@
        </div>
        <div style="position: relative; top:10%; height: 90%; left:0.%; width:0.%;">
        </div>
-       <div style="position: relative; top:10%; height: 90%; left:0.686708899386%; width:47.0164902901%;">
+       <div style="position: relative; top:10%; height: 90%; left:0.726630650857%; width:45.9311489979%;">
        <div style="position: relative; top: 0%; width: 100%; height: 100%;"><div style="position: relative; top: 0px; left: 0px; width: 100%; background: #cc77cc;"><div><div><a href="./debugger_sexp_html.html#11"><div>&quot;test/test_debug_html.ml&quot;:40:8: y</div></a></div></div>
-</div><div style="position: relative; top:10%; height: 90%; left:0.667718955742%; width:90.1716546553%;">
+</div><div style="position: relative; top:10%; height: 90%; left:0.717424400576%; width:90.2350850573%;">
        <div style="position: relative; top: 0%; width: 100%; height: 100%;"><div style="position: relative; top: 0px; left: 0px; width: 100%; background: #779077;"><div><div><a href="./debugger_sexp_html.html#12"><div>&quot;test/test_debug_html.ml&quot;:36:24: loop</div></a></div></div>
 </div><div style="position: relative; top:10%; height: 90%; left:0.%; width:0.%;">
        </div>
        <div style="position: relative; top:10%; height: 90%; left:0.%; width:0.%;">
        </div>
-       <div style="position: relative; top:10%; height: 90%; left:1.99174281815%; width:42.7720868098%;">
+       <div style="position: relative; top:10%; height: 90%; left:1.86210282193%; width:42.6207122261%;">
        <div style="position: relative; top: 0%; width: 100%; height: 100%;"><div style="position: relative; top: 0px; left: 0px; width: 100%; background: #779077;"><div><div><a href="./debugger_sexp_html.html#13"><div>&quot;test/test_debug_html.ml&quot;:40:8: y</div></a></div></div>
-</div><div style="position: relative; top:10%; height: 90%; left:0.504839730214%; width:80.6303092312%;">
+</div><div style="position: relative; top:10%; height: 90%; left:0.468675528253%; width:80.2759095483%;">
        <div style="position: relative; top: 0%; width: 100%; height: 100%;"><div style="position: relative; top: 0px; left: 0px; width: 100%; background: #ee7777;"><div><div><a href="./debugger_sexp_html.html#14"><div>&quot;test/test_debug_html.ml&quot;:36:24: loop</div></a></div></div>
 </div><div style="position: relative; top:10%; height: 90%; left:0.%; width:0.%;">
        </div>
        <div style="position: relative; top:10%; height: 90%; left:0.%; width:0.%;">
        </div>
-       <div style="position: relative; top:10%; height: 90%; left:5.48812048153%; width:71.3923162974%;">
+       <div style="position: relative; top:10%; height: 90%; left:5.05327044233%; width:71.7089421777%;">
        <div style="position: relative; top: 0%; width: 100%; height: 100%;"><div style="position: relative; top: 0px; left: 0px; width: 100%; background: #cc77cc;"><div><div><a href="./debugger_sexp_html.html#15"><div>&quot;test/test_debug_html.ml&quot;:36:24: loop</div></a></div></div>
 </div><div style="position: relative; top:10%; height: 90%; left:0.%; width:0.%;">
        </div>
        <div style="position: relative; top:10%; height: 90%; left:0.%; width:0.%;">
        </div>
-       <div style="position: relative; top:10%; height: 90%; left:7.86968825277%; width:59.7535021867%;">
+       <div style="position: relative; top:10%; height: 90%; left:13.2911683533%; width:54.8781048758%;">
        <div style="position: relative; top: 0%; width: 100%; height: 100%;"><div style="position: relative; top: 0px; left: 0px; width: 100%; background: #779077;"><div><div><a href="./debugger_sexp_html.html#16"><div>&quot;test/test_debug_html.ml&quot;:36:24: loop</div></a></div></div>
 </div><div style="position: relative; top:10%; height: 90%; left:0.%; width:0.%;">
        </div>
        <div style="position: relative; top:10%; height: 90%; left:0.%; width:0.%;">
        </div>
-       <div style="position: relative; top:10%; height: 90%; left:13.8043052838%; width:15.675146771%;">
+       <div style="position: relative; top:10%; height: 90%; left:13.6163614266%; width:17.2624785214%;">
        <div style="position: relative; top: 0%; width: 100%; height: 100%;"><div style="position: relative; top: 0px; left: 0px; width: 100%; background: #ee7777;"><div><div><a href="./debugger_sexp_html.html#17"><div>&quot;test/test_debug_html.ml&quot;:36:24: loop</div></a></div></div>
 </div><div style="position: relative; top:10%; height: 90%; left:0.%; width:0.%;">
        </div>
@@ -112,27 +112,27 @@
        <div style="position: relative; top:10%; height: 90%; left:0.%; width:0.%;">
        </div>
        </div></div>
-       <div style="position: relative; top:10%; height: 90%; left:52.3760990862%; width:40.8143170551%;">
+       <div style="position: relative; top:10%; height: 90%; left:52.1501644857%; width:40.7411169231%;">
        <div style="position: relative; top: 0%; width: 100%; height: 100%;"><div style="position: relative; top: 0px; left: 0px; width: 100%; background: #ee7777;"><div><div><a href="./debugger_sexp_html.html#18"><div>&quot;test/test_debug_html.ml&quot;:41:8: z</div></a></div></div>
-</div><div style="position: relative; top:10%; height: 90%; left:0.712461731635%; width:71.7103314005%;">
+</div><div style="position: relative; top:10%; height: 90%; left:0.668965803798%; width:73.2746083849%;">
        <div style="position: relative; top: 0%; width: 100%; height: 100%;"><div style="position: relative; top: 0px; left: 0px; width: 100%; background: #cc77cc;"><div><div><a href="./debugger_sexp_html.html#19"><div>&quot;test/test_debug_html.ml&quot;:36:24: loop</div></a></div></div>
 </div><div style="position: relative; top:10%; height: 90%; left:0.%; width:0.%;">
        </div>
        <div style="position: relative; top:10%; height: 90%; left:0.%; width:0.%;">
        </div>
-       <div style="position: relative; top:10%; height: 90%; left:6.3487379252%; width:65.0966967676%;">
+       <div style="position: relative; top:10%; height: 90%; left:6.70636045742%; width:66.3528967016%;">
        <div style="position: relative; top: 0%; width: 100%; height: 100%;"><div style="position: relative; top: 0px; left: 0px; width: 100%; background: #779077;"><div><div><a href="./debugger_sexp_html.html#20"><div>&quot;test/test_debug_html.ml&quot;:36:24: loop</div></a></div></div>
 </div><div style="position: relative; top:10%; height: 90%; left:0.%; width:0.%;">
        </div>
        <div style="position: relative; top:10%; height: 90%; left:0.%; width:0.%;">
        </div>
-       <div style="position: relative; top:10%; height: 90%; left:9.396155706%; width:53.7415377176%;">
+       <div style="position: relative; top:10%; height: 90%; left:10.2324521422%; width:55.0336144029%;">
        <div style="position: relative; top: 0%; width: 100%; height: 100%;"><div style="position: relative; top: 0px; left: 0px; width: 100%; background: #ee7777;"><div><div><a href="./debugger_sexp_html.html#21"><div>&quot;test/test_debug_html.ml&quot;:36:24: loop</div></a></div></div>
 </div><div style="position: relative; top:10%; height: 90%; left:0.%; width:0.%;">
        </div>
        <div style="position: relative; top:10%; height: 90%; left:0.%; width:0.%;">
        </div>
-       <div style="position: relative; top:10%; height: 90%; left:18.6536947475%; width:19.1373298842%;">
+       <div style="position: relative; top:10%; height: 90%; left:18.4222785858%; width:19.058957503%;">
        <div style="position: relative; top: 0%; width: 100%; height: 100%;"><div style="position: relative; top: 0px; left: 0px; width: 100%; background: #cc77cc;"><div><div><a href="./debugger_sexp_html.html#22"><div>&quot;test/test_debug_html.ml&quot;:36:24: loop</div></a></div></div>
 </div><div style="position: relative; top:10%; height: 90%; left:0.%; width:0.%;">
        </div>
@@ -159,35 +159,35 @@
        <div style="position: relative; top:10%; height: 90%; left:0.%; width:0.%;">
        </div>
        </div></div>
-       <div style="position: relative; top:10%; height: 90%; left:51.1862999988%; width:45.2717663286%;">
+       <div style="position: relative; top:10%; height: 90%; left:50.137748778%; width:45.9975677635%;">
        <div style="position: relative; top: 0%; width: 100%; height: 100%;"><div style="position: relative; top: 0px; left: 0px; width: 100%; background: #cc77cc;"><div><div><a href="./debugger_sexp_html.html#23"><div>&quot;test/test_debug_html.ml&quot;:41:8: z</div></a></div></div>
-</div><div style="position: relative; top:10%; height: 90%; left:0.689677485454%; width:87.1948621993%;">
+</div><div style="position: relative; top:10%; height: 90%; left:0.793162532222%; width:84.0126906005%;">
        <div style="position: relative; top: 0%; width: 100%; height: 100%;"><div style="position: relative; top: 0px; left: 0px; width: 100%; background: #779077;"><div><div><a href="./debugger_sexp_html.html#24"><div>&quot;test/test_debug_html.ml&quot;:36:24: loop</div></a></div></div>
 </div><div style="position: relative; top:10%; height: 90%; left:0.%; width:0.%;">
        </div>
        <div style="position: relative; top:10%; height: 90%; left:0.%; width:0.%;">
        </div>
-       <div style="position: relative; top:10%; height: 90%; left:2.17684382382%; width:43.7316792619%;">
+       <div style="position: relative; top:10%; height: 90%; left:2.19563414974%; width:42.9940025539%;">
        <div style="position: relative; top: 0%; width: 100%; height: 100%;"><div style="position: relative; top: 0px; left: 0px; width: 100%; background: #779077;"><div><div><a href="./debugger_sexp_html.html#25"><div>&quot;test/test_debug_html.ml&quot;:40:8: y</div></a></div></div>
-</div><div style="position: relative; top:10%; height: 90%; left:0.520398783851%; width:79.5036413774%;">
+</div><div style="position: relative; top:10%; height: 90%; left:0.557416739394%; width:78.7815658343%;">
        <div style="position: relative; top: 0%; width: 100%; height: 100%;"><div style="position: relative; top: 0px; left: 0px; width: 100%; background: #ee7777;"><div><div><a href="./debugger_sexp_html.html#26"><div>&quot;test/test_debug_html.ml&quot;:36:24: loop</div></a></div></div>
 </div><div style="position: relative; top:10%; height: 90%; left:0.%; width:0.%;">
        </div>
        <div style="position: relative; top:10%; height: 90%; left:0.%; width:0.%;">
        </div>
-       <div style="position: relative; top:10%; height: 90%; left:6.1276035645%; width:62.7416801551%;">
+       <div style="position: relative; top:10%; height: 90%; left:5.76043453402%; width:65.7018296169%;">
        <div style="position: relative; top: 0%; width: 100%; height: 100%;"><div style="position: relative; top: 0px; left: 0px; width: 100%; background: #cc77cc;"><div><div><a href="./debugger_sexp_html.html#27"><div>&quot;test/test_debug_html.ml&quot;:36:24: loop</div></a></div></div>
 </div><div style="position: relative; top:10%; height: 90%; left:0.%; width:0.%;">
        </div>
        <div style="position: relative; top:10%; height: 90%; left:0.%; width:0.%;">
        </div>
-       <div style="position: relative; top:10%; height: 90%; left:9.43471111867%; width:53.1127742813%;">
+       <div style="position: relative; top:10%; height: 90%; left:8.87631893832%; width:51.0823452627%;">
        <div style="position: relative; top: 0%; width: 100%; height: 100%;"><div style="position: relative; top: 0px; left: 0px; width: 100%; background: #779077;"><div><div><a href="./debugger_sexp_html.html#28"><div>&quot;test/test_debug_html.ml&quot;:36:24: loop</div></a></div></div>
 </div><div style="position: relative; top:10%; height: 90%; left:0.%; width:0.%;">
        </div>
        <div style="position: relative; top:10%; height: 90%; left:0.%; width:0.%;">
        </div>
-       <div style="position: relative; top:10%; height: 90%; left:21.6706698692%; width:19.012543368%;">
+       <div style="position: relative; top:10%; height: 90%; left:21.6354344123%; width:18.1537478705%;">
        <div style="position: relative; top: 0%; width: 100%; height: 100%;"><div style="position: relative; top: 0px; left: 0px; width: 100%; background: #ee7777;"><div><div><a href="./debugger_sexp_html.html#29"><div>&quot;test/test_debug_html.ml&quot;:36:24: loop</div></a></div></div>
 </div><div style="position: relative; top:10%; height: 90%; left:0.%; width:0.%;">
        </div>
@@ -208,27 +208,27 @@
        <div style="position: relative; top:10%; height: 90%; left:0.%; width:0.%;">
        </div>
        </div></div>
-       <div style="position: relative; top:10%; height: 90%; left:53.1360156337%; width:39.2128730628%;">
+       <div style="position: relative; top:10%; height: 90%; left:51.9538602129%; width:40.3801811943%;">
        <div style="position: relative; top: 0%; width: 100%; height: 100%;"><div style="position: relative; top: 0px; left: 0px; width: 100%; background: #ee7777;"><div><div><a href="./debugger_sexp_html.html#30"><div>&quot;test/test_debug_html.ml&quot;:41:8: z</div></a></div></div>
-</div><div style="position: relative; top:10%; height: 90%; left:0.6860333081%; width:79.9504794348%;">
+</div><div style="position: relative; top:10%; height: 90%; left:1.89739669979%; width:77.6343989329%;">
        <div style="position: relative; top: 0%; width: 100%; height: 100%;"><div style="position: relative; top: 0px; left: 0px; width: 100%; background: #cc77cc;"><div><div><a href="./debugger_sexp_html.html#31"><div>&quot;test/test_debug_html.ml&quot;:36:24: loop</div></a></div></div>
 </div><div style="position: relative; top:10%; height: 90%; left:0.%; width:0.%;">
        </div>
        <div style="position: relative; top:10%; height: 90%; left:0.%; width:0.%;">
        </div>
-       <div style="position: relative; top:10%; height: 90%; left:6.55094190749%; width:64.9610415228%;">
+       <div style="position: relative; top:10%; height: 90%; left:6.41312741313%; width:66.3127413127%;">
        <div style="position: relative; top: 0%; width: 100%; height: 100%;"><div style="position: relative; top: 0px; left: 0px; width: 100%; background: #779077;"><div><div><a href="./debugger_sexp_html.html#32"><div>&quot;test/test_debug_html.ml&quot;:36:24: loop</div></a></div></div>
 </div><div style="position: relative; top:10%; height: 90%; left:0.%; width:0.%;">
        </div>
        <div style="position: relative; top:10%; height: 90%; left:0.%; width:0.%;">
        </div>
-       <div style="position: relative; top:10%; height: 90%; left:10.3485971092%; width:53.2551925179%;">
+       <div style="position: relative; top:10%; height: 90%; left:10.0320232897%; width:54.058224163%;">
        <div style="position: relative; top: 0%; width: 100%; height: 100%;"><div style="position: relative; top: 0px; left: 0px; width: 100%; background: #ee7777;"><div><div><a href="./debugger_sexp_html.html#33"><div>&quot;test/test_debug_html.ml&quot;:36:24: loop</div></a></div></div>
 </div><div style="position: relative; top:10%; height: 90%; left:0.%; width:0.%;">
        </div>
        <div style="position: relative; top:10%; height: 90%; left:0.%; width:0.%;">
        </div>
-       <div style="position: relative; top:10%; height: 90%; left:21.18257498%; width:18.4798722773%;">
+       <div style="position: relative; top:10%; height: 90%; left:21.8859389305%; width:20.2003338898%;">
        <div style="position: relative; top: 0%; width: 100%; height: 100%;"><div style="position: relative; top: 0px; left: 0px; width: 100%; background: #cc77cc;"><div><div><a href="./debugger_sexp_html.html#34"><div>&quot;test/test_debug_html.ml&quot;:36:24: loop</div></a></div></div>
 </div><div style="position: relative; top:10%; height: 90%; left:0.%; width:0.%;">
        </div>
@@ -257,4 +257,4 @@
        </div></div>
        <div style="position: relative; top:10%; height: 90%; left:0.%; width:0.%;">
        </div>
-       </div></div><div style="position: relative; height: 320px;"></div>
\ No newline at end of file
+       </div></div><div style="height: 320px;"></div>
\ No newline at end of file