startPointForWebJs top-level constant

String const startPointForWebJs

Implementation

const startPointForWebJs = r"""
  let katexWrapperElem;
  let katexElm;

  document.addEventListener("DOMContentLoaded", function() {

      katexWrapperElm = document.getElementById("katex_wrapper");
      katexElm = document.getElementById("katex");

      dart_ready("");
  });
""";