(function () {
  "use strict";

  [
    "/assets/scripts/ui/copy-buttons.js",
    "/assets/scripts/ui/footnote-sidenotes.js",
    "/assets/scripts/application/theme-switcher.js",
    "/assets/scripts/ui/countdown.js",
    "/assets/scripts/ui/toc-active-link.js",
    "/assets/scripts/ui/mermaid-diagrams.js"
  ].forEach(function (src) {
    var script = document.createElement("script");
    script.src = src;
    script.defer = true;
    document.head.appendChild(script);
  });
}());