pi-tau-web-server 1.0.8

package/public/tree-view.js

@@ -0,0 +1,474 @@
+const HINT_DEFAULT = '↑↓ move · Enter jump · Esc close';
+const HINT_STREAMING = 'Session is streaming — navigation is disabled until the turn finishes.';
+// customType of the internal marker entries the server appends to persist a
+// leaf move (keep in sync with NAVIGATION_MARKER_TYPE in src/server/tree.ts).
+// They are tau plumbing, not conversation content, so the tree never shows
+// them — not even in "All entries" mode.
+const NAVIGATION_MARKER_TYPE = 'tau:navigate-tree';
+// Indent guides are capped so deeply-branched trees stay readable on narrow
+// screens (depth counts branch points, not entries — see flatten()).
+const MAX_GUIDE_DEPTH = 6;
+// Small inline-SVG role glyphs, matching the app's existing icon style
+// (16px, stroke currentColor).
+const SVG_ATTRS = 'width="14" height="14" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"';
+const ICONS = {
+    user: `<svg ${SVG_ATTRS}><path d="M20 21v-2a4 4 0 0 0-4-4H8a4 4 0 0 0-4 4v2"/><circle cx="12" cy="7" r="4"/></svg>`,
+    assistant: `<svg ${SVG_ATTRS}><path d="M12 3l2 5.5L19.5 10 14 12l-2 5.5L10 12l-5.5-2L10 8.5z"/></svg>`,
+    tool: `<svg ${SVG_ATTRS}><path d="M14.7 6.3a1 1 0 0 0 0 1.4l1.6 1.6a1 1 0 0 0 1.4 0l3.77-3.77a6 6 0 0 1-7.94 7.94l-6.91 6.91a2.12 2.12 0 0 1-3-3l6.91-6.91a6 6 0 0 1 7.94-7.94l-3.76 3.76z"/></svg>`,
+    compaction: `<svg ${SVG_ATTRS}><rect x="2" y="3" width="20" height="5" rx="1"/><path d="M4 8v11a2 2 0 0 0 2 2h12a2 2 0 0 0 2-2V8"/><line x1="10" y1="12" x2="14" y2="12"/></svg>`,
+    meta: `<svg ${SVG_ATTRS}><circle cx="12" cy="12" r="10"/><line x1="12" y1="16" x2="12" y2="12"/><line x1="12" y1="8" x2="12.01" y2="8"/></svg>`,
+};
+function firstLine(text) {
+    return (String(text || '').split('\n').find((line) => line.trim()) || '').trim();
+}
+function messageText(msg) {
+    if (!msg)
+        return '';
+    if (typeof msg.content === 'string')
+        return msg.content;
+    if (Array.isArray(msg.content)) {
+        return msg.content.filter((b) => b.type === 'text').map((b) => b.text || '').join('\n');
+    }
+    return '';
+}
+// Classify an entry for glyph + filtering, and produce the one-line snippet.
+function describeEntry(entry) {
+    if (entry.type === 'message') {
+        const role = entry.message?.role || '';
+        if (role === 'user')
+            return { kind: 'user', text: firstLine(messageText(entry.message)) || '(empty message)' };
+        if (role === 'assistant') {
+            const text = firstLine(messageText(entry.message));
+            if (text)
+                return { kind: 'assistant', text };
+            const toolNames = Array.isArray(entry.message?.content)
+                ? entry.message.content.filter((b) => b.type === 'toolCall').map((b) => b.name || 'tool').join(', ')
+                : '';
+            return { kind: 'assistant', text: toolNames ? `→ ${toolNames}` : '(empty message)' };
+        }
+        if (role === 'toolResult')
+            return { kind: 'tool', text: entry.message?.toolName || 'tool result' };
+        return { kind: 'meta', text: firstLine(messageText(entry.message)) || role || 'message' };
+    }
+    if (entry.type === 'custom_message') {
+        return { kind: 'user', text: firstLine(String(entry.content || '')) || entry.customType || 'custom message' };
+    }
+    if (entry.type === 'custom')
+        return { kind: 'meta', text: entry.customType || 'custom' };
+    if (entry.type === 'compaction') {
+        const summary = firstLine(String(entry.summary || ''));
+        return { kind: 'compaction', text: summary ? `Compaction — ${summary}` : 'Compaction' };
+    }
+    if (entry.type === 'branch_summary') {
+        const summary = firstLine(String(entry.summary || ''));
+        return { kind: 'compaction', text: summary ? `Branch summary — ${summary}` : 'Branch summary' };
+    }
+    // Model id can contain slashes; display is always the provider/id join.
+    if (entry.type === 'model_change')
+        return { kind: 'meta', text: `model → ${[entry.provider, entry.modelId].filter(Boolean).join('/')}` };
+    if (entry.type === 'thinking_level_change')
+        return { kind: 'meta', text: `thinking → ${entry.thinkingLevel || ''}` };
+    if (entry.type === 'session_info')
+        return { kind: 'meta', text: `name → ${entry.name || ''}` };
+    if (entry.type === 'label')
+        return { kind: 'meta', text: `label → ${entry.label || ''}` };
+    return { kind: 'meta', text: entry.type || 'entry' };
+}
+export function setupTreeView(options) {
+    const { getActiveLiveSessionId, isStreaming, setComposerText, flashStatusError } = options;
+    // Static index.html shell elements — assert non-null at the query site,
+    // matching the other setup modules.
+    const treeBtn = document.getElementById('tree-btn');
+    const overlay = document.getElementById('tree-view-overlay');
+    const modal = document.getElementById('tree-view');
+    const listEl = document.getElementById('tree-view-list');
+    const messageEl = document.getElementById('tree-view-message');
+    const filterBtn = document.getElementById('tree-view-filter');
+    const closeBtn = document.getElementById('tree-view-close');
+    let treeData = [];
+    let leafId = null;
+    let showAll = false; // default: messages only (pi's default /tree filter)
+    let rows = [];
+    let rowEls = [];
+    let activeIndex = -1;
+    let openSessionId = null;
+    let navigating = false;
+    function isOpen() {
+        return !modal.classList.contains('hidden');
+    }
+    function setMessage(text, isError = false) {
+        messageEl.textContent = text;
+        messageEl.classList.toggle('error', isError);
+    }
+    function updateFilterButton() {
+        filterBtn.textContent = showAll ? 'All entries' : 'Messages only';
+        filterBtn.setAttribute('aria-pressed', showAll ? 'true' : 'false');
+        filterBtn.title = showAll ? 'Showing every entry — click to hide tool results and housekeeping entries' : 'Hiding tool results and housekeeping entries — click to show every entry';
+    }
+    // Flatten the tree depth-first. Depth counts BRANCH POINTS, not entries: a
+    // linear run of parent→child entries stays at one indent level and only a
+    // node with several children pushes its children one level deeper —
+    // otherwise every ordinary exchange would gain a level and long sessions
+    // would indent themselves off-screen. Filtered-out entries never render:
+    // their children are promoted into their place (at the depth the hidden
+    // entry would have had), so the branch structure stays readable in
+    // messages-only mode. "Messages only" mirrors pi's no-tools filter: tool
+    // results and housekeeping entries (model/thinking/name changes, custom
+    // meta entries) are hidden, messages and compactions stay. tau's internal
+    // navigation markers are plumbing and are hidden in every mode.
+    function flatten(nodes, depth, out) {
+        for (const node of nodes) {
+            const entry = node.entry;
+            const isInternalMarker = entry.type === 'custom' && entry.customType === NAVIGATION_MARKER_TYPE;
+            const kind = describeEntry(entry).kind;
+            const hidden = isInternalMarker || (!showAll && (kind === 'tool' || kind === 'meta'));
+            if (!hidden)
+                out.push({ node, depth });
+            const childDepth = depth + ((node.children || []).length > 1 ? 1 : 0);
+            flatten(node.children, childDepth, out);
+        }
+        return out;
+    }
+    // ids on the active path (root → current leaf), derived by walking
+    // parentId links from the leaf.
+    function computeActivePath() {
+        const byId = new Map();
+        const walk = (nodes) => {
+            for (const node of nodes) {
+                if (node.entry?.id)
+                    byId.set(node.entry.id, node.entry);
+                walk(node.children || []);
+            }
+        };
+        walk(treeData);
+        const path = new Set();
+        let cursor = leafId;
+        while (cursor && byId.has(cursor) && !path.has(cursor)) {
+            path.add(cursor);
+            cursor = byId.get(cursor)?.parentId || null;
+        }
+        return path;
+    }
+    function setActiveIndex(index, scroll = false) {
+        if (!rows.length) {
+            activeIndex = -1;
+            listEl.removeAttribute('aria-activedescendant');
+            return;
+        }
+        activeIndex = Math.max(0, Math.min(index, rows.length - 1));
+        rowEls.forEach((el, i) => {
+            const active = i === activeIndex;
+            el.classList.toggle('active', active);
+            el.setAttribute('aria-selected', active ? 'true' : 'false');
+        });
+        // Keep the roving highlight visible to screen readers: DOM focus stays on
+        // the listbox, aria-activedescendant follows the highlighted option.
+        const activeEl = rowEls[activeIndex];
+        if (activeEl?.id)
+            listEl.setAttribute('aria-activedescendant', activeEl.id);
+        if (scroll)
+            activeEl?.scrollIntoView({ block: 'nearest' });
+    }
+    function render(scrollLeafIntoView = false) {
+        rows = flatten(treeData, 0, []);
+        rowEls = [];
+        listEl.innerHTML = '';
+        listEl.removeAttribute('aria-activedescendant');
+        const path = computeActivePath();
+        const streaming = isStreaming();
+        setMessage(streaming ? HINT_STREAMING : HINT_DEFAULT, false);
+        listEl.classList.toggle('tree-view-inert', streaming);
+        if (!rows.length) {
+            const empty = document.createElement('div');
+            empty.className = 'tree-view-empty';
+            empty.textContent = 'No entries in this session yet.';
+            listEl.appendChild(empty);
+            activeIndex = -1;
+            return;
+        }
+        // The "current" marker goes on the DEEPEST VISIBLE row of the active
+        // path, not on the raw leaf entry: the leaf is often hidden (tau's
+        // navigation marker, a filtered tool result) or a housekeeping entry
+        // appended below the spot the user actually jumped to. DFS order lists
+        // ancestors before descendants, so the last on-path row is the deepest.
+        let currentIndex = -1;
+        rows.forEach((row, index) => {
+            if (row.node.entry.id && path.has(row.node.entry.id))
+                currentIndex = index;
+        });
+        rows.forEach((row, index) => {
+            const entry = row.node.entry;
+            const { kind, text } = describeEntry(entry);
+            const onPath = !!entry.id && path.has(entry.id);
+            const isCurrent = index === currentIndex;
+            const btn = document.createElement('button');
+            btn.type = 'button';
+            btn.id = `tree-row-${index}`;
+            btn.className = `tree-row${onPath ? ' on-path' : ''}${isCurrent ? ' leaf' : ''}`;
+            btn.setAttribute('role', 'option');
+            btn.setAttribute('aria-selected', 'false');
+            if (streaming)
+                btn.disabled = true;
+            btn.title = text;
+            const guides = document.createElement('span');
+            guides.className = 'tree-guides';
+            for (let i = 0; i < Math.min(row.depth, MAX_GUIDE_DEPTH); i++) {
+                const guide = document.createElement('span');
+                guide.className = 'tree-guide';
+                guides.appendChild(guide);
+            }
+            btn.appendChild(guides);
+            const icon = document.createElement('span');
+            icon.className = `tree-row-icon tree-row-icon-${kind}`;
+            icon.innerHTML = ICONS[kind] || ICONS.meta;
+            btn.appendChild(icon);
+            const snippet = document.createElement('span');
+            snippet.className = 'tree-row-text';
+            snippet.textContent = text;
+            btn.appendChild(snippet);
+            const label = row.node.label;
+            if (label) {
+                const badge = document.createElement('span');
+                badge.className = 'tree-row-label';
+                badge.textContent = label;
+                btn.appendChild(badge);
+            }
+            if (isCurrent) {
+                const current = document.createElement('span');
+                current.className = 'tree-row-current';
+                current.textContent = 'current';
+                btn.appendChild(current);
+            }
+            btn.addEventListener('mouseenter', () => setActiveIndex(index));
+            btn.addEventListener('click', () => { void selectRow(index); });
+            listEl.appendChild(btn);
+            rowEls.push(btn);
+        });
+        setActiveIndex(currentIndex >= 0 ? currentIndex : rows.length - 1);
+        if (scrollLeafIntoView) {
+            requestAnimationFrame(() => rowEls[activeIndex]?.scrollIntoView({ block: 'center' }));
+        }
+    }
+    async function selectRow(index) {
+        const row = rows[index];
+        const entryId = row?.node.entry?.id;
+        if (!entryId || navigating)
+            return;
+        if (isStreaming()) {
+            setMessage(HINT_STREAMING, false);
+            return;
+        }
+        const sessionId = openSessionId || getActiveLiveSessionId();
+        if (!sessionId) {
+            setMessage('Select a live Tau tab first.', true);
+            return;
+        }
+        navigating = true;
+        setMessage('Jumping…', false);
+        try {
+            const resp = await fetch('/api/rpc', {
+                method: 'POST',
+                headers: { 'Content-Type': 'application/json' },
+                body: JSON.stringify({ type: 'navigate_tree', sessionId, entryId }),
+            });
+            const data = await resp.json();
+            if (data?.success) {
+                const editorText = data.data?.editorText;
+                close();
+                // The conversation re-renders when the server broadcasts a fresh
+                // snapshot; we only need to hand the message text to the composer.
+                if (typeof editorText === 'string')
+                    setComposerText(editorText);
+            }
+            else {
+                const error = data?.error || 'Failed to navigate the session tree';
+                setMessage(error, true);
+                flashStatusError(error);
+            }
+        }
+        catch {
+            const error = 'Failed to navigate the session tree';
+            setMessage(error, true);
+            flashStatusError(error);
+        }
+        finally {
+            navigating = false;
+        }
+    }
+    // Page step for PageUp/PageDown, mirroring pi's TUI tree paging.
+    const PAGE_STEP = 10;
+    function onKeyDown(e) {
+        if (!isOpen())
+            return;
+        if (e.key === 'Escape') {
+            e.preventDefault();
+            e.stopPropagation();
+            close();
+            return;
+        }
+        if (!rows.length)
+            return;
+        // Arrow keys wrap around like the model picker's list.
+        if (e.key === 'ArrowDown') {
+            e.preventDefault();
+            setActiveIndex((activeIndex + 1) % rows.length, true);
+            return;
+        }
+        if (e.key === 'ArrowUp') {
+            e.preventDefault();
+            setActiveIndex((activeIndex - 1 + rows.length) % rows.length, true);
+            return;
+        }
+        if (e.key === 'Home') {
+            e.preventDefault();
+            setActiveIndex(0, true);
+            return;
+        }
+        if (e.key === 'End') {
+            e.preventDefault();
+            setActiveIndex(rows.length - 1, true);
+            return;
+        }
+        if (e.key === 'PageDown') {
+            e.preventDefault();
+            setActiveIndex(activeIndex + PAGE_STEP, true);
+            return;
+        }
+        if (e.key === 'PageUp') {
+            e.preventDefault();
+            setActiveIndex(activeIndex - PAGE_STEP, true);
+            return;
+        }
+        if (e.key === 'Enter') {
+            e.preventDefault();
+            if (activeIndex >= 0)
+                void selectRow(activeIndex);
+        }
+    }
+    // Monotonic sequence so a slow get_tree response never clobbers a newer one
+    // (open → turn-end reload → snapshot reload can overlap).
+    let loadSeq = 0;
+    async function loadTree(centerCurrent) {
+        const sessionId = openSessionId;
+        if (!sessionId)
+            return;
+        const seq = ++loadSeq;
+        try {
+            const resp = await fetch('/api/rpc', {
+                method: 'POST',
+                headers: { 'Content-Type': 'application/json' },
+                body: JSON.stringify({ type: 'get_tree', sessionId }),
+            });
+            const data = await resp.json();
+            if (!isOpen() || openSessionId !== sessionId || seq !== loadSeq)
+                return;
+            if (!data?.success || !data.data) {
+                setMessage(data?.error || 'Failed to load the session tree', true);
+                return;
+            }
+            treeData = (data.data.tree || []);
+            leafId = data.data.leafId ?? null;
+            render(centerCurrent);
+        }
+        catch {
+            if (isOpen() && openSessionId === sessionId && seq === loadSeq) {
+                setMessage('Failed to load the session tree', true);
+            }
+        }
+    }
+    async function open() {
+        const sessionId = getActiveLiveSessionId();
+        if (!sessionId) {
+            flashStatusError('Select a live Tau tab first.');
+            return;
+        }
+        openSessionId = sessionId;
+        treeData = [];
+        leafId = null;
+        rows = [];
+        rowEls = [];
+        activeIndex = -1;
+        listEl.innerHTML = '';
+        listEl.classList.remove('tree-view-inert');
+        updateFilterButton();
+        setMessage('Loading session tree…', false);
+        modal.classList.remove('hidden');
+        overlay.classList.remove('hidden');
+        document.addEventListener('keydown', onKeyDown, true);
+        // Move focus into the dialog (the model picker focuses its input the same
+        // way) so Tab does not keep walking the page behind the overlay and the
+        // listbox's aria-activedescendant highlight is announced.
+        listEl.focus();
+        await loadTree(true);
+    }
+    function close() {
+        const hadFocus = modal.contains(document.activeElement);
+        modal.classList.add('hidden');
+        overlay.classList.add('hidden');
+        document.removeEventListener('keydown', onKeyDown, true);
+        listEl.innerHTML = '';
+        listEl.removeAttribute('aria-activedescendant');
+        treeData = [];
+        rows = [];
+        rowEls = [];
+        activeIndex = -1;
+        openSessionId = null;
+        // Hand focus back to the button that opened the dialog.
+        if (hadFocus && treeBtn instanceof HTMLElement && !treeBtn.classList.contains('hidden'))
+            treeBtn.focus();
+    }
+    // Keep an open modal in sync with the session's live state instead of
+    // freezing whatever was true at open time. Streaming starting disables the
+    // rows in place; streaming ending means the turn appended entries, so the
+    // tree is refetched (which also re-enables the rows and re-centers on the
+    // new current position).
+    function notifyStreamingChanged(sessionId, streaming) {
+        if (!isOpen() || !openSessionId || (sessionId && sessionId !== openSessionId))
+            return;
+        if (streaming) {
+            listEl.classList.add('tree-view-inert');
+            rowEls.forEach((el) => { el.disabled = true; });
+            if (!navigating)
+                setMessage(HINT_STREAMING, false);
+        }
+        else {
+            void loadTree(true);
+        }
+    }
+    // Another client moved this session's leaf (the server broadcast a fresh
+    // snapshot) — refetch so the displayed tree is not stale.
+    function notifyTreeChanged(sessionId) {
+        if (!isOpen() || !openSessionId || (sessionId && sessionId !== openSessionId))
+            return;
+        if (!navigating)
+            void loadTree(true);
+    }
+    function closeIfOpen() {
+        if (!isOpen())
+            return false;
+        close();
+        return true;
+    }
+    // Header entry button visibility is gated on having an active live
+    // session, mirroring the other session-dependent header controls.
+    function setVisible(visible) {
+        treeBtn.classList.toggle('hidden', !visible);
+    }
+    filterBtn.addEventListener('click', () => {
+        showAll = !showAll;
+        updateFilterButton();
+        // Re-render with centering, like open(): rebuilding the list resets the
+        // scroll position, so without it toggling the filter would throw the view
+        // back to the session root and lose the current position.
+        if (treeData.length || leafId)
+            render(true);
+    });
+    treeBtn.addEventListener('click', () => { void open(); });
+    overlay.addEventListener('click', close);
+    closeBtn.addEventListener('click', close);
+    // Focusable so open() can move focus into the dialog; keyboard interaction
+    // is roving-highlight (aria-activedescendant), not per-row tab stops.
+    listEl.tabIndex = -1;
+    updateFilterButton();
+    return { open, close, closeIfOpen, setVisible, notifyStreamingChanged, notifyTreeChanged };
+}

package/public/vendor/katex/katex.min.css

@@ -0,0 +1 @@
+@font-face{font-display:block;font-family:KaTeX_AMS;font-style:normal;font-weight:400;src:url(fonts/KaTeX_AMS-Regular.woff2) format("woff2"),url(fonts/KaTeX_AMS-Regular.woff) format("woff"),url(fonts/KaTeX_AMS-Regular.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:700;src:url(fonts/KaTeX_Caligraphic-Bold.woff2) format("woff2"),url(fonts/KaTeX_Caligraphic-Bold.woff) format("woff"),url(fonts/KaTeX_Caligraphic-Bold.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:400;src:url(fonts/KaTeX_Caligraphic-Regular.woff2) format("woff2"),url(fonts/KaTeX_Caligraphic-Regular.woff) format("woff"),url(fonts/KaTeX_Caligraphic-Regular.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:700;src:url(fonts/KaTeX_Fraktur-Bold.woff2) format("woff2"),url(fonts/KaTeX_Fraktur-Bold.woff) format("woff"),url(fonts/KaTeX_Fraktur-Bold.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:400;src:url(fonts/KaTeX_Fraktur-Regular.woff2) format("woff2"),url(fonts/KaTeX_Fraktur-Regular.woff) format("woff"),url(fonts/KaTeX_Fraktur-Regular.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:700;src:url(fonts/KaTeX_Main-Bold.woff2) format("woff2"),url(fonts/KaTeX_Main-Bold.woff) format("woff"),url(fonts/KaTeX_Main-Bold.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:700;src:url(fonts/KaTeX_Main-BoldItalic.woff2) format("woff2"),url(fonts/KaTeX_Main-BoldItalic.woff) format("woff"),url(fonts/KaTeX_Main-BoldItalic.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:400;src:url(fonts/KaTeX_Main-Italic.woff2) format("woff2"),url(fonts/KaTeX_Main-Italic.woff) format("woff"),url(fonts/KaTeX_Main-Italic.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:400;src:url(fonts/KaTeX_Main-Regular.woff2) format("woff2"),url(fonts/KaTeX_Main-Regular.woff) format("woff"),url(fonts/KaTeX_Main-Regular.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:700;src:url(fonts/KaTeX_Math-BoldItalic.woff2) format("woff2"),url(fonts/KaTeX_Math-BoldItalic.woff) format("woff"),url(fonts/KaTeX_Math-BoldItalic.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:400;src:url(fonts/KaTeX_Math-Italic.woff2) format("woff2"),url(fonts/KaTeX_Math-Italic.woff) format("woff"),url(fonts/KaTeX_Math-Italic.ttf) format("truetype")}@font-face{font-display:block;font-family:"KaTeX_SansSerif";font-style:normal;font-weight:700;src:url(fonts/KaTeX_SansSerif-Bold.woff2) format("woff2"),url(fonts/KaTeX_SansSerif-Bold.woff) format("woff"),url(fonts/KaTeX_SansSerif-Bold.ttf) format("truetype")}@font-face{font-display:block;font-family:"KaTeX_SansSerif";font-style:italic;font-weight:400;src:url(fonts/KaTeX_SansSerif-Italic.woff2) format("woff2"),url(fonts/KaTeX_SansSerif-Italic.woff) format("woff"),url(fonts/KaTeX_SansSerif-Italic.ttf) format("truetype")}@font-face{font-display:block;font-family:"KaTeX_SansSerif";font-style:normal;font-weight:400;src:url(fonts/KaTeX_SansSerif-Regular.woff2) format("woff2"),url(fonts/KaTeX_SansSerif-Regular.woff) format("woff"),url(fonts/KaTeX_SansSerif-Regular.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Script;font-style:normal;font-weight:400;src:url(fonts/KaTeX_Script-Regular.woff2) format("woff2"),url(fonts/KaTeX_Script-Regular.woff) format("woff"),url(fonts/KaTeX_Script-Regular.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size1;font-style:normal;font-weight:400;src:url(fonts/KaTeX_Size1-Regular.woff2) format("woff2"),url(fonts/KaTeX_Size1-Regular.woff) format("woff"),url(fonts/KaTeX_Size1-Regular.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size2;font-style:normal;font-weight:400;src:url(fonts/KaTeX_Size2-Regular.woff2) format("woff2"),url(fonts/KaTeX_Size2-Regular.woff) format("woff"),url(fonts/KaTeX_Size2-Regular.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size3;font-style:normal;font-weight:400;src:url(fonts/KaTeX_Size3-Regular.woff2) format("woff2"),url(fonts/KaTeX_Size3-Regular.woff) format("woff"),url(fonts/KaTeX_Size3-Regular.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size4;font-style:normal;font-weight:400;src:url(fonts/KaTeX_Size4-Regular.woff2) format("woff2"),url(fonts/KaTeX_Size4-Regular.woff) format("woff"),url(fonts/KaTeX_Size4-Regular.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Typewriter;font-style:normal;font-weight:400;src:url(fonts/KaTeX_Typewriter-Regular.woff2) format("woff2"),url(fonts/KaTeX_Typewriter-Regular.woff) format("woff"),url(fonts/KaTeX_Typewriter-Regular.ttf) format("truetype")}.katex{font:normal 1.21em KaTeX_Main,Times New Roman,serif;line-height:1.2;position:relative;text-indent:0;text-rendering:auto}.katex *{-ms-high-contrast-adjust:none!important;border-color:currentColor}.katex .katex-version:after{content:"0.18.0"}.katex .katex-mathml{border:0;-webkit-clip-path:inset(50%);clip-path:inset(50%);height:1px;overflow:hidden;padding:0;position:absolute;width:1px}.katex .katex-html>.katex-newline{display:block}.katex .katex-base{position:relative;white-space:nowrap;width:-webkit-min-content;width:-moz-min-content;width:min-content}.katex .katex-base,.katex .katex-strut{display:inline-block}.katex .textbf{font-weight:700}.katex .textit{font-style:italic}.katex .textrm{font-family:KaTeX_Main}.katex .textsf{font-family:KaTeX_SansSerif}.katex .texttt{font-family:KaTeX_Typewriter}.katex .mathnormal{font-family:KaTeX_Math;font-style:italic}.katex .mathit{font-family:KaTeX_Main;font-style:italic}.katex .mathrm{font-style:normal}.katex .mathbf{font-family:KaTeX_Main;font-weight:700}.katex .boldsymbol{font-family:KaTeX_Math;font-style:italic;font-weight:700}.katex .amsrm,.katex .mathbb,.katex .textbb{font-family:KaTeX_AMS}.katex .mathcal{font-family:KaTeX_Caligraphic}.katex .mathfrak,.katex .textfrak{font-family:KaTeX_Fraktur}.katex .mathboldfrak,.katex .textboldfrak{font-family:KaTeX_Fraktur;font-weight:700}.katex .mathtt{font-family:KaTeX_Typewriter}.katex .mathscr,.katex .textscr{font-family:KaTeX_Script}.katex .mathsf,.katex .textsf{font-family:KaTeX_SansSerif}.katex .mathboldsf,.katex .textboldsf{font-family:KaTeX_SansSerif;font-weight:700}.katex .mathitsf,.katex .mathsfit,.katex .textitsf{font-family:KaTeX_SansSerif;font-style:italic}.katex .mainrm{font-family:KaTeX_Main;font-style:normal}.katex .vlist-t{border-collapse:collapse;display:inline-table;table-layout:fixed}.katex .vlist-r{display:table-row}.katex .vlist{display:table-cell;position:relative;vertical-align:bottom}.katex .vlist>span{display:block;height:0;position:relative}.katex .vlist>span>span{display:inline-block}.katex .vlist>span>.pstrut{overflow:hidden;width:0}.katex .vlist-t2{margin-right:-2px}.katex .vlist-s{display:table-cell;font-size:1px;min-width:2px;vertical-align:bottom;width:2px}.katex .katex-vbox{align-items:baseline;display:inline-flex;flex-direction:column}.katex .katex-thinbox{display:inline-flex;flex-direction:row;max-width:0;width:0}.katex .msupsub{text-align:left}.katex .mfrac>span>span{text-align:center}.katex .mfrac .frac-line{border-bottom-style:solid;display:inline-block;width:100%}.katex .katex-hdashline,.katex .katex-hline,.katex .katex-overline .overline-line,.katex .katex-rule,.katex .katex-underline .underline-line,.katex .mfrac .frac-line{min-height:1px}.katex .mspace{display:inline-block}.katex .katex-smash{display:inline;line-height:0}.katex .clap,.katex .llap,.katex .rlap{position:relative;width:0}.katex .clap>.katex-inner,.katex .llap>.katex-inner,.katex .rlap>.katex-inner{position:absolute}.katex .clap>.katex-fix,.katex .llap>.katex-fix,.katex .rlap>.katex-fix{display:inline-block}.katex .llap>.katex-inner{right:0}.katex .clap>.katex-inner,.katex .rlap>.katex-inner{left:0}.katex .clap>.katex-inner>span{margin-left:-50%;margin-right:50%}.katex .katex-rule{border:0 solid;display:inline-block;position:relative}.katex .katex-hline,.katex .katex-overline .overline-line,.katex .katex-underline .underline-line{border-bottom-style:solid;display:inline-block;width:100%}.katex .katex-hdashline{border-bottom-style:dashed;display:inline-block;width:100%}.katex .sqrt>.katex-root{margin-left:.2777777778em;margin-right:-.5555555556em}.katex .fontsize-ensurer.reset-size1.size1,.katex .katex-sizing.reset-size1.size1{font-size:1em}.katex .fontsize-ensurer.reset-size1.size2,.katex .katex-sizing.reset-size1.size2{font-size:1.2em}.katex .fontsize-ensurer.reset-size1.size3,.katex .katex-sizing.reset-size1.size3{font-size:1.4em}.katex .fontsize-ensurer.reset-size1.size4,.katex .katex-sizing.reset-size1.size4{font-size:1.6em}.katex .fontsize-ensurer.reset-size1.size5,.katex .katex-sizing.reset-size1.size5{font-size:1.8em}.katex .fontsize-ensurer.reset-size1.size6,.katex .katex-sizing.reset-size1.size6{font-size:2em}.katex .fontsize-ensurer.reset-size1.size7,.katex .katex-sizing.reset-size1.size7{font-size:2.4em}.katex .fontsize-ensurer.reset-size1.size8,.katex .katex-sizing.reset-size1.size8{font-size:2.88em}.katex .fontsize-ensurer.reset-size1.size9,.katex .katex-sizing.reset-size1.size9{font-size:3.456em}.katex .fontsize-ensurer.reset-size1.size10,.katex .katex-sizing.reset-size1.size10{font-size:4.148em}.katex .fontsize-ensurer.reset-size1.size11,.katex .katex-sizing.reset-size1.size11{font-size:4.976em}.katex .fontsize-ensurer.reset-size2.size1,.katex .katex-sizing.reset-size2.size1{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size2.size2,.katex .katex-sizing.reset-size2.size2{font-size:1em}.katex .fontsize-ensurer.reset-size2.size3,.katex .katex-sizing.reset-size2.size3{font-size:1.1666666667em}.katex .fontsize-ensurer.reset-size2.size4,.katex .katex-sizing.reset-size2.size4{font-size:1.3333333333em}.katex .fontsize-ensurer.reset-size2.size5,.katex .katex-sizing.reset-size2.size5{font-size:1.5em}.katex .fontsize-ensurer.reset-size2.size6,.katex .katex-sizing.reset-size2.size6{font-size:1.6666666667em}.katex .fontsize-ensurer.reset-size2.size7,.katex .katex-sizing.reset-size2.size7{font-size:2em}.katex .fontsize-ensurer.reset-size2.size8,.katex .katex-sizing.reset-size2.size8{font-size:2.4em}.katex .fontsize-ensurer.reset-size2.size9,.katex .katex-sizing.reset-size2.size9{font-size:2.88em}.katex .fontsize-ensurer.reset-size2.size10,.katex .katex-sizing.reset-size2.size10{font-size:3.4566666667em}.katex .fontsize-ensurer.reset-size2.size11,.katex .katex-sizing.reset-size2.size11{font-size:4.1466666667em}.katex .fontsize-ensurer.reset-size3.size1,.katex .katex-sizing.reset-size3.size1{font-size:.7142857143em}.katex .fontsize-ensurer.reset-size3.size2,.katex .katex-sizing.reset-size3.size2{font-size:.8571428571em}.katex .fontsize-ensurer.reset-size3.size3,.katex .katex-sizing.reset-size3.size3{font-size:1em}.katex .fontsize-ensurer.reset-size3.size4,.katex .katex-sizing.reset-size3.size4{font-size:1.1428571429em}.katex .fontsize-ensurer.reset-size3.size5,.katex .katex-sizing.reset-size3.size5{font-size:1.2857142857em}.katex .fontsize-ensurer.reset-size3.size6,.katex .katex-sizing.reset-size3.size6{font-size:1.4285714286em}.katex .fontsize-ensurer.reset-size3.size7,.katex .katex-sizing.reset-size3.size7{font-size:1.7142857143em}.katex .fontsize-ensurer.reset-size3.size8,.katex .katex-sizing.reset-size3.size8{font-size:2.0571428571em}.katex .fontsize-ensurer.reset-size3.size9,.katex .katex-sizing.reset-size3.size9{font-size:2.4685714286em}.katex .fontsize-ensurer.reset-size3.size10,.katex .katex-sizing.reset-size3.size10{font-size:2.9628571429em}.katex .fontsize-ensurer.reset-size3.size11,.katex .katex-sizing.reset-size3.size11{font-size:3.5542857143em}.katex .fontsize-ensurer.reset-size4.size1,.katex .katex-sizing.reset-size4.size1{font-size:.625em}.katex .fontsize-ensurer.reset-size4.size2,.katex .katex-sizing.reset-size4.size2{font-size:.75em}.katex .fontsize-ensurer.reset-size4.size3,.katex .katex-sizing.reset-size4.size3{font-size:.875em}.katex .fontsize-ensurer.reset-size4.size4,.katex .katex-sizing.reset-size4.size4{font-size:1em}.katex .fontsize-ensurer.reset-size4.size5,.katex .katex-sizing.reset-size4.size5{font-size:1.125em}.katex .fontsize-ensurer.reset-size4.size6,.katex .katex-sizing.reset-size4.size6{font-size:1.25em}.katex .fontsize-ensurer.reset-size4.size7,.katex .katex-sizing.reset-size4.size7{font-size:1.5em}.katex .fontsize-ensurer.reset-size4.size8,.katex .katex-sizing.reset-size4.size8{font-size:1.8em}.katex .fontsize-ensurer.reset-size4.size9,.katex .katex-sizing.reset-size4.size9{font-size:2.16em}.katex .fontsize-ensurer.reset-size4.size10,.katex .katex-sizing.reset-size4.size10{font-size:2.5925em}.katex .fontsize-ensurer.reset-size4.size11,.katex .katex-sizing.reset-size4.size11{font-size:3.11em}.katex .fontsize-ensurer.reset-size5.size1,.katex .katex-sizing.reset-size5.size1{font-size:.5555555556em}.katex .fontsize-ensurer.reset-size5.size2,.katex .katex-sizing.reset-size5.size2{font-size:.6666666667em}.katex .fontsize-ensurer.reset-size5.size3,.katex .katex-sizing.reset-size5.size3{font-size:.7777777778em}.katex .fontsize-ensurer.reset-size5.size4,.katex .katex-sizing.reset-size5.size4{font-size:.8888888889em}.katex .fontsize-ensurer.reset-size5.size5,.katex .katex-sizing.reset-size5.size5{font-size:1em}.katex .fontsize-ensurer.reset-size5.size6,.katex .katex-sizing.reset-size5.size6{font-size:1.1111111111em}.katex .fontsize-ensurer.reset-size5.size7,.katex .katex-sizing.reset-size5.size7{font-size:1.3333333333em}.katex .fontsize-ensurer.reset-size5.size8,.katex .katex-sizing.reset-size5.size8{font-size:1.6em}.katex .fontsize-ensurer.reset-size5.size9,.katex .katex-sizing.reset-size5.size9{font-size:1.92em}.katex .fontsize-ensurer.reset-size5.size10,.katex .katex-sizing.reset-size5.size10{font-size:2.3044444444em}.katex .fontsize-ensurer.reset-size5.size11,.katex .katex-sizing.reset-size5.size11{font-size:2.7644444444em}.katex .fontsize-ensurer.reset-size6.size1,.katex .katex-sizing.reset-size6.size1{font-size:.5em}.katex .fontsize-ensurer.reset-size6.size2,.katex .katex-sizing.reset-size6.size2{font-size:.6em}.katex .fontsize-ensurer.reset-size6.size3,.katex .katex-sizing.reset-size6.size3{font-size:.7em}.katex .fontsize-ensurer.reset-size6.size4,.katex .katex-sizing.reset-size6.size4{font-size:.8em}.katex .fontsize-ensurer.reset-size6.size5,.katex .katex-sizing.reset-size6.size5{font-size:.9em}.katex .fontsize-ensurer.reset-size6.size6,.katex .katex-sizing.reset-size6.size6{font-size:1em}.katex .fontsize-ensurer.reset-size6.size7,.katex .katex-sizing.reset-size6.size7{font-size:1.2em}.katex .fontsize-ensurer.reset-size6.size8,.katex .katex-sizing.reset-size6.size8{font-size:1.44em}.katex .fontsize-ensurer.reset-size6.size9,.katex .katex-sizing.reset-size6.size9{font-size:1.728em}.katex .fontsize-ensurer.reset-size6.size10,.katex .katex-sizing.reset-size6.size10{font-size:2.074em}.katex .fontsize-ensurer.reset-size6.size11,.katex .katex-sizing.reset-size6.size11{font-size:2.488em}.katex .fontsize-ensurer.reset-size7.size1,.katex .katex-sizing.reset-size7.size1{font-size:.4166666667em}.katex .fontsize-ensurer.reset-size7.size2,.katex .katex-sizing.reset-size7.size2{font-size:.5em}.katex .fontsize-ensurer.reset-size7.size3,.katex .katex-sizing.reset-size7.size3{font-size:.5833333333em}.katex .fontsize-ensurer.reset-size7.size4,.katex .katex-sizing.reset-size7.size4{font-size:.6666666667em}.katex .fontsize-ensurer.reset-size7.size5,.katex .katex-sizing.reset-size7.size5{font-size:.75em}.katex .fontsize-ensurer.reset-size7.size6,.katex .katex-sizing.reset-size7.size6{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size7.size7,.katex .katex-sizing.reset-size7.size7{font-size:1em}.katex .fontsize-ensurer.reset-size7.size8,.katex .katex-sizing.reset-size7.size8{font-size:1.2em}.katex .fontsize-ensurer.reset-size7.size9,.katex .katex-sizing.reset-size7.size9{font-size:1.44em}.katex .fontsize-ensurer.reset-size7.size10,.katex .katex-sizing.reset-size7.size10{font-size:1.7283333333em}.katex .fontsize-ensurer.reset-size7.size11,.katex .katex-sizing.reset-size7.size11{font-size:2.0733333333em}.katex .fontsize-ensurer.reset-size8.size1,.katex .katex-sizing.reset-size8.size1{font-size:.3472222222em}.katex .fontsize-ensurer.reset-size8.size2,.katex .katex-sizing.reset-size8.size2{font-size:.4166666667em}.katex .fontsize-ensurer.reset-size8.size3,.katex .katex-sizing.reset-size8.size3{font-size:.4861111111em}.katex .fontsize-ensurer.reset-size8.size4,.katex .katex-sizing.reset-size8.size4{font-size:.5555555556em}.katex .fontsize-ensurer.reset-size8.size5,.katex .katex-sizing.reset-size8.size5{font-size:.625em}.katex .fontsize-ensurer.reset-size8.size6,.katex .katex-sizing.reset-size8.size6{font-size:.6944444444em}.katex .fontsize-ensurer.reset-size8.size7,.katex .katex-sizing.reset-size8.size7{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size8.size8,.katex .katex-sizing.reset-size8.size8{font-size:1em}.katex .fontsize-ensurer.reset-size8.size9,.katex .katex-sizing.reset-size8.size9{font-size:1.2em}.katex .fontsize-ensurer.reset-size8.size10,.katex .katex-sizing.reset-size8.size10{font-size:1.4402777778em}.katex .fontsize-ensurer.reset-size8.size11,.katex .katex-sizing.reset-size8.size11{font-size:1.7277777778em}.katex .fontsize-ensurer.reset-size9.size1,.katex .katex-sizing.reset-size9.size1{font-size:.2893518519em}.katex .fontsize-ensurer.reset-size9.size2,.katex .katex-sizing.reset-size9.size2{font-size:.3472222222em}.katex .fontsize-ensurer.reset-size9.size3,.katex .katex-sizing.reset-size9.size3{font-size:.4050925926em}.katex .fontsize-ensurer.reset-size9.size4,.katex .katex-sizing.reset-size9.size4{font-size:.462962963em}.katex .fontsize-ensurer.reset-size9.size5,.katex .katex-sizing.reset-size9.size5{font-size:.5208333333em}.katex .fontsize-ensurer.reset-size9.size6,.katex .katex-sizing.reset-size9.size6{font-size:.5787037037em}.katex .fontsize-ensurer.reset-size9.size7,.katex .katex-sizing.reset-size9.size7{font-size:.6944444444em}.katex .fontsize-ensurer.reset-size9.size8,.katex .katex-sizing.reset-size9.size8{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size9.size9,.katex .katex-sizing.reset-size9.size9{font-size:1em}.katex .fontsize-ensurer.reset-size9.size10,.katex .katex-sizing.reset-size9.size10{font-size:1.2002314815em}.katex .fontsize-ensurer.reset-size9.size11,.katex .katex-sizing.reset-size9.size11{font-size:1.4398148148em}.katex .fontsize-ensurer.reset-size10.size1,.katex .katex-sizing.reset-size10.size1{font-size:.2410800386em}.katex .fontsize-ensurer.reset-size10.size2,.katex .katex-sizing.reset-size10.size2{font-size:.2892960463em}.katex .fontsize-ensurer.reset-size10.size3,.katex .katex-sizing.reset-size10.size3{font-size:.337512054em}.katex .fontsize-ensurer.reset-size10.size4,.katex .katex-sizing.reset-size10.size4{font-size:.3857280617em}.katex .fontsize-ensurer.reset-size10.size5,.katex .katex-sizing.reset-size10.size5{font-size:.4339440694em}.katex .fontsize-ensurer.reset-size10.size6,.katex .katex-sizing.reset-size10.size6{font-size:.4821600771em}.katex .fontsize-ensurer.reset-size10.size7,.katex .katex-sizing.reset-size10.size7{font-size:.5785920926em}.katex .fontsize-ensurer.reset-size10.size8,.katex .katex-sizing.reset-size10.size8{font-size:.6943105111em}.katex .fontsize-ensurer.reset-size10.size9,.katex .katex-sizing.reset-size10.size9{font-size:.8331726133em}.katex .fontsize-ensurer.reset-size10.size10,.katex .katex-sizing.reset-size10.size10{font-size:1em}.katex .fontsize-ensurer.reset-size10.size11,.katex .katex-sizing.reset-size10.size11{font-size:1.1996142719em}.katex .fontsize-ensurer.reset-size11.size1,.katex .katex-sizing.reset-size11.size1{font-size:.2009646302em}.katex .fontsize-ensurer.reset-size11.size2,.katex .katex-sizing.reset-size11.size2{font-size:.2411575563em}.katex .fontsize-ensurer.reset-size11.size3,.katex .katex-sizing.reset-size11.size3{font-size:.2813504823em}.katex .fontsize-ensurer.reset-size11.size4,.katex .katex-sizing.reset-size11.size4{font-size:.3215434084em}.katex .fontsize-ensurer.reset-size11.size5,.katex .katex-sizing.reset-size11.size5{font-size:.3617363344em}.katex .fontsize-ensurer.reset-size11.size6,.katex .katex-sizing.reset-size11.size6{font-size:.4019292605em}.katex .fontsize-ensurer.reset-size11.size7,.katex .katex-sizing.reset-size11.size7{font-size:.4823151125em}.katex .fontsize-ensurer.reset-size11.size8,.katex .katex-sizing.reset-size11.size8{font-size:.578778135em}.katex .fontsize-ensurer.reset-size11.size9,.katex .katex-sizing.reset-size11.size9{font-size:.6945337621em}.katex .fontsize-ensurer.reset-size11.size10,.katex .katex-sizing.reset-size11.size10{font-size:.8336012862em}.katex .fontsize-ensurer.reset-size11.size11,.katex .katex-sizing.reset-size11.size11{font-size:1em}.katex .delimsizing.size1{font-family:KaTeX_Size1}.katex .delimsizing.size2{font-family:KaTeX_Size2}.katex .delimsizing.size3{font-family:KaTeX_Size3}.katex .delimsizing.size4{font-family:KaTeX_Size4}.katex .delimsizing.mult .delim-size1>span{font-family:KaTeX_Size1}.katex .delimsizing.mult .delim-size4>span{font-family:KaTeX_Size4}.katex .nulldelimiter{display:inline-block;width:.12em}.katex .delimcenter,.katex .op-symbol{position:relative}.katex .op-symbol.small-op{font-family:KaTeX_Size1}.katex .op-symbol.large-op{font-family:KaTeX_Size2}.katex .katex-accent>.vlist-t,.katex .op-limits>.vlist-t{text-align:center}.katex .katex-accent .accent-body{position:relative}.katex .katex-accent .accent-body:not(.accent-full){width:0}.katex .katex-overlay{display:block}.katex .mtable .vertical-separator{display:inline-block;min-width:1px}.katex .mtable .arraycolsep{display:inline-block}.katex .mtable .col-align-c>.vlist-t{text-align:center}.katex .mtable .col-align-l>.vlist-t{text-align:left}.katex .mtable .col-align-r>.vlist-t{text-align:right}.katex .svg-align{text-align:left}.katex svg{fill:currentColor;stroke:currentColor;display:block;height:inherit;position:absolute;width:100%}.katex svg path{stroke:none}.katex svg{fill-rule:nonzero;fill-opacity:1;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1}.katex img{border-style:none;max-height:none;max-width:none;min-height:0;min-width:0}.katex .katex-stretchy{display:block;overflow:hidden;position:relative;width:100%}.katex .katex-stretchy:after,.katex .katex-stretchy:before{content:""}.katex .hide-tail{overflow:hidden;position:relative;width:100%}.katex .halfarrow-left{left:0;overflow:hidden;position:absolute;width:50.2%}.katex .halfarrow-right{overflow:hidden;position:absolute;right:0;width:50.2%}.katex .brace-left{left:0;overflow:hidden;position:absolute;width:25.1%}.katex .brace-center{left:25%;overflow:hidden;position:absolute;width:50%}.katex .brace-right{overflow:hidden;position:absolute;right:0;width:25.1%}.katex .x-arrow-pad{padding:0 .5em}.katex .cd-arrow-pad{padding:0 .55556em 0 .27778em}.katex .mover,.katex .munder,.katex .x-arrow{text-align:center}.katex .boxpad{padding:0 .3em}.katex .fbox,.katex .fcolorbox{border:.04em solid;box-sizing:border-box}.katex .cancel-pad{padding:0 .2em}.katex .cancel-lap{margin-left:-.2em;margin-right:-.2em}.katex .katex-sout{border-bottom-style:solid;border-bottom-width:.08em}.katex .angl{border-right:.049em solid;border-top:.049em solid;box-sizing:border-box;margin-right:.03889em}.katex .anglpad{padding:0 .03889em}.katex .eqn-num:before{content:"(" counter(katexEqnNo) ")";counter-increment:katexEqnNo}.katex .mml-eqn-num:before{content:"(" counter(mmlEqnNo) ")";counter-increment:mmlEqnNo}.katex .mtr-glue{width:50%}.katex .cd-vert-arrow{display:inline-block;position:relative}.katex .cd-label-left{display:inline-block;position:absolute;right:calc(50% + .3em);text-align:left}.katex .cd-label-right{display:inline-block;left:calc(50% + .3em);position:absolute;text-align:right}.katex-display{display:block;margin:1em 0;text-align:center}.katex-display>.katex{display:block;text-align:center;white-space:nowrap}.katex-display>.katex>.katex-html{display:block;position:relative}.katex-display>.katex>.katex-html>.katex-tag{position:absolute;right:0}.katex-display.leqno>.katex>.katex-html>.katex-tag{left:0;right:auto}.katex-display.fleqn>.katex{padding-left:2em;text-align:left}body{counter-reset:katexEqnNo mmlEqnNo}