ompchamber 0.3.0 → 0.5.0

package/src/shared/lib/chat/xml-envelope.ts

@@ -0,0 +1,158 @@
+/**
+ * @license
+ * SPDX-License-Identifier: Apache-2.0
+ */
+
+/**
+ * Tool output sometimes arrives wrapped in a single XML envelope: omp's
+ * `<system-reminder …>…</system-reminder>`, an MCP server's `<result>…</result>`.
+ * The tag is transport, not content — rendered as markdown it would show as
+ * escaped markup instead of the message it carries, so the timeline peels the
+ * wrapper before rendering the inner text.
+ *
+ * Only a wrapper that OPENS the output is peeled (a tag in the middle of prose
+ * is content: `<div>` inside an HTML sample, `a < b`), its tags must balance
+ * and nest, and what follows the closing tag must be free text — a second
+ * element means there is no single wrapper, so nothing is peeled.
+ *
+ * The scan is hand-rolled: this module is shared with the server (no
+ * `DOMParser` there) and parses arbitrary tool output, so it must never throw.
+ */
+
+export interface XmlEnvelope {
+  /** Element name, e.g. `system-reminder`. */
+  tag: string;
+  /** Attributes of the wrapper's start tag, e.g. `{ reason: 'rule_violation' }`. */
+  attributes: Record<string, string>;
+  /** Text between the wrapper's start and end tags, common indent removed. */
+  inner: string;
+  /** Free text that followed the closing tag, if any. */
+  rest?: string;
+}
+
+const NAME_RE = /^[A-Za-z_][A-Za-z0-9_.:-]*/;
+const ATTR_RE = /([A-Za-z_:][A-Za-z0-9_.:-]*)\s*(?:=\s*(?:"([^"]*)"|'([^']*)'|([^\s"'>]+)))?/g;
+
+interface Tag {
+  kind: 'start' | 'end' | 'self' | 'other';
+  name: string;
+  /** Raw text between the name and the closing `>`. */
+  attrs: string;
+  /** Index just past the tag's `>`. */
+  end: number;
+}
+
+/** Attributes of a start tag: `reason="rule_violation" flag`. */
+function parseAttributes(raw: string): Record<string, string> {
+  const attributes: Record<string, string> = {};
+  for (const match of raw.matchAll(ATTR_RE)) {
+    attributes[match[1]] = match[2] ?? match[3] ?? match[4] ?? '';
+  }
+  return attributes;
+}
+
+/** Envelope tags that mean "the runtime interrupted with a reminder" — the
+ *  card header flags them instead of treating them as an ordinary result. */
+export function isReminderTag(tag: string): boolean {
+  return tag === 'system-reminder' || tag === 'reminder';
+}
+
+/** Index of the tag's closing `>` — an attribute value may contain `>`. */
+function tagEnd(text: string, from: number): number {
+  let quote = '';
+  for (let i = from; i < text.length; i += 1) {
+    const ch = text[i];
+    if (quote) {
+      if (ch === quote) quote = '';
+    } else if (ch === '"' || ch === "'") {
+      quote = ch;
+    } else if (ch === '>') {
+      return i;
+    }
+  }
+  return -1;
+}
+
+/** Read the markup starting at `<`. Comments, CDATA and processing
+ *  instructions come back as `other` so their contents can never be read as
+ *  tags. Returns undefined for anything malformed. */
+function readTag(text: string, at: number): Tag | undefined {
+  const head = text.slice(at, at + 9);
+  if (head.startsWith('<!--')) {
+    const close = text.indexOf('-->', at + 4);
+    return close === -1 ? undefined : { kind: 'other', name: '', attrs: '', end: close + 3 };
+  }
+  if (head === '<![CDATA[') {
+    const close = text.indexOf(']]>', at + 9);
+    return close === -1 ? undefined : { kind: 'other', name: '', attrs: '', end: close + 3 };
+  }
+  if (text[at + 1] === '!' || text[at + 1] === '?') {
+    const close = tagEnd(text, at + 2);
+    return close === -1 ? undefined : { kind: 'other', name: '', attrs: '', end: close + 1 };
+  }
+
+  const closing = text[at + 1] === '/';
+  const nameAt = at + (closing ? 2 : 1);
+  const name = NAME_RE.exec(text.slice(nameAt, nameAt + 64))?.[0];
+  if (!name) return undefined;
+  const close = tagEnd(text, nameAt + name.length);
+  if (close === -1) return undefined;
+  const attrs = text.slice(nameAt + name.length, close);
+  if (closing) return { kind: 'end', name, attrs, end: close + 1 };
+  return { kind: text[close - 1] === '/' ? 'self' : 'start', name, attrs, end: close + 1 };
+}
+
+/** Drop the indentation every line shares — XML pretty-printing padding that
+ *  markdown would otherwise read as an indented code block. */
+function stripCommonIndent(text: string): string {
+  const lines = text.split('\n');
+  // The line breaks hugging the wrapper tags are padding, not content.
+  if (lines.length > 1 && !lines[0].trim()) lines.shift();
+  while (lines.length > 1 && !lines[lines.length - 1].trim()) lines.pop();
+
+  let indent = Number.POSITIVE_INFINITY;
+  for (const line of lines) {
+    if (line.trim()) indent = Math.min(indent, line.length - line.trimStart().length);
+  }
+  if (!Number.isFinite(indent)) return '';
+  if (indent === 0) return lines.join('\n');
+  return lines.map((line) => line.slice(Math.min(indent, line.length - line.trimStart().length))).join('\n');
+}
+
+/** Peel the XML wrapper when it opens the output and encloses a whole
+ *  element. Returns undefined when the output is not such an envelope. */
+export function unwrapXmlEnvelope(text: string): XmlEnvelope | undefined {
+  const opening = text.search(/\S/);
+  if (opening === -1 || text[opening] !== '<') return undefined;
+
+  const root = readTag(text, opening);
+  if (!root || root.kind !== 'start') return undefined;
+
+  const stack = [root.name];
+  for (let i = root.end; i < text.length; ) {
+    if (text[i] !== '<') {
+      i += 1;
+      continue;
+    }
+    const tag = readTag(text, i);
+    if (!tag) return undefined;
+    if (tag.kind === 'start') {
+      stack.push(tag.name);
+    } else if (tag.kind === 'end') {
+      if (stack.pop() !== tag.name) return undefined;
+      if (stack.length === 0) {
+        const rest = text.slice(tag.end).trim();
+        // A sibling element means there is no single wrapper to peel.
+        if (rest.startsWith('<')) return undefined;
+        return {
+          tag: root.name,
+          attributes: parseAttributes(root.attrs),
+          inner: stripCommonIndent(text.slice(root.end, i)),
+          ...(rest ? { rest } : {}),
+        };
+      }
+    }
+    i = tag.end;
+  }
+  return undefined;
+}

package/src/shared/lib/code/highlighter-lazy.ts

@@ -0,0 +1,106 @@
+/**
+ * @license
+ * SPDX-License-Identifier: Apache-2.0
+ */
+
+/**
+ * Demand-driven grammar loading for the Shiki core highlighter.
+ *
+ * `shiki/core` exposes only a synchronous `codeToHtml`: a grammar that was never
+ * passed to `loadLanguage` throws, and there is no internal lazy fetch. So the
+ * grammar for a language is fetched the first time that language is actually
+ * asked for — not for all 58 at boot, which produced 58 parallel chunk requests
+ * and ~8 MB of JS for a session that touches three languages.
+ *
+ * A grammar load is fire-and-forget: callers report the miss synchronously
+ * (falling back to escaped plain text) and subscribe via `onLanguageReady` to be
+ * told when the grammar landed, so the same highlight can be retried.
+ */
+
+import type { HighlighterCore, LanguageRegistration } from 'shiki/core';
+
+import { LANG_LOADERS } from '@/shared/lib/code/shiki-langs';
+
+/** Shape of a `@shikijs/langs/*` module (the registration array sits on `.default`). */
+type LangModule = { default: LanguageRegistration[] };
+
+type Listener = () => void;
+
+/** Languages currently being fetched — dedupes concurrent requests per grammar. */
+const pending = new Map<string, Promise<void>>();
+/** Languages that loaded (or that Shiki treats as built-in, e.g. `text`). */
+const loaded = new Set<string>();
+const listeners = new Set<Listener>();
+
+/** Shiki rejects special languages; `text` is always available and needs no fetch. */
+const SPECIAL_LANGS: Record<string, true> = {
+  text: true,
+  plain: true,
+  plaintext: true,
+  txt: true,
+  ansi: true,
+  none: true,
+};
+
+function notify(): void {
+  for (const fn of listeners) fn();
+}
+
+/**
+ * True once `language` can be highlighted synchronously. Special languages are
+ * always usable; every other id is usable only after its grammar resolved.
+ */
+export function isLanguageReady(language: string): boolean {
+  return SPECIAL_LANGS[language] === true || loaded.has(language);
+}
+
+/** Subscribe to grammar arrivals. Returns an unsubscribe fn. */
+export function onLanguageReady(fn: Listener): () => void {
+  listeners.add(fn);
+  return () => {
+    listeners.delete(fn);
+  };
+}
+
+/**
+ * Ensure `language` is loaded, resolving on completion. Callers stay
+ * synchronous: they render the plain-text fallback and retry on the next
+ * `onLanguageReady` fire, identical to the previous warmup-race behaviour.
+ *
+ * Unknown ids (not in `LANG_LOADERS`) resolve immediately — the caller's own
+ * fallback language handles them.
+ */
+export function ensureLanguage(highlighter: HighlighterCore, language: string): Promise<void> {
+  if (isLanguageReady(language)) return Promise.resolve();
+  const inFlight = pending.get(language);
+  if (inFlight) return inFlight;
+  const loader = LANG_LOADERS[language];
+  if (!loader) return Promise.resolve();
+
+  const load = highlighter
+    .loadLanguage(loader as () => Promise<LangModule>)
+    .then(() => {
+      loaded.add(language);
+      notify();
+    })
+    .catch(() => {
+      // Grammar unavailable under this engine: the caller keeps the plain
+      // fallback forever, and the id is left out of `loaded` so a later retry
+      // is still possible.
+    })
+    .finally(() => {
+      pending.delete(language);
+    });
+
+  pending.set(language, load);
+  return load;
+}
+
+/**
+ * Load the eager set without blocking boot. Resolves when every eager grammar
+ * settled, which is what the previous `WARMUP_BUDGET_MS` race approximated —
+ * now nothing else waits on it, so a slow grammar cannot stall readiness.
+ */
+export async function ensureLanguages(highlighter: HighlighterCore, languages: readonly string[]): Promise<void> {
+  await Promise.all(languages.map((id) => ensureLanguage(highlighter, id)));
+}

package/src/shared/lib/code/highlighter.ts

@@ -4,23 +4,18 @@
  */
 
 import { createHighlighterCore } from 'shiki/core';
-import type { HighlighterCore, LanguageRegistration } from 'shiki/core';
+import type { HighlighterCore } from 'shiki/core';
 import { createJavaScriptRegexEngine } from 'shiki/engine/javascript';
 import oneLight from '@shikijs/themes/one-light';
 import oneDarkPro from '@shikijs/themes/one-dark-pro';
 
-import { EAGER_LANGS, LANG_LOADERS } from '@/shared/lib/code/shiki-langs';
-import { SHIKI_LIGHT } from '@/shared/lib/code/shiki-themes';
-
-/** Shape of a `@shikijs/langs/*` module (the registration array sits on `.default`). */
-type LangModule = { default: LanguageRegistration[] };
-
-/**
- * The transpile cost of the first highlight for a grammar is ~700 ms, so warming
- * all 58 would stall readiness. Cap the warmup: if the eager set is not done in
- * this budget the rest load lazily on first use instead of blocking boot.
- */
-const WARMUP_BUDGET_MS = 1500;
+import {
+  ensureLanguage,
+  ensureLanguages,
+  isLanguageReady,
+  onLanguageReady as _onLanguageReady,
+} from '@/shared/lib/code/highlighter-lazy';
+import { EAGER_LANGS } from '@/shared/lib/code/shiki-langs';
 
 let instance: HighlighterCore | null = null;
 let ready = false;
@@ -31,10 +26,6 @@ export function escapeCode(code: string): string {
   return code.replace(/&/g, '&amp;').replace(/</g, '&lt;').replace(/>/g, '&gt;');
 }
 
-function delay(ms: number): Promise<void> {
-  return new Promise((resolve) => setTimeout(resolve, ms));
-}
-
 function notify(): void {
   const pending = [...listeners];
   listeners.clear();
@@ -47,38 +38,6 @@ function notify(): void {
   }
 }
 
-/**
- * Register every grammar so `getLoadedLanguages()` covers the full registry
- * from the first paint-after-ready. Registration is a parallel chunk fetch
- * (fast); the expensive per-grammar transpile stays in `warmup` below.
- */
-async function loadAllLanguages(highlighter: HighlighterCore): Promise<void> {
-  await Promise.allSettled(
-    Object.keys(LANG_LOADERS).map(async (id) => {
-      const loader = LANG_LOADERS[id];
-      if (!loader) return;
-      try {
-        await highlighter.loadLanguage(loader as () => Promise<LangModule>);
-      } catch {
-        // Grammar unavailable under the JS engine — per-call fallback covers it.
-      }
-    }),
-  );
-}
-
-/** Pre-transpile the eager grammars; each failure is independent and ignored. */
-async function warmup(highlighter: HighlighterCore): Promise<void> {
-  await Promise.all(
-    EAGER_LANGS.map(async (id) => {
-      try {
-        highlighter.codeToHtml('x', { lang: id, theme: SHIKI_LIGHT });
-      } catch {
-        // Grammar unavailable under the JS engine — falls back to plain text.
-      }
-    }),
-  );
-}
-
 async function boot(): Promise<HighlighterCore | null> {
   if (typeof window === 'undefined') return null;
   try {
@@ -88,10 +47,12 @@ async function boot(): Promise<HighlighterCore | null> {
       engine: createJavaScriptRegexEngine({ forgiving: true }),
     });
     instance = highlighter;
-    await loadAllLanguages(highlighter);
-    await Promise.race([warmup(highlighter), delay(WARMUP_BUDGET_MS)]);
     ready = true;
     notify();
+    // Grammars arrive on demand (`ensureLanguage`); the eager set is only a
+    // head start for the languages a chat session hits immediately, and boot
+    // does not wait on it.
+    void ensureLanguages(highlighter, EAGER_LANGS);
     return highlighter;
   } catch (error) {
     console.error('[shiki] highlighter boot failed', error);
@@ -129,7 +90,25 @@ export function onSyntaxReady(fn: () => void): () => void {
   };
 }
 
-/** The highlighter, or `null` before warmup completes. */
+/** The highlighter, or `null` before boot completes. */
 export function getHighlighterSync(): HighlighterCore | null {
   return ready ? instance : null;
 }
+
+/**
+ * Request the grammar for `language`, if the highlighter is booted. Returns
+ * whether the grammar is usable synchronously *right now* — callers that get
+ * `false` must render the plain-text fallback and re-run once
+ * `onLanguageReady`/`onSyntaxReady` fires.
+ *
+ * This is the only path that pulls a grammar chunk off the network, so it is
+ * deliberately pull-based: a language nobody renders is never fetched.
+ */
+export function requestLanguage(language: string): boolean {
+  if (!instance) return false;
+  void ensureLanguage(instance, language);
+  return isLanguageReady(language);
+}
+
+/** Fires whenever a grammar lands, so pending highlights can retry. */
+export const onLanguageReady = _onLanguageReady;

package/src/shared/lib/code/syntax-highlight.test.ts

@@ -5,13 +5,37 @@
 
 import { beforeAll, describe, expect, test } from 'bun:test';
 
-import { bootSyntax } from '@/shared/lib/code/highlighter';
+import { bootSyntax, onLanguageReady, requestLanguage } from '@/shared/lib/code/highlighter';
 import { getLanguageFromPath, highlightCode } from '@/shared/lib/code/syntax-highlight';
 
 /** Shiki emits `<span class="shiki">…` with dual-theme CSS variables per token. */
 const SHIKI_RE = /<span class="shiki">/;
 const SHIKI_TOKEN_RE = /--shiki-light:/;
 
+/**
+ * Every language these tests highlight. Grammars are fetched on demand, so the
+ * suite asks for them up front and waits for the last one to land instead of
+ * relying on a boot-time warmup that no longer exists.
+ */
+const HIGHLIGHT_LANGS = [
+  'typescript',
+  'tsx',
+  'javascript',
+  'jsx',
+  'json',
+  'markdown',
+  'css',
+  'bash',
+  'yaml',
+  'diff',
+  'python',
+  'go',
+  'rust',
+  'sql',
+  'html',
+  'php',
+];
+
 beforeAll(async () => {
   // The isomorphic highlighter only boots with `window` present; the Bun test
   // runtime has none. Stub it, boot, then remove the stub so other test files
@@ -19,6 +43,17 @@ beforeAll(async () => {
   Object.assign(globalThis, { window: globalThis });
   await bootSyntax();
   Reflect.deleteProperty(globalThis, 'window');
+
+  await new Promise<void>((resolve) => {
+    const settle = () => {
+      if (HIGHLIGHT_LANGS.every((lang) => requestLanguage(lang))) {
+        off();
+        resolve();
+      }
+    };
+    const off = onLanguageReady(settle);
+    settle();
+  });
 });
 
 describe('highlightCode', () => {

package/src/shared/lib/code/syntax-highlight.ts

@@ -1,4 +1,6 @@
-import { escapeCode, getHighlighterSync } from '@/shared/lib/code/highlighter';
+import type { HighlighterCore } from 'shiki/core';
+
+import { escapeCode, getHighlighterSync, requestLanguage } from '@/shared/lib/code/highlighter';
 import { SHIKI_THEMES } from '@/shared/lib/code/shiki-themes';
 
 /** Map file extension to Shiki language id */
@@ -124,12 +126,24 @@ export function isCodeLike(text: string): boolean {
   return codePatterns.some((pattern) => pattern.test(trimmed));
 }
 
+/**
+ * Pick a language that can be tokenized *synchronously* right now. A grammar
+ * that has not arrived yet is requested here (fire-and-forget) and the caller
+ * falls back to javascript for this pass — `onLanguageReady` re-runs the
+ * highlight once it lands. `getLoadedLanguages()` stays the authority for
+ * embedded/alias names that `LANG_LOADERS` does not list by id.
+ */
+function resolveReadyLang(hl: HighlighterCore, language: string): string {
+  if (requestLanguage(language) || hl.getLoadedLanguages().includes(language)) return language;
+  return 'javascript';
+}
+
 /** Syntax highlight code string safely with fallback */
 export function highlightCode(code: string, language = 'javascript'): string {
   if (!code) return '';
   const hl = getHighlighterSync();
   if (!hl) return escapeCode(code);
-  const lang = hl.getLoadedLanguages().includes(language) ? language : 'javascript';
+  const lang = resolveReadyLang(hl, language);
   try {
     return `<span class="shiki">${hl.codeToHtml(code, {
       lang,
@@ -264,7 +278,7 @@ export function highlightLines(code: string, language = 'javascript'): string[]
   if (!code) return rawLines;
   const hl = getHighlighterSync();
   if (!hl) return rawLines.map(escapeCode);
-  const lang = hl.getLoadedLanguages().includes(language) ? language : 'javascript';
+  const lang = resolveReadyLang(hl, language);
   try {
     const { tokens } = hl.codeToTokens(code, {
       lang,

package/src/shared/lib/format/time.ts

@@ -26,6 +26,25 @@ export function parseTodayLabel(raw: string): number | null {
   return Number.isNaN(parsed.getTime()) ? null : parsed.getTime();
 }
 
+/**
+ * Timeline stamp for a message row / run footer: `"Today, 10:30 AM"` for the
+ * live path, `"Sep 9, 04:43 AM"` for historical rows, empty when unparseable.
+ */
+export function formatMessageStamp(msg?: { date?: string; timestamp?: string }): string {
+  const raw = msg?.timestamp || msg?.date;
+  if (!raw) return '';
+  if (raw.startsWith('Today,')) return `Today, ${raw.slice('Today,'.length).trim()}`;
+  // Bare "10:30 AM" timestamp (live path) — resolve against today.
+  if (/^\d{1,2}:\d{2}\s*(AM|PM)$/i.test(raw)) {
+    const parsedMs = parseTodayLabel(`Today, ${raw}`);
+    if (parsedMs !== null) return `Today, ${formatClock(parsedMs)}`;
+  }
+  const date = new Date(raw);
+  if (Number.isNaN(date.getTime())) return '';
+  const day = date.toLocaleDateString('en-US', { month: 'short', day: 'numeric' });
+  return `${day}, ${formatClock(date)}`;
+}
+
 /**
  * Best-effort tool-detail timestamp: epoch-ms renders as the runtime's default
  * locale time, a string passes through, anything else renders empty.

package/src/shared/lib/fs/paths.ts

@@ -0,0 +1,19 @@
+/**
+ * Path formatting for the Files panel's copy actions.
+ *
+ * `/api/fs/dir` emits every entry as a path relative to the listing's base
+ * directory — the workspace root, or the selected nested repo — and reports
+ * that base back as `root`. Copy Path rebuilds the absolute path from those
+ * two halves; a relative path on its own is not resolvable outside the panel
+ * (the client-side `rootPath` may be `~`-relative, rejected by the server, or
+ * absent entirely in mock mode).
+ */
+export function toAbsolutePath(baseDir: string | null | undefined, relPath: string): string {
+  // `/`- and `./`-prefixed raws are stripped; a dot-file name (`.env`) is not a prefix.
+  const rel = relPath.replace(/^(?:\.?[/\\])+/, '').replace(/[/\\]+$/, '');
+  const base = (baseDir ?? '').replace(/[/\\]+$/, '');
+  if (!base) return rel;
+  if (!rel) return base;
+  // Join with the base's own separator: `C:\proj` + `src` → `C:\proj\src`.
+  return `${base}${base.includes('\\') && !base.includes('/') ? '\\' : '/'}${rel}`;
+}

package/src/shared/lib/markdown/fira-code-fonts.css

@@ -0,0 +1,51 @@
+/**
+ * @license
+ * SPDX-License-Identifier: Apache-2.0
+ */
+
+/*
+ * GENERATED — do not edit by hand. Run `bun run scripts/katex-fonts-woff2.mjs`
+ * after upgrading @fontsource/fira-code.
+ *
+ * Fira Code, latin subset, woff2-only, weights 400/500/600/700 — the faces
+ * `main.tsx` imports. Replaces `@fontsource/fira-code/{400,500,600,700}.css`,
+ * which pulled 7 subsets (cyrillic, cyrillic-ext, greek, greek-ext, latin,
+ * latin-ext, symbols2) x 4 weights x 2 formats = 56 files. This console is
+ * English-only, so the other six subsets were dead weight, and the woff
+ * fallback is never fetched by a browser that supports woff2.
+ *
+ * `font-display: swap` and the family/style/weight declarations match upstream,
+ * so text metrics are unchanged.
+ */
+
+@font-face {
+  font-family: 'Fira Code';
+  font-style: normal;
+  font-display: swap;
+  font-weight: 400;
+  src: url('@fontsource/fira-code/files/fira-code-latin-400-normal.woff2') format('woff2');
+}
+
+@font-face {
+  font-family: 'Fira Code';
+  font-style: normal;
+  font-display: swap;
+  font-weight: 500;
+  src: url('@fontsource/fira-code/files/fira-code-latin-500-normal.woff2') format('woff2');
+}
+
+@font-face {
+  font-family: 'Fira Code';
+  font-style: normal;
+  font-display: swap;
+  font-weight: 600;
+  src: url('@fontsource/fira-code/files/fira-code-latin-600-normal.woff2') format('woff2');
+}
+
+@font-face {
+  font-family: 'Fira Code';
+  font-style: normal;
+  font-display: swap;
+  font-weight: 700;
+  src: url('@fontsource/fira-code/files/fira-code-latin-700-normal.woff2') format('woff2');
+}

package/src/shared/lib/markdown/katex-fonts.css

@@ -0,0 +1,20 @@
+/**
+ * @license
+ * SPDX-License-Identifier: Apache-2.0
+ */
+
+/*
+ * GENERATED — do not edit by hand. Run `bun run scripts/katex-fonts-woff2.mjs`
+ * after upgrading katex.
+ *
+ * KaTeX stylesheet, woff2-only. Upstream `katex/dist/katex.min.css` lists three
+ * sources per @font-face (woff2 -> woff -> truetype); a browser downloads only
+ * the first format it supports, so the woff/truetype files were never
+ * *requested* while still being emitted into dist/client/static/font
+ * (634 kB .woff + 502 kB .ttf). Every src chain below keeps the woff2 source
+ * only — the layout rules are byte-identical to upstream.
+ *
+ * woff2 is supported by Safari 10+, Chrome 36+, Firefox 39+, and Edge 14+;
+ * this app targets modern browsers, so the legacy fallbacks buy nothing.
+ */
+@font-face{font-display:block;font-family:KaTeX_AMS;font-style:normal;font-weight:400;src:url("../../../../node_modules/katex/dist/fonts/KaTeX_AMS-Regular.woff2") format("woff2")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:700;src:url("../../../../node_modules/katex/dist/fonts/KaTeX_Caligraphic-Bold.woff2") format("woff2")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:400;src:url("../../../../node_modules/katex/dist/fonts/KaTeX_Caligraphic-Regular.woff2") format("woff2")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:700;src:url("../../../../node_modules/katex/dist/fonts/KaTeX_Fraktur-Bold.woff2") format("woff2")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:400;src:url("../../../../node_modules/katex/dist/fonts/KaTeX_Fraktur-Regular.woff2") format("woff2")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:700;src:url("../../../../node_modules/katex/dist/fonts/KaTeX_Main-Bold.woff2") format("woff2")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:700;src:url("../../../../node_modules/katex/dist/fonts/KaTeX_Main-BoldItalic.woff2") format("woff2")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:400;src:url("../../../../node_modules/katex/dist/fonts/KaTeX_Main-Italic.woff2") format("woff2")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:400;src:url("../../../../node_modules/katex/dist/fonts/KaTeX_Main-Regular.woff2") format("woff2")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:700;src:url("../../../../node_modules/katex/dist/fonts/KaTeX_Math-BoldItalic.woff2") format("woff2")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:400;src:url("../../../../node_modules/katex/dist/fonts/KaTeX_Math-Italic.woff2") format("woff2")}@font-face{font-display:block;font-family:"KaTeX_SansSerif";font-style:normal;font-weight:700;src:url("../../../../node_modules/katex/dist/fonts/KaTeX_SansSerif-Bold.woff2") format("woff2")}@font-face{font-display:block;font-family:"KaTeX_SansSerif";font-style:italic;font-weight:400;src:url("../../../../node_modules/katex/dist/fonts/KaTeX_SansSerif-Italic.woff2") format("woff2")}@font-face{font-display:block;font-family:"KaTeX_SansSerif";font-style:normal;font-weight:400;src:url("../../../../node_modules/katex/dist/fonts/KaTeX_SansSerif-Regular.woff2") format("woff2")}@font-face{font-display:block;font-family:KaTeX_Script;font-style:normal;font-weight:400;src:url("../../../../node_modules/katex/dist/fonts/KaTeX_Script-Regular.woff2") format("woff2")}@font-face{font-display:block;font-family:KaTeX_Size1;font-style:normal;font-weight:400;src:url("../../../../node_modules/katex/dist/fonts/KaTeX_Size1-Regular.woff2") format("woff2")}@font-face{font-display:block;font-family:KaTeX_Size2;font-style:normal;font-weight:400;src:url("../../../../node_modules/katex/dist/fonts/KaTeX_Size2-Regular.woff2") format("woff2")}@font-face{font-display:block;font-family:KaTeX_Size3;font-style:normal;font-weight:400;src:url("../../../../node_modules/katex/dist/fonts/KaTeX_Size3-Regular.woff2") format("woff2")}@font-face{font-display:block;font-family:KaTeX_Size4;font-style:normal;font-weight:400;src:url("../../../../node_modules/katex/dist/fonts/KaTeX_Size4-Regular.woff2") format("woff2")}@font-face{font-display:block;font-family:KaTeX_Typewriter;font-style:normal;font-weight:400;src:url("../../../../node_modules/katex/dist/fonts/KaTeX_Typewriter-Regular.woff2") format("woff2")}.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.7"}.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 .reflectbox{display:inline-block;transform:scaleX(-1)}.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}