html backend: persistent katex macros

CHANGES.md

@@ -8,6 +8,7 @@
 - New experimental markdown generator (@davesnx, #1341)
 - `markdown-generate` command now accepts multiple `.odocl` files in a single
   invocation, eliminating the need for shell scripting (@davesnx)
+- Allow persistent latex macros in HTML/KaTeX backend (@dlesbre, #1391)
 
 ### Changed
 - Remove cmdliner compatibility layer, no longer needed (@dbuenzli, #1328)
@@ -183,7 +184,7 @@
 ### Fixed
 
 - Fix issues #1066 and #1095 with extended opens (@jonludlam, #1082, #1100)
- 
+
 # 2.4.1
 
 ### Fixed

src/html/html_page.ml

@@ -202,14 +202,15 @@ let search_urls = %s;
               (Html.cdata_script
                  {|
           document.addEventListener("DOMContentLoaded", function () {
+            var macros = {};
             var elements = Array.from(document.getElementsByClassName("odoc-katex-math"));
             for (var i = 0; i < elements.length; i++) {
               var el = elements[i];
               var content = el.textContent;
               var new_el = document.createElement("span");
               new_el.setAttribute("class", "odoc-katex-math-rendered");
               var display = el.classList.contains("display");
-              katex.render(content, new_el, { throwOnError: false, displayMode: display });
+              katex.render(content, new_el, { throwOnError: false, displayMode: display, macros });
               el.replaceWith(new_el);
             }
           });

test/generators/html/Markup.html

@@ -13,14 +13,15 @@
 //<![CDATA[
 
           document.addEventListener("DOMContentLoaded", function () {
+            var macros = {};
             var elements = Array.from(document.getElementsByClassName("odoc-katex-math"));
             for (var i = 0; i < elements.length; i++) {
               var el = elements[i];
               var content = el.textContent;
               var new_el = document.createElement("span");
               new_el.setAttribute("class", "odoc-katex-math-rendered");
               var display = el.classList.contains("display");
-              katex.render(content, new_el, { throwOnError: false, displayMode: display });
+              katex.render(content, new_el, { throwOnError: false, displayMode: display, macros });
               el.replaceWith(new_el);
             }
           });