</style>
<!-- Script is async rather than deferred because Chromium can't
handle deferred scripts in XHTML.
- https://issues.chromium.org/issues/40518469 -->
- <script type="module" async="async"><![CDATA[
- import Bedstead from './bedstead.js';
+ https://issues.chromium.org/issues/40518469
+ And it's not a module because Safari can't handle that. -->
+ <script async="async"><![CDATA[
+ var Bedstead;
function update_glyph() {
var args = [];
var cstr = "";
}
update_glyph();
}
- // This script is loaded asynchronously, so make sure the DOM is
- // loaded before touching it.
- if (document.readyState === "loading") {
- document.addEventListener("DOMContentLoaded", init);
- } else {
- init();
- }
+ import("./bedstead.js").then((module) => {
+ Bedstead = module.default;
+ // This script is loaded asynchronously, so make sure the DOM is
+ // loaded before touching it.
+ if (document.readyState === "loading") {
+ document.addEventListener("DOMContentLoaded", init);
+ } else {
+ init();
+ }
+ });
]]>
</script>
</head>