Deploying to gh-pages from @ 3ec7a19 🚀

Beluga-lang · Oct 1, 2024 · a1ab4fa · a1ab4fa
1 parent 4da8f00
commit a1ab4fa
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dep.html b/dep.html
@@ -999,7 +999,7 @@
 <g id="node37" class="node">
 <title>Mcltt.Core.Soundness.LogicalRelation.Core</title>
 <g id="a_node37"><a xlink:href="https://beluga-lang.github.io/McLTT/Mcltt.Core.Soundness.LogicalRelation.Core.html" xlink:title="Mcltt.Core.Soundness.LogicalRelation.Core">
-<polygon fill="goldenrod" stroke="black" points="1717,-908 1669,-908 1669,-872 1723,-872 1723,-902 1717,-908"/>
+<polygon fill="#ffc125" stroke="black" points="1717,-908 1669,-908 1669,-872 1723,-872 1723,-902 1717,-908"/>
 <polyline fill="none" stroke="black" points="1717,-908 1717,-902"/>
 <polyline fill="none" stroke="black" points="1723,-902 1717,-902"/>
 <text text-anchor="middle" x="1696" y="-884.6" font-family="Times,serif" font-size="18.00">Core</text>