*,: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}.section-block{gap:.4rem}.section-header{justify-content:space-between;align-items:center}.section-title{margin:0;font-size:1.05rem;color:var(--text)}.section-block>.card{margin-bottom: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;display:flex;align-items:center;gap:.5rem}.dm-copy-btn{background:none;border:none;padding:0;font-size:inherit;color:var(--muted);cursor:pointer;opacity:.55}.dm-copy-btn:hover{opacity:1;text-decoration:underline}.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:vertical;min-height:2.75rem;max-height:45vh;overflow-y:auto}.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}