.txp{--txp-code:#10131c;min-height:260px;scroll-margin-top:88px}.txp-loading,.txp-error{border:1px solid var(--border);background:var(--card);min-height:240px;color:var(--text-mid);justify-content:center;align-items:center;display:flex}.txp-error{color:var(--orange-hover);flex-direction:column;gap:8px}.txp-layout{grid-template-columns:minmax(264px,1fr) minmax(0,1040px) minmax(264px,1fr);align-items:start;min-height:calc(100dvh - 64px);padding:72px 0 104px;display:grid}.txp-main{width:100%;min-width:0;padding-inline:40px}.txp-menu{flex-direction:column;justify-self:end;width:240px;max-height:calc(100dvh - 120px);padding-right:24px;display:flex;position:sticky;top:96px}.txp-menu-label{flex-shrink:0}.txp-menu-groups{overscroll-behavior:contain;scrollbar-gutter:stable;min-height:0;overflow-y:auto}.txp-menu-group+.txp-menu-group{margin-top:24px}.txp-menu-group h2{color:var(--ink);font-family:var(--font-sans);margin:0 0 8px;padding-left:12px;font-size:14px;font-weight:400}.txp-menu-group>div{flex-direction:column;gap:2px;display:flex}.txp-menu-group button{overflow-wrap:anywhere}.txp-toolbar{border:1px solid var(--border);background:#f7f9fc;border-bottom:0;justify-content:space-between;align-items:flex-end;gap:24px;padding:18px 20px;display:flex}.txp-selected{flex-direction:column;flex:1;gap:5px;display:flex}.txp-selected span,.txp-context>span{color:var(--text-low);font-family:var(--font-mono);text-transform:uppercase;font-size:10px;font-weight:600}.txp-selected-title{color:var(--ink);font-family:var(--font-sans);overflow-wrap:anywhere;font-size:18px;line-height:1.3}.txp-picker{display:none}.txp-picker>summary{border:1px solid var(--border);background:var(--card);cursor:pointer;justify-content:space-between;align-items:center;gap:12px;padding:10px 12px;list-style:none;display:flex}.txp-picker>summary::-webkit-details-marker{display:none}.txp-picker>summary:focus-visible{outline:2px solid var(--blue);outline-offset:-2px}.txp-picker>summary svg{fill:none;width:20px;height:20px;stroke:var(--text-low);stroke-width:1.5px;flex-shrink:0;transition:transform .15s}.txp-picker[open]>summary svg{transform:rotate(180deg)}.txp-picker-groups{padding:16px 0 4px}.txp-stats{color:var(--text-low);font-family:var(--font-mono);text-transform:uppercase;gap:16px;padding-bottom:10px;font-size:11px;display:flex}.txp-theorem{border:1px solid var(--border);background:var(--card);padding:24px}.txp-entry-meta{flex-wrap:wrap;align-items:baseline;gap:9px 14px;margin-bottom:10px;display:flex}.txp-kind{color:var(--cyan-mark);font-family:var(--font-mono);text-transform:uppercase;font-size:10px;font-weight:600}.txp-location{color:var(--blue-deep);font-family:var(--font-mono);overflow-wrap:anywhere;font-size:11px}.txp-location:hover{color:var(--blue)}code.txp-location,code.txp-location:hover{color:var(--text-mid)}.txp-doc{max-width:880px;color:var(--text-mid);margin:0 0 14px;font-size:14px;line-height:1.55}.txp-doc code{font-family:var(--font-mono);background:var(--card);overflow-wrap:anywhere;border-radius:3px;padding:.1em .3em;font-size:.9em}.txp-source{border:1px solid var(--dark-border);background:var(--txp-code);color:var(--code-text);margin:0;padding:18px 20px;overflow:auto}.txp-source code{color:inherit;font-family:var(--font-mono);white-space:pre;background:0 0;font-size:13px;line-height:1.65}.txp-hint{color:var(--text-low);margin:10px 0 0;font-size:12px}.txp-context{margin-top:18px}.txp-context>div{flex-wrap:wrap;gap:8px;margin-top:8px;display:flex}.txp-chip{border:1px solid var(--border);color:var(--blue-deep);font-family:var(--font-mono);cursor:pointer;background:#f7f9fc;padding:6px 9px;font-size:11px}.txp-chip:hover{border-color:var(--blue)}.txp-card-slot:not(:empty){margin-top:18px}.txp-card{border:1px solid var(--border);border-left:3px solid var(--blue);background:var(--card);padding:22px 24px;scroll-margin-top:88px;box-shadow:0 12px 30px #191c2714}.txp-card-head{justify-content:space-between;align-items:flex-start;gap:18px;display:flex}.txp-card h2{overflow-wrap:anywhere;margin:0 0 14px;font-size:17px}.txp-card h2 code{font-family:var(--font-mono);font-size:14px}.txp-card-foot{color:var(--text-low);flex-wrap:wrap;gap:8px 18px;margin-top:12px;font-size:11px;display:flex}.txp-boundary{color:var(--text-mid)}.txp-missing{color:var(--text-low);font-style:italic}@media (width>=721px){.txp-card{overscroll-behavior:contain;scrollbar-gutter:stable;min-height:min(320px,100vh - 112px);max-height:min(720px,100vh - 112px);overflow-y:auto}.txp-crumbs{z-index:2;background:var(--card);padding:6px 0 10px;position:sticky;top:0}.txp-crumbs:before{content:"";background:var(--card);height:22px;position:absolute;bottom:100%;left:-24px;right:-24px}}@media (width<=1340px){.txp-layout{grid-template-columns:240px minmax(0,1fr);gap:32px;min-height:0;padding:72px 40px 104px}.txp-main{padding:0}.txp-menu{justify-self:stretch;width:auto;padding-right:0}}@media (width<=960px){.txp-layout{grid-template-columns:minmax(0,1fr)}.txp-menu,.txp-selected>.txp-selected-title{display:none}.txp-picker{display:block}.txp-toolbar{flex-direction:column;align-items:stretch;gap:12px}.txp-stats{padding-bottom:0}}@media (width<=720px){.txp-layout{padding:32px 20px 72px}.txp-toolbar{flex-direction:column;align-items:stretch;gap:12px;padding:16px}.txp-stats{justify-content:space-between;padding-bottom:0}.txp-theorem,.txp-card{padding:18px 16px}.txp-source{border-left:0;border-right:0;margin-left:-16px;margin-right:-16px;padding:15px 16px}.txp-source code{font-size:12px}.txp-card-head{flex-direction:column-reverse;gap:4px}}.explorer-page[data-astro-cid-3mhkpy47]{flex-direction:column;min-height:100vh;display:flex}.hero[data-astro-cid-3mhkpy47]{background:var(--ink);align-items:center;min-height:495px;display:flex;position:relative;overflow:hidden}.hero-bg[data-astro-cid-3mhkpy47]{opacity:.5;pointer-events:none;width:auto;max-width:none;height:112%;position:absolute;top:50%;left:calc(50% - 60px);transform:translateY(-50%)}.hero-inner[data-astro-cid-3mhkpy47]{text-align:left;flex-direction:column;align-items:flex-start;gap:24px;width:100%;max-width:1040px;margin:0 auto;padding:0 40px;display:flex;position:relative}h1[data-astro-cid-3mhkpy47]{color:#fff;text-wrap:balance;font-size:48px;line-height:1}.hero[data-astro-cid-3mhkpy47] p[data-astro-cid-3mhkpy47]{max-width:480px;color:var(--on-dark-body);font-family:var(--font-sans);margin:0;font-size:18px;line-height:1.5}.explorer-main[data-astro-cid-3mhkpy47]{flex:1;width:100%}@media (width<=720px){.hero[data-astro-cid-3mhkpy47]{min-height:0}.hero-bg[data-astro-cid-3mhkpy47]{width:340px;height:auto;top:-16px;left:auto;right:-48px;transform:none}.hero-inner[data-astro-cid-3mhkpy47]{padding:48px 20px 56px}h1[data-astro-cid-3mhkpy47]{text-wrap:pretty;font-size:34px}.hero[data-astro-cid-3mhkpy47] p[data-astro-cid-3mhkpy47]{max-width:85%}}