Spaces:
Sleeping
Sleeping
Update static/index.html
Browse files- static/index.html +18 -12
static/index.html
CHANGED
|
@@ -46,7 +46,8 @@
|
|
| 46 |
overflow-x: auto;
|
| 47 |
}
|
| 48 |
</style>
|
| 49 |
-
|
|
|
|
| 50 |
</head>
|
| 51 |
<body>
|
| 52 |
<div class="container mt-5">
|
|
@@ -219,15 +220,12 @@
|
|
| 219 |
<script src="https://cdn.jsdelivr.net/npm/@popperjs/[email protected]/dist/umd/popper.min.js"></script>
|
| 220 |
<script src="https://cdn.jsdelivr.net/npm/[email protected]/dist/js/bootstrap.min.js"></script>
|
| 221 |
<script src="https://cdn.jsdelivr.net/npm/marked/marked.min.js"></script>
|
| 222 |
-
|
| 223 |
-
|
| 224 |
-
|
| 225 |
-
|
| 226 |
-
|
| 227 |
-
|
| 228 |
-
options: { skipHtmlTags: ['script', 'noscript', 'style', 'textarea', 'pre'] }
|
| 229 |
-
};
|
| 230 |
-
</script>
|
| 231 |
|
| 232 |
|
| 233 |
<script>
|
|
@@ -275,11 +273,19 @@
|
|
| 275 |
|
| 276 |
// Append streaming chunks as HTML
|
| 277 |
resultContent.innerHTML = htmlChunk;
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 278 |
|
| 279 |
// Streaming complete
|
| 280 |
typingIndicator.style.display = 'none';
|
| 281 |
-
|
| 282 |
-
MathJax.typesetPromise([resultContent]);
|
| 283 |
socket.close();
|
| 284 |
}
|
| 285 |
|
|
|
|
| 46 |
overflow-x: auto;
|
| 47 |
}
|
| 48 |
</style>
|
| 49 |
+
<!-- KaTeX CSS for styling -->
|
| 50 |
+
<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css">
|
| 51 |
</head>
|
| 52 |
<body>
|
| 53 |
<div class="container mt-5">
|
|
|
|
| 220 |
<script src="https://cdn.jsdelivr.net/npm/@popperjs/[email protected]/dist/umd/popper.min.js"></script>
|
| 221 |
<script src="https://cdn.jsdelivr.net/npm/[email protected]/dist/js/bootstrap.min.js"></script>
|
| 222 |
<script src="https://cdn.jsdelivr.net/npm/marked/marked.min.js"></script>
|
| 223 |
+
|
| 224 |
+
<!-- KaTeX JS for rendering -->
|
| 225 |
+
<script defer src="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.js"></script>
|
| 226 |
+
<!-- Auto-render extension -->
|
| 227 |
+
<script defer src="https://cdn.jsdelivr.net/npm/[email protected]/dist/contrib/auto-render.min.js"></script>
|
| 228 |
+
|
|
|
|
|
|
|
|
|
|
| 229 |
|
| 230 |
|
| 231 |
<script>
|
|
|
|
| 273 |
|
| 274 |
// Append streaming chunks as HTML
|
| 275 |
resultContent.innerHTML = htmlChunk;
|
| 276 |
+
|
| 277 |
+
renderMathInElement(resultContent, {
|
| 278 |
+
delimiters: [
|
| 279 |
+
{ left: "\\(", right: "\\)", display: false },
|
| 280 |
+
{ left: "\\[", right: "\\]", display: true },
|
| 281 |
+
{ left: "$$", right: "$$", display: true },
|
| 282 |
+
{ left: "$", right: "$", display: false }
|
| 283 |
+
]
|
| 284 |
+
});
|
| 285 |
|
| 286 |
// Streaming complete
|
| 287 |
typingIndicator.style.display = 'none';
|
| 288 |
+
|
|
|
|
| 289 |
socket.close();
|
| 290 |
}
|
| 291 |
|