function load_js(url) {
  let link = document.createElement("link");
  link.rel = "stylesheet";
  link.type = "text/css";
  link.href = url;
  let head = document.getElementsByTagName("head")[0];
  head.appendChild(link);
}

addEventListener("load", function () {
  if (document.querySelector(".highlight .chroma")) {
    load_js("/css/syntax.css");
  }
});