2023-04-17 12:10:22 +02:00
|
|
|
import {displayError} from './common.js';
|
2022-09-13 18:33:37 +02:00
|
|
|
|
|
|
|
function targetElement(el) {
|
2023-04-17 12:10:22 +02:00
|
|
|
// The target element is either the current element if it has the
|
|
|
|
// `is-loading` class or the pre that contains it
|
2022-09-13 18:33:37 +02:00
|
|
|
return el.classList.contains('is-loading') ? el : el.closest('pre');
|
|
|
|
}
|
|
|
|
|
|
|
|
export async function renderMath() {
|
|
|
|
const els = document.querySelectorAll('.markup code.language-math');
|
|
|
|
if (!els.length) return;
|
|
|
|
|
|
|
|
const [{default: katex}] = await Promise.all([
|
|
|
|
import(/* webpackChunkName: "katex" */'katex'),
|
|
|
|
import(/* webpackChunkName: "katex" */'katex/dist/katex.css'),
|
|
|
|
]);
|
|
|
|
|
2023-11-01 22:26:45 +01:00
|
|
|
const MAX_CHARS = 1000;
|
|
|
|
const MAX_SIZE = 25;
|
|
|
|
const MAX_EXPAND = 1000;
|
|
|
|
|
2022-09-13 18:33:37 +02:00
|
|
|
for (const el of els) {
|
2023-04-17 12:10:22 +02:00
|
|
|
const target = targetElement(el);
|
|
|
|
if (target.hasAttribute('data-render-done')) continue;
|
2022-09-13 18:33:37 +02:00
|
|
|
const source = el.textContent;
|
2023-11-01 22:26:45 +01:00
|
|
|
|
|
|
|
if (source.length > MAX_CHARS) {
|
|
|
|
displayError(target, new Error(`Math source of ${source.length} characters exceeds the maximum allowed length of ${MAX_CHARS}.`));
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
|
2023-01-16 11:25:46 +01:00
|
|
|
const displayMode = el.classList.contains('display');
|
|
|
|
const nodeName = displayMode ? 'p' : 'span';
|
2022-09-13 18:33:37 +02:00
|
|
|
|
|
|
|
try {
|
2022-11-17 02:04:09 +01:00
|
|
|
const tempEl = document.createElement(nodeName);
|
|
|
|
katex.render(source, tempEl, {
|
2023-11-01 22:26:45 +01:00
|
|
|
maxSize: MAX_SIZE,
|
|
|
|
maxExpand: MAX_EXPAND,
|
2023-01-16 11:25:46 +01:00
|
|
|
displayMode,
|
2022-11-17 02:04:09 +01:00
|
|
|
});
|
2023-04-17 12:10:22 +02:00
|
|
|
target.replaceWith(tempEl);
|
2022-09-13 18:33:37 +02:00
|
|
|
} catch (error) {
|
2023-04-17 12:10:22 +02:00
|
|
|
displayError(target, error);
|
2022-09-13 18:33:37 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|