*,:after,:before{box-sizing:border-box}body,html{margin:0;padding:0;height:100%}:root{--bg:#f6f8fa;--surface-1:#ffffff;--surface-2:#f8fafc;--text:#1f2937;--muted:#6b7280;--line:#e5e7eb;--brand:#10b981;--link:#10b981;--badge-bg:#eef2ff;--badge-fg:#4338ca;--code-bg:#f3f4f6;--code-fg:#111827;--shadow:0 2px 4px rgba(0,0,0,0.06);--shadow-hover:0 3px 8px rgba(0,0,0,0.09);--up-bg:color-mix(in oklab,var(--brand),white 88%);--up-border:color-mix(in oklab,var(--brand),white 50%);--up-fg:color-mix(in oklab,var(--brand),black 20%);--down:#ef4444;--down-bg:color-mix(in oklab,var(--down),white 92%);--down-border:color-mix(in oklab,var(--down),white 60%);--down-fg:color-mix(in oklab,var(--down),black 20%)}.dark{--bg:#0f172a;--surface-1:#0b1220;--surface-2:#111827;--text:#e5e7eb;--muted:#94a3b8;--line:#243244;--brand:#3b82f6;--link:#60a5fa;--badge-bg:#1f2937;--badge-fg:#cbd5e1;--code-bg:#0b1020;--code-fg:#e5e7eb;--shadow:0 1px 0 rgba(0,0,0,0.25);--shadow-hover:0 2px 0 rgba(0,0,0,0.35);--up-bg:color-mix(in oklab,var(--brand),black 80%);--up-border:color-mix(in oklab,var(--brand),black 60%);--up-fg:color-mix(in oklab,var(--brand),white 12%);--down:#ef4444;--down-bg:color-mix(in oklab,var(--down),black 82%);--down-border:color-mix(in oklab,var(--down),black 60%);--down-fg:color-mix(in oklab,var(--down),white 12%)}.dark .kind-badge{background:#162945;border-color:#2a4370;color:#b9f2d8;background:color-mix(in oklab,var(--brand),var(--bg) 76%);border-color:color-mix(in oklab,var(--brand),var(--bg) 55%);color:color-mix(in oklab,#10b981,white 34%);font-weight:600}html{background:var(--bg);color:var(--text);font-family:system-ui,-apple-system,Segoe UI,Roboto,Helvetica Neue,Arial,Noto Sans,Apple Color Emoji,Segoe UI Emoji,sans-serif;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale}a,a:visited{color:var(--link);text-decoration:none}a:hover{text-decoration:underline}.app{display:grid;grid-template-columns:200px minmax(0,1fr);min-height:100vh}.app-sidebar{position:-webkit-sticky;position:sticky;top:0;height:100vh;display:grid;grid-template-rows:auto 1fr auto;grid-gap:.75rem;gap:.75rem;background:var(--surface-1);border-right:1px solid var(--line);padding:1rem;min-width:0}.brand{font-weight:800;font-size:1.05rem}.brand-link,.brand-link:visited{color:var(--brand)}.side-nav{display:grid;grid-gap:.4rem;gap:.4rem;overflow-y:auto;padding-right:.25rem;grid-auto-rows:min-content}.side-link,.side-link:visited{display:block;width:100%;padding:.55rem .75rem;border-radius:8px;border:1px solid var(--line);background:var(--surface-2);color:var(--text);text-align:left}.side-link:hover{filter:brightness(.98);text-decoration:none}.side-link:active{filter:brightness(.95)}.side-link--primary{background:var(--brand);border-color:color-mix(in oklab,var(--brand),black 12%);color:#fff!important}.side-link--danger{background:#fee2e2;border-color:#fecaca;color:#b91c1c!important}.dark .side-link--danger{background:#3f1f20;border-color:#7f1d1d;color:#fecaca!important}.side-link--ghost{background:transparent;color:var(--text);border-color:transparent}.side-actions,.side-footer{display:grid;grid-gap:.5rem;gap:.5rem}.side-note{color:var(--muted);font-size:.85rem}.container{max-width:1200px;width:100%;margin:0 auto;padding:1.25rem}.card{background:var(--surface-1);border-radius:12px;padding:1.25rem 1.5rem;box-shadow:var(--shadow);display:flex;flex-direction:column;gap:.75rem;margin-bottom:1rem;transition:box-shadow .12s ease;max-width:100%}.card:hover{box-shadow:var(--shadow-hover)}.card--fluid{width:100%;max-width:100%;min-width:0}h1,h2,h3,h4{margin:0 0 .5rem}.page-title,.theorem-title{color:var(--text)}.theorem-title-link,.theorem-title-link:visited{color:inherit}.btn-ghost,.btn-primary,.btn-secondary{display:inline-block;padding:.6rem 1rem;border-radius:8px;font-size:.95rem;font-weight:500;transition:filter .12s ease,background .12s ease,box-shadow .12s ease;border:1px solid transparent}.btn-primary{background:var(--brand);color:#fff;border-color:color-mix(in oklab,var(--brand),black 12%)}.btn-primary:hover{filter:brightness(.98)}.btn-secondary{background:var(--surface-2);color:var(--text);border-color:var(--line)}.btn-secondary:hover{filter:brightness(.98)}.btn-secondary.feedback-btn[aria-pressed=true][data-variant=up]{background:var(--up-bg);border-color:var(--up-border);color:var(--up-fg);box-shadow:0 0 0 2px color-mix(in oklab,var(--up-border),transparent 70%);font-weight:600}.btn-secondary.feedback-btn[aria-pressed=true][data-variant=down]{background:var(--down-bg);border-color:var(--down-border);color:var(--down-fg);box-shadow:0 0 0 2px color-mix(in oklab,var(--down-border),transparent 75%);font-weight:600}.btn-ghost{background:transparent;color:var(--text);border-color:var(--line)}.btn-ghost:hover{filter:brightness(.98)}.meta-row{align-items:center;flex-wrap:wrap}.meta-row,.stack{display:flex;gap:.5rem}.stack{flex-direction:column}.text-sm{font-size:.875rem}.text-2xl{font-size:1.5rem}.w-full{width:100%}.rounded-lg{border-radius:.5rem}.border{border:1px solid var(--line)}.px-3{padding-left:.75rem;padding-right:.75rem}.py-2{padding-top:.5rem;padding-bottom:.5rem}.mt-4{margin-top:1rem}.mt-6{margin-top:1.5rem}.mt-8{margin-top:2rem}.input,.w-full.rounded-lg.border.px-3.py-2{width:100%;padding:.5rem .75rem;border:1px solid var(--line);border-radius:.5rem;background:var(--surface-1);color:var(--text);font:inherit}.input:focus,.w-full.rounded-lg.border.px-3.py-2:focus{outline:none;border-color:color-mix(in oklab,var(--brand),white 60%);box-shadow:0 0 0 3px color-mix(in oklab,var(--brand),white 80%)}.theorem-grid{display:grid;grid-gap:1.25rem;gap:1.25rem;grid-template-columns:repeat(auto-fill,minmax(280px,1fr));padding:0;list-style:none}.theorem-statement{font-size:.95rem;color:var(--muted)}.theorem-meta{font-size:.78rem;color:var(--muted)}.kind-badge{display:inline-block;font-size:.75rem;line-height:1;padding:.35rem .5rem;background:var(--badge-bg);color:var(--badge-fg);text-transform:capitalize}.kind-badge,.pill{border-radius:9999px;border:1px solid var(--line)}.pill{display:inline-flex;align-items:center;gap:.25rem;font-size:.8rem;padding:.25rem .5rem;background:var(--surface-2);color:var(--text)}.pill code{font-family:ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,Liberation Mono,monospace;font-size:.8rem;background:transparent;padding:0}.copyable-ref-label{text-decoration:none;cursor:copy;-moz-user-select:text;user-select:text;-webkit-user-select:text;transition:background .12s ease,border-color .12s ease,color .12s ease,filter .12s ease}.copyable-ref-label:hover{filter:brightness(.98)}.copyable-ref-label:focus-visible{outline:2px solid color-mix(in oklab,var(--brand),white 45%);outline-offset:2px}.copyable-ref-label code{-moz-user-select:text;user-select:text;-webkit-user-select:text}.copyable-ref-label__hint{font-size:.72rem;color:var(--muted);text-transform:uppercase;letter-spacing:.04em}.compact-toolbar{display:flex;align-items:center;gap:.5rem}.compact-toolbar>.input,.compact-toolbar>select.input{min-width:0}.compact-toolbar--theorems>.input:first-child{flex:1 1 auto}.compact-toolbar--theorems>select.input:nth-child(2){flex:0 0 12rem}.compact-toolbar--theorems>select.input:nth-child(3){flex:0 0 9rem}.compact-search-row{display:flex;align-items:center;gap:.5rem;flex-wrap:nowrap}.compact-search-row>.input{flex:1 1 auto;width:auto;min-width:0}.markdown-body{white-space:normal;line-height:1.6;color:var(--text)}.markdown-body p{margin:.5rem 0}.markdown-body h1{font-size:1.4rem;margin:1rem 0 .5rem}.markdown-body h2{font-size:1.2rem;margin:1rem 0 .5rem}.markdown-body h3{font-size:1.05rem;margin:.75rem 0 .5rem}.markdown-body code{font-family:ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,Liberation Mono,monospace;font-size:.9em;padding:.1rem .3rem;border-radius:.25rem}.markdown-body code,.markdown-body pre{background:var(--code-bg);color:var(--code-fg)}.markdown-body pre{padding:.75rem 1rem;border-radius:.5rem;overflow:auto}.markdown-body blockquote{margin:.75rem 0;padding-left:.75rem;border-left:3px solid var(--line);color:var(--muted)}.markdown-body table{border-collapse:collapse;width:100%;margin:.75rem 0;font-size:.95rem}.markdown-body td,.markdown-body th{border:1px solid var(--line);padding:.35rem .5rem}.markdown-body--compact{display:-webkit-box;-webkit-box-orient:vertical;overflow:hidden;text-overflow:ellipsis}.markdown-body--compact>*{display:inline;margin:0}.markdown-body--compact blockquote,.markdown-body--compact li,.markdown-body--compact ol,.markdown-body--compact p,.markdown-body--compact pre,.markdown-body--compact ul{display:inline;margin:0;padding:0;border:0;background:transparent}.markdown-body--compact li:after{content:" "}.line-clamp-3{display:-webkit-box;-webkit-box-orient:vertical;-webkit-line-clamp:3;overflow:hidden;text-overflow:ellipsis}.theorem-preview{margin:0;min-height:3.9em}.no-data{color:var(--muted);font-style:italic}.dep-graph-panel{gap:.9rem}.dep-graph-grid{display:grid;grid-template-columns:minmax(0,1fr) 220px minmax(0,1fr);grid-gap:.75rem;gap:.75rem;align-items:start}.dep-graph-grid-proof{grid-template-columns:minmax(0,1fr) 220px minmax(0,1fr)}.dep-col-title{margin:0;font-size:.92rem;color:var(--muted)}.dep-node-list{list-style:none;margin:0;padding:0;display:grid;grid-gap:.5rem;gap:.5rem}.dep-node-link,.dep-node-link:visited{display:grid;grid-gap:.3rem;gap:.3rem;color:var(--text);border:1px solid var(--line);border-radius:10px;background:var(--surface-2);padding:.55rem .65rem}.dep-node-link:hover{text-decoration:none;filter:brightness(.99)}.dep-node-center{background:color-mix(in oklab,var(--brand),white 88%);border-color:color-mix(in oklab,var(--brand),white 68%)}.dark .dep-node-center{background:color-mix(in oklab,var(--brand),black 78%);border-color:color-mix(in oklab,var(--brand),black 58%)}.dep-center{display:flex;justify-content:center;align-items:center;min-height:100%}@media (max-width:900px){.container{padding:.75rem}.card{padding:.9rem 1rem}.compact-search-row,.compact-toolbar{flex-wrap:wrap}.compact-search-row>.input,.compact-toolbar--theorems>.input:first-child,.compact-toolbar--theorems>select.input:nth-child(2),.compact-toolbar--theorems>select.input:nth-child(3){flex:1 1 100%;width:100%}.dep-graph-grid,.dep-graph-grid-proof{grid-template-columns:1fr}.dep-center{justify-content:flex-start}}.dm-inbox-list{list-style:none;margin:0;padding:0;display:flex;flex-direction:column;gap:.5rem}.dm-inbox-row,.dm-inbox-row:visited{display:block;padding:.85rem 1.1rem;border-radius:10px;border:1px solid var(--line);background:var(--surface-1);color:var(--text);box-shadow:var(--shadow);transition:box-shadow .12s ease,filter .12s ease}.dm-inbox-row:hover{filter:brightness(.99);box-shadow:var(--shadow-hover);text-decoration:none}.dm-inbox-row__header{display:flex;align-items:center;gap:.5rem;margin-bottom:.3rem}.dm-inbox-row__username{font-weight:600;font-size:.95rem}.dm-inbox-row__time{margin-left:auto;font-size:.78rem;color:var(--muted)}.dm-inbox-row__preview{font-size:.875rem;color:var(--muted);white-space:nowrap;overflow:hidden;text-overflow:ellipsis}.dm-unread-badge{display:inline-flex;align-items:center;justify-content:center;min-width:1.25rem;height:1.25rem;padding:0 .35rem;border-radius:9999px;background:var(--brand);color:#fff;font-size:.72rem;font-weight:700;line-height:1}.dm-thread-wrap{display:flex;flex-direction:column;height:calc(100vh - 3.5rem);min-height:400px}.dm-thread-header{display:flex;align-items:center;gap:.75rem;padding-bottom:.75rem;border-bottom:1px solid var(--line);flex:0 0 auto}.dm-back-btn{padding:.4rem .75rem;font-size:.9rem;flex-shrink:0}.dm-thread-title{margin:0;font-size:1.15rem}.dm-messages{flex:1 1;overflow-y:auto;padding:1rem 0;display:flex;flex-direction:column;gap:.35rem}.dm-empty{align-self:center;margin-top:2rem}.dm-bubble-row{display:flex;flex-direction:column;max-width:72%}.dm-bubble-row--mine{align-self:flex-end;align-items:flex-end}.dm-bubble-row--theirs{align-self:flex-start;align-items:flex-start}.dm-bubble{padding:.6rem .85rem;border-radius:14px;font-size:.925rem;line-height:1.5;white-space:pre-wrap;word-break:break-word}.dm-bubble--mine{background:var(--brand);color:#fff;border-bottom-right-radius:4px}.dm-bubble--theirs{background:var(--surface-2);border:1px solid var(--line);color:var(--text);border-bottom-left-radius:4px}.dm-bubble--md{white-space:normal}.dm-bubble--md p{margin:.35em 0}.dm-bubble--md p:first-child,.dm-bubble--md>:first-child{margin-top:0}.dm-bubble--md p:last-child,.dm-bubble--md>:last-child{margin-bottom:0}.dm-bubble--md a{text-decoration:underline;color:inherit}.dm-bubble--theirs.dm-bubble--md a{color:var(--brand)}.dm-bubble--md ol,.dm-bubble--md ul{margin:.35em 0;padding-left:1.25em}.dm-bubble--md .katex-display{margin:.5em 0;overflow-x:auto}.dm-bubble-meta{font-size:.72rem;color:var(--muted);margin-top:.2rem;padding:0 .2rem}.dm-compose{flex:0 0 auto;padding-top:.75rem;border-top:1px solid var(--line)}.dm-compose-error{color:#ef4444;font-size:.85rem;margin:0 0 .5rem}.dm-compose-row{display:flex;gap:.5rem;align-items:flex-end}.dm-compose-input{flex:1 1 auto;resize:none;min-height:2.75rem}.dm-send-btn{flex:0 0 auto;padding:.6rem 1.1rem;align-self:flex-end}.btn-verify.active{background:#ecfdf5;border-color:#34d399;color:#065f46}.dark .btn-verify.active{background:#0b322a;border-color:#22c55e;color:#c7f9d4}@font-face{font-family:KaTeX_AMS;font-style:normal;font-weight:400;src:url(/_next/static/media/KaTeX_AMS-Regular.a79f1c31.woff2) format("woff2"),url(/_next/static/media/KaTeX_AMS-Regular.1608a09b.woff) format("woff"),url(/_next/static/media/KaTeX_AMS-Regular.4aafdb68.ttf) format("truetype")}@font-face{font-family:KaTeX_Caligraphic;font-style:normal;font-weight:700;src:url(/_next/static/media/KaTeX_Caligraphic-Bold.ec17d132.woff2) format("woff2"),url(/_next/static/media/KaTeX_Caligraphic-Bold.b6770918.woff) format("woff"),url(/_next/static/media/KaTeX_Caligraphic-Bold.cce5b8ec.ttf) format("truetype")}@font-face{font-family:KaTeX_Caligraphic;font-style:normal;font-weight:400;src:url(/_next/static/media/KaTeX_Caligraphic-Regular.55fac258.woff2) format("woff2"),url(/_next/static/media/KaTeX_Caligraphic-Regular.dad44a7f.woff) format("woff"),url(/_next/static/media/KaTeX_Caligraphic-Regular.07ef19e7.ttf) format("truetype")}@font-face{font-family:KaTeX_Fraktur;font-style:normal;font-weight:700;src:url(/_next/static/media/KaTeX_Fraktur-Bold.d42a5579.woff2) format("woff2"),url(/_next/static/media/KaTeX_Fraktur-Bold.9f256b85.woff) format("woff"),url(/_next/static/media/KaTeX_Fraktur-Bold.b18f59e1.ttf) format("truetype")}@font-face{font-family:KaTeX_Fraktur;font-style:normal;font-weight:400;src:url(/_next/static/media/KaTeX_Fraktur-Regular.d3c882a6.woff2) format("woff2"),url(/_next/static/media/KaTeX_Fraktur-Regular.7c187121.woff) format("woff"),url(/_next/static/media/KaTeX_Fraktur-Regular.ed38e79f.ttf) format("truetype")}@font-face{font-family:KaTeX_Main;font-style:normal;font-weight:700;src:url(/_next/static/media/KaTeX_Main-Bold.c3fb5ac2.woff2) format("woff2"),url(/_next/static/media/KaTeX_Main-Bold.d181c465.woff) format("woff"),url(/_next/static/media/KaTeX_Main-Bold.b74a1a8b.ttf) format("truetype")}@font-face{font-family:KaTeX_Main;font-style:italic;font-weight:700;src:url(/_next/static/media/KaTeX_Main-BoldItalic.6f2bb1df.woff2) format("woff2"),url(/_next/static/media/KaTeX_Main-BoldItalic.e3f82f9d.woff) format("woff"),url(/_next/static/media/KaTeX_Main-BoldItalic.70d8b0a5.ttf) format("truetype")}@font-face{font-family:KaTeX_Main;font-style:italic;font-weight:400;src:url(/_next/static/media/KaTeX_Main-Italic.8916142b.woff2) format("woff2"),url(/_next/static/media/KaTeX_Main-Italic.9024d815.woff) format("woff"),url(/_next/static/media/KaTeX_Main-Italic.47373d1e.ttf) format("truetype")}@font-face{font-family:KaTeX_Main;font-style:normal;font-weight:400;src:url(/_next/static/media/KaTeX_Main-Regular.0462f03b.woff2) format("woff2"),url(/_next/static/media/KaTeX_Main-Regular.7f51fe03.woff) format("woff"),url(/_next/static/media/KaTeX_Main-Regular.b7f8fe9b.ttf) format("truetype")}@font-face{font-family:KaTeX_Math;font-style:italic;font-weight:700;src:url(/_next/static/media/KaTeX_Math-BoldItalic.572d331f.woff2) format("woff2"),url(/_next/static/media/KaTeX_Math-BoldItalic.f1035d8d.woff) format("woff"),url(/_next/static/media/KaTeX_Math-BoldItalic.a879cf83.ttf) format("truetype")}@font-face{font-family:KaTeX_Math;font-style:italic;font-weight:400;src:url(/_next/static/media/KaTeX_Math-Italic.f28c23ac.woff2) format("woff2"),url(/_next/static/media/KaTeX_Math-Italic.5295ba48.woff) format("woff"),url(/_next/static/media/KaTeX_Math-Italic.939bc644.ttf) format("truetype")}@font-face{font-family:"KaTeX_SansSerif";font-style:normal;font-weight:700;src:url(/_next/static/media/KaTeX_SansSerif-Bold.8c5b5494.woff2) format("woff2"),url(/_next/static/media/KaTeX_SansSerif-Bold.bf59d231.woff) format("woff"),url(/_next/static/media/KaTeX_SansSerif-Bold.94e1e8dc.ttf) format("truetype")}@font-face{font-family:"KaTeX_SansSerif";font-style:italic;font-weight:400;src:url(/_next/static/media/KaTeX_SansSerif-Italic.3b1e59b3.woff2) format("woff2"),url(/_next/static/media/KaTeX_SansSerif-Italic.7c9bc82b.woff) format("woff"),url(/_next/static/media/KaTeX_SansSerif-Italic.b4c20c84.ttf) format("truetype")}@font-face{font-family:"KaTeX_SansSerif";font-style:normal;font-weight:400;src:url(/_next/static/media/KaTeX_SansSerif-Regular.ba21ed5f.woff2) format("woff2"),url(/_next/static/media/KaTeX_SansSerif-Regular.74048478.woff) format("woff"),url(/_next/static/media/KaTeX_SansSerif-Regular.d4d7ba48.ttf) format("truetype")}@font-face{font-family:KaTeX_Script;font-style:normal;font-weight:400;src:url(/_next/static/media/KaTeX_Script-Regular.03e9641d.woff2) format("woff2"),url(/_next/static/media/KaTeX_Script-Regular.07505710.woff) format("woff"),url(/_next/static/media/KaTeX_Script-Regular.fe9cbbe1.ttf) format("truetype")}@font-face{font-family:KaTeX_Size1;font-style:normal;font-weight:400;src:url(/_next/static/media/KaTeX_Size1-Regular.eae34984.woff2) format("woff2"),url(/_next/static/media/KaTeX_Size1-Regular.e1e279cb.woff) format("woff"),url(/_next/static/media/KaTeX_Size1-Regular.fabc004a.ttf) format("truetype")}@font-face{font-family:KaTeX_Size2;font-style:normal;font-weight:400;src:url(/_next/static/media/KaTeX_Size2-Regular.5916a24f.woff2) format("woff2"),url(/_next/static/media/KaTeX_Size2-Regular.57727022.woff) format("woff"),url(/_next/static/media/KaTeX_Size2-Regular.d6b476ec.ttf) format("truetype")}@font-face{font-family:KaTeX_Size3;font-style:normal;font-weight:400;src:url(/_next/static/media/KaTeX_Size3-Regular.b4230e7e.woff2) format("woff2"),url(/_next/static/media/KaTeX_Size3-Regular.9acaf01c.woff) format("woff"),url(/_next/static/media/KaTeX_Size3-Regular.a144ef58.ttf) format("truetype")}@font-face{font-family:KaTeX_Size4;font-style:normal;font-weight:400;src:url(/_next/static/media/KaTeX_Size4-Regular.10d95fd3.woff2) format("woff2"),url(/_next/static/media/KaTeX_Size4-Regular.7a996c9d.woff) format("woff"),url(/_next/static/media/KaTeX_Size4-Regular.fbccdabe.ttf) format("truetype")}@font-face{font-family:KaTeX_Typewriter;font-style:normal;font-weight:400;src:url(/_next/static/media/KaTeX_Typewriter-Regular.a8709e36.woff2) format("woff2"),url(/_next/static/media/KaTeX_Typewriter-Regular.6258592b.woff) format("woff"),url(/_next/static/media/KaTeX_Typewriter-Regular.d97aaf4a.ttf) format("truetype")}.katex{font:normal 1.21em KaTeX_Main,Times New Roman,serif;line-height:1.2;text-indent:0;text-rendering:auto}.katex *{-ms-high-contrast-adjust:none!important;border-color:currentColor}.katex .katex-version:after{content:"0.16.22"}.katex .katex-mathml{clip:rect(1px,1px,1px,1px);border:0;height:1px;overflow:hidden;padding:0;position:absolute;width:1px}.katex .katex-html>.newline{display:block}.katex .base{position:relative;white-space:nowrap;width:min-content}.katex .base,.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 .vbox{align-items:baseline;display:inline-flex;flex-direction:column}.katex .hbox{width:100%}.katex .hbox,.katex .thinbox{display:inline-flex;flex-direction:row}.katex .thinbox{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 .hdashline,.katex .hline,.katex .mfrac .frac-line,.katex .overline .overline-line,.katex .rule,.katex .underline .underline-line{min-height:1px}.katex .mspace{display:inline-block}.katex .clap,.katex .llap,.katex .rlap{position:relative;width:0}.katex .clap>.inner,.katex .llap>.inner,.katex .rlap>.inner{position:absolute}.katex .clap>.fix,.katex .llap>.fix,.katex .rlap>.fix{display:inline-block}.katex .llap>.inner{right:0}.katex .clap>.inner,.katex .rlap>.inner{left:0}.katex .clap>.inner>span{margin-left:-50%;margin-right:50%}.katex .rule{border:0 solid;display:inline-block;position:relative}.katex .hline,.katex .overline .overline-line,.katex .underline .underline-line{border-bottom-style:solid;display:inline-block;width:100%}.katex .hdashline{border-bottom-style:dashed;display:inline-block;width:100%}.katex .sqrt>.root{margin-left:.2777777778em;margin-right:-.5555555556em}.katex .fontsize-ensurer.reset-size1.size1,.katex .sizing.reset-size1.size1{font-size:1em}.katex .fontsize-ensurer.reset-size1.size2,.katex .sizing.reset-size1.size2{font-size:1.2em}.katex .fontsize-ensurer.reset-size1.size3,.katex .sizing.reset-size1.size3{font-size:1.4em}.katex .fontsize-ensurer.reset-size1.size4,.katex .sizing.reset-size1.size4{font-size:1.6em}.katex .fontsize-ensurer.reset-size1.size5,.katex .sizing.reset-size1.size5{font-size:1.8em}.katex .fontsize-ensurer.reset-size1.size6,.katex .sizing.reset-size1.size6{font-size:2em}.katex .fontsize-ensurer.reset-size1.size7,.katex .sizing.reset-size1.size7{font-size:2.4em}.katex .fontsize-ensurer.reset-size1.size8,.katex .sizing.reset-size1.size8{font-size:2.88em}.katex .fontsize-ensurer.reset-size1.size9,.katex .sizing.reset-size1.size9{font-size:3.456em}.katex .fontsize-ensurer.reset-size1.size10,.katex .sizing.reset-size1.size10{font-size:4.148em}.katex .fontsize-ensurer.reset-size1.size11,.katex .sizing.reset-size1.size11{font-size:4.976em}.katex .fontsize-ensurer.reset-size2.size1,.katex .sizing.reset-size2.size1{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size2.size2,.katex .sizing.reset-size2.size2{font-size:1em}.katex .fontsize-ensurer.reset-size2.size3,.katex .sizing.reset-size2.size3{font-size:1.1666666667em}.katex .fontsize-ensurer.reset-size2.size4,.katex .sizing.reset-size2.size4{font-size:1.3333333333em}.katex .fontsize-ensurer.reset-size2.size5,.katex .sizing.reset-size2.size5{font-size:1.5em}.katex .fontsize-ensurer.reset-size2.size6,.katex .sizing.reset-size2.size6{font-size:1.6666666667em}.katex .fontsize-ensurer.reset-size2.size7,.katex .sizing.reset-size2.size7{font-size:2em}.katex .fontsize-ensurer.reset-size2.size8,.katex .sizing.reset-size2.size8{font-size:2.4em}.katex .fontsize-ensurer.reset-size2.size9,.katex .sizing.reset-size2.size9{font-size:2.88em}.katex .fontsize-ensurer.reset-size2.size10,.katex .sizing.reset-size2.size10{font-size:3.4566666667em}.katex .fontsize-ensurer.reset-size2.size11,.katex .sizing.reset-size2.size11{font-size:4.1466666667em}.katex .fontsize-ensurer.reset-size3.size1,.katex .sizing.reset-size3.size1{font-size:.7142857143em}.katex .fontsize-ensurer.reset-size3.size2,.katex .sizing.reset-size3.size2{font-size:.8571428571em}.katex .fontsize-ensurer.reset-size3.size3,.katex .sizing.reset-size3.size3{font-size:1em}.katex .fontsize-ensurer.reset-size3.size4,.katex .sizing.reset-size3.size4{font-size:1.1428571429em}.katex .fontsize-ensurer.reset-size3.size5,.katex .sizing.reset-size3.size5{font-size:1.2857142857em}.katex .fontsize-ensurer.reset-size3.size6,.katex .sizing.reset-size3.size6{font-size:1.4285714286em}.katex .fontsize-ensurer.reset-size3.size7,.katex .sizing.reset-size3.size7{font-size:1.7142857143em}.katex .fontsize-ensurer.reset-size3.size8,.katex .sizing.reset-size3.size8{font-size:2.0571428571em}.katex .fontsize-ensurer.reset-size3.size9,.katex .sizing.reset-size3.size9{font-size:2.4685714286em}.katex .fontsize-ensurer.reset-size3.size10,.katex .sizing.reset-size3.size10{font-size:2.9628571429em}.katex .fontsize-ensurer.reset-size3.size11,.katex .sizing.reset-size3.size11{font-size:3.5542857143em}.katex .fontsize-ensurer.reset-size4.size1,.katex .sizing.reset-size4.size1{font-size:.625em}.katex .fontsize-ensurer.reset-size4.size2,.katex .sizing.reset-size4.size2{font-size:.75em}.katex .fontsize-ensurer.reset-size4.size3,.katex .sizing.reset-size4.size3{font-size:.875em}.katex .fontsize-ensurer.reset-size4.size4,.katex .sizing.reset-size4.size4{font-size:1em}.katex .fontsize-ensurer.reset-size4.size5,.katex .sizing.reset-size4.size5{font-size:1.125em}.katex .fontsize-ensurer.reset-size4.size6,.katex .sizing.reset-size4.size6{font-size:1.25em}.katex .fontsize-ensurer.reset-size4.size7,.katex .sizing.reset-size4.size7{font-size:1.5em}.katex .fontsize-ensurer.reset-size4.size8,.katex .sizing.reset-size4.size8{font-size:1.8em}.katex .fontsize-ensurer.reset-size4.size9,.katex .sizing.reset-size4.size9{font-size:2.16em}.katex .fontsize-ensurer.reset-size4.size10,.katex .sizing.reset-size4.size10{font-size:2.5925em}.katex .fontsize-ensurer.reset-size4.size11,.katex .sizing.reset-size4.size11{font-size:3.11em}.katex .fontsize-ensurer.reset-size5.size1,.katex .sizing.reset-size5.size1{font-size:.5555555556em}.katex .fontsize-ensurer.reset-size5.size2,.katex .sizing.reset-size5.size2{font-size:.6666666667em}.katex .fontsize-ensurer.reset-size5.size3,.katex .sizing.reset-size5.size3{font-size:.7777777778em}.katex .fontsize-ensurer.reset-size5.size4,.katex .sizing.reset-size5.size4{font-size:.8888888889em}.katex .fontsize-ensurer.reset-size5.size5,.katex .sizing.reset-size5.size5{font-size:1em}.katex .fontsize-ensurer.reset-size5.size6,.katex .sizing.reset-size5.size6{font-size:1.1111111111em}.katex .fontsize-ensurer.reset-size5.size7,.katex .sizing.reset-size5.size7{font-size:1.3333333333em}.katex .fontsize-ensurer.reset-size5.size8,.katex .sizing.reset-size5.size8{font-size:1.6em}.katex .fontsize-ensurer.reset-size5.size9,.katex .sizing.reset-size5.size9{font-size:1.92em}.katex .fontsize-ensurer.reset-size5.size10,.katex .sizing.reset-size5.size10{font-size:2.3044444444em}.katex .fontsize-ensurer.reset-size5.size11,.katex .sizing.reset-size5.size11{font-size:2.7644444444em}.katex .fontsize-ensurer.reset-size6.size1,.katex .sizing.reset-size6.size1{font-size:.5em}.katex .fontsize-ensurer.reset-size6.size2,.katex .sizing.reset-size6.size2{font-size:.6em}.katex .fontsize-ensurer.reset-size6.size3,.katex .sizing.reset-size6.size3{font-size:.7em}.katex .fontsize-ensurer.reset-size6.size4,.katex .sizing.reset-size6.size4{font-size:.8em}.katex .fontsize-ensurer.reset-size6.size5,.katex .sizing.reset-size6.size5{font-size:.9em}.katex .fontsize-ensurer.reset-size6.size6,.katex .sizing.reset-size6.size6{font-size:1em}.katex .fontsize-ensurer.reset-size6.size7,.katex .sizing.reset-size6.size7{font-size:1.2em}.katex .fontsize-ensurer.reset-size6.size8,.katex .sizing.reset-size6.size8{font-size:1.44em}.katex .fontsize-ensurer.reset-size6.size9,.katex .sizing.reset-size6.size9{font-size:1.728em}.katex .fontsize-ensurer.reset-size6.size10,.katex .sizing.reset-size6.size10{font-size:2.074em}.katex .fontsize-ensurer.reset-size6.size11,.katex .sizing.reset-size6.size11{font-size:2.488em}.katex .fontsize-ensurer.reset-size7.size1,.katex .sizing.reset-size7.size1{font-size:.4166666667em}.katex .fontsize-ensurer.reset-size7.size2,.katex .sizing.reset-size7.size2{font-size:.5em}.katex .fontsize-ensurer.reset-size7.size3,.katex .sizing.reset-size7.size3{font-size:.5833333333em}.katex .fontsize-ensurer.reset-size7.size4,.katex .sizing.reset-size7.size4{font-size:.6666666667em}.katex .fontsize-ensurer.reset-size7.size5,.katex .sizing.reset-size7.size5{font-size:.75em}.katex .fontsize-ensurer.reset-size7.size6,.katex .sizing.reset-size7.size6{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size7.size7,.katex .sizing.reset-size7.size7{font-size:1em}.katex .fontsize-ensurer.reset-size7.size8,.katex .sizing.reset-size7.size8{font-size:1.2em}.katex .fontsize-ensurer.reset-size7.size9,.katex .sizing.reset-size7.size9{font-size:1.44em}.katex .fontsize-ensurer.reset-size7.size10,.katex .sizing.reset-size7.size10{font-size:1.7283333333em}.katex .fontsize-ensurer.reset-size7.size11,.katex .sizing.reset-size7.size11{font-size:2.0733333333em}.katex .fontsize-ensurer.reset-size8.size1,.katex .sizing.reset-size8.size1{font-size:.3472222222em}.katex .fontsize-ensurer.reset-size8.size2,.katex .sizing.reset-size8.size2{font-size:.4166666667em}.katex .fontsize-ensurer.reset-size8.size3,.katex .sizing.reset-size8.size3{font-size:.4861111111em}.katex .fontsize-ensurer.reset-size8.size4,.katex .sizing.reset-size8.size4{font-size:.5555555556em}.katex .fontsize-ensurer.reset-size8.size5,.katex .sizing.reset-size8.size5{font-size:.625em}.katex .fontsize-ensurer.reset-size8.size6,.katex .sizing.reset-size8.size6{font-size:.6944444444em}.katex .fontsize-ensurer.reset-size8.size7,.katex .sizing.reset-size8.size7{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size8.size8,.katex .sizing.reset-size8.size8{font-size:1em}.katex .fontsize-ensurer.reset-size8.size9,.katex .sizing.reset-size8.size9{font-size:1.2em}.katex .fontsize-ensurer.reset-size8.size10,.katex .sizing.reset-size8.size10{font-size:1.4402777778em}.katex .fontsize-ensurer.reset-size8.size11,.katex .sizing.reset-size8.size11{font-size:1.7277777778em}.katex .fontsize-ensurer.reset-size9.size1,.katex .sizing.reset-size9.size1{font-size:.2893518519em}.katex .fontsize-ensurer.reset-size9.size2,.katex .sizing.reset-size9.size2{font-size:.3472222222em}.katex .fontsize-ensurer.reset-size9.size3,.katex .sizing.reset-size9.size3{font-size:.4050925926em}.katex .fontsize-ensurer.reset-size9.size4,.katex .sizing.reset-size9.size4{font-size:.462962963em}.katex .fontsize-ensurer.reset-size9.size5,.katex .sizing.reset-size9.size5{font-size:.5208333333em}.katex .fontsize-ensurer.reset-size9.size6,.katex .sizing.reset-size9.size6{font-size:.5787037037em}.katex .fontsize-ensurer.reset-size9.size7,.katex .sizing.reset-size9.size7{font-size:.6944444444em}.katex .fontsize-ensurer.reset-size9.size8,.katex .sizing.reset-size9.size8{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size9.size9,.katex .sizing.reset-size9.size9{font-size:1em}.katex .fontsize-ensurer.reset-size9.size10,.katex .sizing.reset-size9.size10{font-size:1.2002314815em}.katex .fontsize-ensurer.reset-size9.size11,.katex .sizing.reset-size9.size11{font-size:1.4398148148em}.katex .fontsize-ensurer.reset-size10.size1,.katex .sizing.reset-size10.size1{font-size:.2410800386em}.katex .fontsize-ensurer.reset-size10.size2,.katex .sizing.reset-size10.size2{font-size:.2892960463em}.katex .fontsize-ensurer.reset-size10.size3,.katex .sizing.reset-size10.size3{font-size:.337512054em}.katex .fontsize-ensurer.reset-size10.size4,.katex .sizing.reset-size10.size4{font-size:.3857280617em}.katex .fontsize-ensurer.reset-size10.size5,.katex .sizing.reset-size10.size5{font-size:.4339440694em}.katex .fontsize-ensurer.reset-size10.size6,.katex .sizing.reset-size10.size6{font-size:.4821600771em}.katex .fontsize-ensurer.reset-size10.size7,.katex .sizing.reset-size10.size7{font-size:.5785920926em}.katex .fontsize-ensurer.reset-size10.size8,.katex .sizing.reset-size10.size8{font-size:.6943105111em}.katex .fontsize-ensurer.reset-size10.size9,.katex .sizing.reset-size10.size9{font-size:.8331726133em}.katex .fontsize-ensurer.reset-size10.size10,.katex .sizing.reset-size10.size10{font-size:1em}.katex .fontsize-ensurer.reset-size10.size11,.katex .sizing.reset-size10.size11{font-size:1.1996142719em}.katex .fontsize-ensurer.reset-size11.size1,.katex .sizing.reset-size11.size1{font-size:.2009646302em}.katex .fontsize-ensurer.reset-size11.size2,.katex .sizing.reset-size11.size2{font-size:.2411575563em}.katex .fontsize-ensurer.reset-size11.size3,.katex .sizing.reset-size11.size3{font-size:.2813504823em}.katex .fontsize-ensurer.reset-size11.size4,.katex .sizing.reset-size11.size4{font-size:.3215434084em}.katex .fontsize-ensurer.reset-size11.size5,.katex .sizing.reset-size11.size5{font-size:.3617363344em}.katex .fontsize-ensurer.reset-size11.size6,.katex .sizing.reset-size11.size6{font-size:.4019292605em}.katex .fontsize-ensurer.reset-size11.size7,.katex .sizing.reset-size11.size7{font-size:.4823151125em}.katex .fontsize-ensurer.reset-size11.size8,.katex .sizing.reset-size11.size8{font-size:.578778135em}.katex .fontsize-ensurer.reset-size11.size9,.katex .sizing.reset-size11.size9{font-size:.6945337621em}.katex .fontsize-ensurer.reset-size11.size10,.katex .sizing.reset-size11.size10{font-size:.8336012862em}.katex .fontsize-ensurer.reset-size11.size11,.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 .accent>.vlist-t,.katex .op-limits>.vlist-t{text-align:center}.katex .accent .accent-body{position:relative}.katex .accent .accent-body:not(.accent-full){width:0}.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;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;display:block;height:inherit;position:absolute;width:100%}.katex svg path{stroke:none}.katex img{border-style:none;max-height:none;max-width:none;min-height:0;min-width:0}.katex .stretchy{display:block;overflow:hidden;position:relative;width:100%}.katex .stretchy:after,.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 .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>.tag{position:absolute;right:0}.katex-display.leqno>.katex>.katex-html>.tag{left:0;right:auto}.katex-display.fleqn>.katex{padding-left:2em;text-align:left}body{counter-reset:katexEqnNo mmlEqnNo}