`,
+ template: html`
`,
props: {
name: {
- default: null
- }
+ default: null,
+ },
},
setup(props) {
const tplRef = ref(null);
@@ -17,25 +21,25 @@ export default {
onMounted(async () => {
setOptions({
highlight: function (code, lang) {
- if (lang === 'mermaid') {
+ if (lang === "mermaid") {
return mermaid.mermaidAPI.render(`mermaid${id++}`, code, undefined);
} else {
- const language = hljs.getLanguage(lang) ? lang : 'plaintext';
+ const language = hljs.getLanguage(lang) ? lang : "plaintext";
return hljs.highlight(code, { language }).value;
}
},
- langPrefix: 'hljs language-',
+ langPrefix: "hljs language-",
});
- let mdText = tplRef.value.querySelector('.source').innerText;
+ let mdText = tplRef.value.querySelector(".source").innerText;
if (props.name !== null) {
const response = await fetch(`./assets/docs/${props.name}.md`);
mdText = await response.text();
}
- tplRef.value.querySelector('.markdown-body').innerHTML = marked(mdText);
- tplRef.value.querySelector('.source').remove();
+ tplRef.value.querySelector(".markdown-body").innerHTML = marked(mdText);
+ tplRef.value.querySelector(".source").remove();
});
return {
- tplRef
+ tplRef,
};
- }
-}
+ },
+};
diff --git a/code/WebApp/vanilla/index.html b/code/WebApp/vanilla/index.html
index 9a32d315..87d25c36 100644
--- a/code/WebApp/vanilla/index.html
+++ b/code/WebApp/vanilla/index.html
@@ -3,9 +3,7 @@
-
-
-
+
@@ -37,7 +36,13 @@
-

+
+
+