diff --git a/examples/server/webui/index.html b/examples/server/webui/index.html index 471f46b3ad19b..427f3d035f92f 100644 --- a/examples/server/webui/index.html +++ b/examples/server/webui/index.html @@ -1,16 +1,354 @@ - + -
- - - -' +
+ hljs.highlight(str, { language: lang, ignoreIllegals: true }).value +
+ '';
+ } catch (__) {}
+ }
+ return '' + md.value.utils.escapeHtml(str) + '';
+ }
+ }));
+ // support latex with double dollar sign and square brackets
+ md.value.use(markdownItKatexGpt, {
+ delimiters: [
+ { left: '\\[', right: '\\]', display: true },
+ { left: '\\(', right: '\\)', display: false },
+ { left: '$$', right: '$$', display: false },
+ // do not add single dollar sign here, other wise it will confused with dollar used for money symbol
+ ],
+ throwOnError: false,
+ });
+ // support latex with single dollar sign
+ md.value.use(markdownItKatexNormal, { throwOnError: false });
+ // add copy button to code blocks
+ const origFenchRenderer = md.value.renderer.rules.fence;
+ md.value.renderer.rules.fence = (tokens, idx, ...args) => {
+ const content = tokens[idx].content;
+ const origRendered = origFenchRenderer(tokens, idx, ...args);
+ return `Connection Status: {connectionStatus}
+ {error &&Error: {error}
} +