function loadEmbedPage(path) { /* console.log("Loading"); console.log(basePath); console.log(encodeURIComponent(path)); */ $embedDiv.html("Loading...").load(basePath+path.replaceAll(" ","+"),function() { //iframely.load(); tippy('.xmTip'); }); let url = new URL(location.href); url.searchParams.set('embed_path', encodeURIComponent(path)); history.pushState({embed_path:path}, document.title, window.location.pathname+url.search); } function LoadEmbedScript(url) { document.write( '