diff --git a/docs_v1.0/doc_wasm/index.html b/docs_v1.0/doc_wasm/index.html index 51e8803..5ea42c3 100644 --- a/docs_v1.0/doc_wasm/index.html +++ b/docs_v1.0/doc_wasm/index.html @@ -131,7 +131,8 @@ async function loadDoc(name) { if (!resp.ok) throw new Error('HTTP ' + resp.status + ' fetching /doc-wasm/modules/' + name + '.md'); const md = await resp.text(); if (!wasm_exports) throw new Error('WASM not loaded'); - el.innerHTML = md2html(md); + var dlHtml = '
↓ Download .md
'; + el.innerHTML = dlHtml + md2html(md); if (typeof mermaid !== 'undefined') mermaid.run({nodes:[el.querySelector('.mermaid')].filter(Boolean)}); document.querySelectorAll('.sidebar a.module-link').forEach(function(a) { a.classList.remove('active'); }); var link = document.querySelector('.sidebar a[data-module="' + name + '"]');