:root{--bg:#f6f5f1;--surface:#fff;--surface-2:#efede6;--text:#1d2228;--muted:#646b73;--line:#dcd8cd;--accent:#1f3a5f;--accent-2:#2f5b8f;--accent-soft:#e3eaf3;--ok:#2e7d4f;--ok-soft:#e2f1e7;--bad:#b3402f;--bad-soft:#f7e3df;--warn:#9a6a00;--warn-soft:#f8eed3;--serif:"Iowan Old Style", "Palatino Linotype", Palatino, Georgia, "Times New Roman", serif;--sans:system-ui, -apple-system, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif;--radius:10px;--shadow:0 1px 2px #0000000d, 0 2px 8px #0000000a;--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light}@media (prefers-color-scheme:dark){:root:not([data-theme=light]){--bg:#15181c;--surface:#1d2126;--surface-2:#252a30;--text:#e5e7ea;--muted:#9aa1a9;--line:#343a42;--accent:#8fb3e0;--accent-2:#a9c6ea;--accent-soft:#233246;--ok:#6cc28f;--ok-soft:#1d3326;--bad:#ec8a7a;--bad-soft:#3b2420;--warn:#e2b54f;--warn-soft:#3a3020;--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark}}:root[data-theme=dark]{--bg:#15181c;--surface:#1d2126;--surface-2:#252a30;--text:#e5e7ea;--muted:#9aa1a9;--line:#343a42;--accent:#8fb3e0;--accent-2:#a9c6ea;--accent-soft:#233246;--ok:#6cc28f;--ok-soft:#1d3326;--bad:#ec8a7a;--bad-soft:#3b2420;--warn:#e2b54f;--warn-soft:#3a3020;--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark}*{box-sizing:border-box}html,body{margin:0}body{background:var(--bg);color:var(--text);font:16px/1.55 var(--sans);-webkit-font-smoothing:antialiased;-webkit-tap-highlight-color:transparent}a{color:var(--accent-2);text-decoration:none}a:hover{text-decoration:underline}h1,h2,h3{margin:1.2em 0 .5em;line-height:1.25}h1{margin-top:.4em;font-size:1.6rem}h1 small{color:var(--muted);margin-top:.25em;font-size:.95rem;font-weight:500;display:block}h2{font-size:1.15rem}h3{font-size:1rem}code{background:var(--surface-2);border-radius:4px;padding:.1em .35em;font-size:.88em}.muted{color:var(--muted)}.small{font-size:.85rem}.center{text-align:center}.error{color:var(--bad)}.loading{color:var(--muted);text-align:center;padding-top:3rem}.shell{flex-direction:column;min-height:100vh;display:flex}.topbar{z-index:10;padding:.6rem 1.25rem;padding-top:max(.6rem, env(safe-area-inset-top));background:color-mix(in srgb, var(--bg) 88%, transparent);-webkit-backdrop-filter:blur(8px);backdrop-filter:blur(8px);border-bottom:1px solid var(--line);align-items:center;gap:1.5rem;display:flex;position:sticky;top:0}.brand{color:var(--text);align-items:center;gap:.5rem;font-weight:700;display:flex}.brand:hover{text-decoration:none}.brand-mark{background:var(--accent);width:1.7rem;height:1.7rem;color:var(--bg);font-family:var(--serif);border-radius:6px;place-items:center;display:inline-grid}.topnav{gap:.25rem;display:flex}.topnav a{color:var(--muted);border-radius:6px;padding:.35rem .7rem}.topnav a.active{color:var(--text);background:var(--surface-2)}.topnav a:hover{color:var(--text);text-decoration:none}.main{flex:1;width:100%;max-width:860px;margin:0 auto;padding:0 1.25rem 6rem}.page{padding-top:1rem}.page.narrow{max-width:680px;margin:0 auto}.bottomnav{display:none}@media (width<=720px){.main{padding:0 16px calc(5.5rem + env(safe-area-inset-bottom))}.topnav{display:none}.topbar{padding-left:16px;padding-right:16px}.bottomnav{z-index:10;background:var(--surface);border-top:1px solid var(--line);padding-bottom:env(safe-area-inset-bottom);grid-template-columns:repeat(4,1fr);display:grid;position:fixed;bottom:0;left:0;right:0}.bottomnav a{color:var(--muted);flex-direction:column;align-items:center;gap:2px;padding:.45rem 0 .5rem;font-size:.72rem;display:flex}.bottomnav a.active{color:var(--accent)}.bottomnav a:hover{text-decoration:none}.bottomnav svg{fill:none;stroke:currentColor;stroke-width:1.8px;stroke-linecap:round;stroke-linejoin:round;width:22px;height:22px}h1{font-size:1.4rem}}.btn{border:1px solid var(--line);background:var(--surface);min-height:2.5rem;color:var(--text);font:inherit;cursor:pointer;border-radius:8px;justify-content:center;align-items:center;gap:.4rem;padding:.45rem 1rem;font-weight:500;display:inline-flex}.btn:hover{border-color:var(--accent-2);text-decoration:none}.btn:disabled{opacity:.5;cursor:default}.btn.primary{background:var(--accent);border-color:var(--accent);color:var(--bg)}.btn.small{min-height:2rem;padding:.2rem .7rem;font-size:.88rem}.btn.tiny{min-height:1.6rem;margin-left:.3rem;padding:.05rem .5rem;font-size:.78rem}.row{flex-wrap:wrap;align-items:center;gap:.5rem;margin:.75rem 0;display:flex}input,select,textarea{font:inherit;color:var(--text);background:var(--surface);border:1px solid var(--line);border-radius:8px;padding:.5rem .65rem}input:focus,select:focus,textarea:focus,button:focus-visible{outline:2px solid var(--accent-2);outline-offset:1px}.field{grid-template-columns:1fr minmax(0,220px);align-items:center;gap:.75rem;margin:.6rem 0;display:grid}.field input,.field select{width:100%}@media (width<=520px){.field{grid-template-columns:1fr;gap:.25rem}}.check{align-items:center;gap:.5rem;margin:.6rem 0;display:flex}.chip{letter-spacing:.02em;text-transform:uppercase;background:var(--accent-soft);color:var(--accent);border-radius:999px;padding:.15rem .5rem;font-size:.72rem;font-weight:600;display:inline-block}.chip-warn{background:var(--warn-soft);color:var(--warn)}.hero{flex-wrap:wrap;justify-content:space-between;align-items:flex-end;gap:1rem;margin-bottom:1rem;display:flex}.hero h1{margin-bottom:.1rem}.hero p{margin:0}.stat-row{gap:.5rem;display:flex}.stat{background:var(--surface);border:1px solid var(--line);border-radius:var(--radius);text-align:center;min-width:4.5rem;padding:.5rem .9rem}.stat b{font-variant-numeric:tabular-nums;font-size:1.4rem;display:block}.stat span{color:var(--muted);font-size:.75rem}.actions{grid-template-columns:repeat(auto-fit,minmax(170px,1fr));gap:.6rem;display:grid}.action{border-radius:var(--radius);background:var(--surface);border:1px solid var(--line);color:var(--text);box-shadow:var(--shadow);flex-direction:column;gap:.15rem;padding:.9rem 1rem;display:flex}.action:hover{border-color:var(--accent-2);text-decoration:none}.action span{color:var(--muted);font-size:.85rem}.action.primary{background:var(--accent);border-color:var(--accent);color:var(--bg)}.action.primary span{color:color-mix(in srgb, var(--bg) 80%, transparent)}.action.disabled{opacity:.6}.group-list{margin:0;padding:0;list-style:none}.group-list li{border-bottom:1px solid var(--line);grid-template-columns:1fr auto auto;align-items:center;gap:.75rem;padding:.6rem 0;display:grid}.group-title{color:var(--text)}@media (width<=520px){.group-list li{grid-template-columns:1fr auto}.group-list li>span{grid-area:2/1}.group-list li>.btn{grid-area:1/2/span 2}}.session-head{justify-content:space-between;align-items:center;gap:.5rem;margin-bottom:.4rem;display:flex}.progress{background:var(--surface-2);border-radius:2px;height:4px;margin-bottom:1rem;overflow:hidden}.progress div{background:var(--accent-2);height:100%;transition:width .25s}.session-links{text-align:center;margin-top:1.25rem}.rating{bottom:calc(4.5rem + env(safe-area-inset-bottom));grid-template-columns:repeat(4,1fr);gap:.4rem;margin-top:1rem;display:grid;position:sticky}@media (width>=721px){.rating{bottom:1rem}}.rate{border:1px solid var(--line);background:var(--surface);color:var(--text);font:inherit;cursor:pointer;box-shadow:var(--shadow);border-radius:8px;flex-direction:column;align-items:center;padding:.55rem .2rem;display:flex}.rate-label{font-size:.92rem;font-weight:600}.rate-ivl{color:var(--muted);font-size:.75rem}.rate-1 .rate-label{color:var(--bad)}.rate-2 .rate-label{color:var(--warn)}.rate-3 .rate-label{color:var(--ok)}.rate-4 .rate-label{color:var(--accent-2)}.rate.suggested{outline:2px solid var(--accent-2);outline-offset:1px}.card{background:var(--surface);border:1px solid var(--line);box-shadow:var(--shadow);border-radius:14px;padding:1.1rem 1.2rem}.card-meta{gap:.4rem;margin-bottom:.6rem;display:flex}.prompt{margin-bottom:.75rem;font-size:1.08rem;font-weight:500}.prompt p{margin:0}.answer{border-top:1px dashed var(--line);margin-top:.75rem;padding-top:.75rem}.answer.ok{border-top-color:var(--ok)}.answer.bad{border-top-color:var(--bad)}.verdict{margin-bottom:.25rem;font-weight:600}.answer.ok .verdict{color:var(--ok)}.answer.bad .verdict{color:var(--bad)}.norm-answer{font-family:var(--serif);font-size:1.25rem}.scratch{resize:vertical;width:100%;margin-bottom:.5rem;font-size:.95rem}.card-footer{background:var(--surface-2);border-radius:8px;margin-top:.75rem;padding:.7rem .9rem;font-size:.92rem}.card-footer .source{color:var(--muted);margin-top:.3rem}.ref{color:var(--muted);margin-left:.25rem;font-size:.85em}.hint{color:var(--muted);margin-left:.4rem;font-size:.85em}.reveal-list{counter-reset:item;margin:.25rem 0;padding-left:0;list-style:none}.reveal-list li{margin:.3rem 0}.reveal-slot,.reveal-item,.schema-cell{text-align:left;width:100%;font:inherit;color:var(--text);border:1px solid var(--line);background:var(--surface);cursor:pointer;border-radius:8px;align-items:baseline;gap:.5rem;padding:.5rem .7rem;display:flex}.reveal-item>span,.schema-cell>span{min-width:0}.reveal-item>span:not(.mark):first-of-type,.schema-cell>span:not(.mark):first-of-type{flex:1}.reveal-slot{color:var(--muted);border-style:dashed}.reveal-list li.known .reveal-item,tr.known .schema-cell{background:var(--ok-soft);border-color:#0000}.reveal-list li.unknown .reveal-item,tr.unknown .schema-cell{background:var(--bad-soft);border-color:#0000}.mark{flex:none;width:1rem;font-weight:700}.known .mark{color:var(--ok)}.unknown .mark{color:var(--bad)}.reveal-item:disabled,.schema-cell:disabled{cursor:default}.pool{border:1px dashed var(--line);border-radius:10px;flex-wrap:wrap;gap:.4rem;min-height:3rem;margin-bottom:.75rem;padding:.6rem;display:flex}.token{font:inherit;border:1px solid var(--line);background:var(--surface-2);color:var(--text);cursor:pointer;border-radius:999px;padding:.35rem .7rem;font-size:.93rem}.token.selected{background:var(--accent);color:var(--bg);border-color:var(--accent)}.token.ok{background:var(--ok-soft);border-color:var(--ok)}.token.bad{background:var(--bad-soft);border-color:var(--bad)}.buckets{grid-template-columns:repeat(auto-fit,minmax(220px,1fr));gap:.6rem;margin-bottom:.75rem;display:grid}.bucket{border:1px solid var(--line);cursor:pointer;border-radius:10px;min-height:5rem;padding:.6rem}.bucket.droppable{border-color:var(--accent-2);background:var(--accent-soft)}.bucket-label{margin-bottom:.4rem;font-size:.9rem;font-weight:600}.bucket-label p{margin:0}.bucket-items{flex-wrap:wrap;gap:.35rem;display:flex}.schema{border-collapse:separate;border-spacing:0 .3rem;width:100%}.schema td{vertical-align:middle;padding:0}.schema td.op{text-align:center;width:1.6rem;color:var(--muted);font-size:1.1rem;font-weight:700}.schema tr.sum .schema-cell,.schema tr.sum input{font-weight:600}.schema tr.given .schema-cell{background:var(--surface-2);border-color:#0000}.schema tr.sum td{border-top:0}.schema-input{gap:.35rem;display:flex}.schema-input input{border-style:dashed;flex:1;min-width:0}.typed{color:var(--muted)}.cloze{font-family:var(--serif);margin-bottom:.75rem;font-size:1.08rem;line-height:2}.cloze .gap{font:inherit;font-family:var(--sans);border-style:dashed;max-width:100%;padding:.1rem .4rem;font-size:.95rem}.gap-result{border-radius:4px;padding:.05rem .35rem}.gap-result.ok{background:var(--ok-soft)}.gap-result.bad{background:var(--bad-soft)}.gap-result s{color:var(--muted)}.where-form{flex-wrap:wrap;align-items:center;gap:.5rem;display:flex}.where-form .para{font-family:var(--serif);color:var(--muted);font-size:1.4rem}.where-form input{flex:1;min-width:8rem;font-size:1.1rem}.card-stack{gap:.75rem;display:grid}.card-preview{border:1px solid var(--line);border-left:3px solid var(--accent-2);background:var(--surface);font-family:var(--sans);border-radius:10px;margin:1rem 0;padding:.75rem .9rem}.card-preview .card{box-shadow:none;background:0 0;border:0;padding:0}.card-preview .card-meta{display:none}.card-preview .row{margin-bottom:0}.card-preview-head{align-items:center;gap:.4rem;margin-bottom:.4rem;display:flex}.card-preview-head .status{margin-left:auto}.card-preview .prompt{margin-bottom:.25rem;font-size:1rem}.breadcrumb{color:var(--muted);margin-bottom:.25rem}.node-head{margin-bottom:.5rem}.node-head .row{margin-top:.25rem}.tabs{border-bottom:1px solid var(--line);scrollbar-width:none;background:var(--bg);z-index:5;gap:.15rem;margin:.5rem 0 1rem;display:flex;position:sticky;top:3.2rem;overflow-x:auto}.tabs button{font:inherit;color:var(--muted);cursor:pointer;white-space:nowrap;background:0 0;border:0;border-bottom:2px solid #0000;padding:.6rem .8rem;font-weight:500}.tabs button.active{color:var(--text);border-bottom-color:var(--accent)}.tabs .count{background:var(--surface-2);border-radius:999px;margin-left:.35rem;padding:.05rem .4rem;font-size:.72rem}.tiles{grid-template-columns:repeat(auto-fit,minmax(220px,1fr));gap:.6rem;padding:0;list-style:none;display:grid}.tile{background:var(--surface);border:1px solid var(--line);border-radius:var(--radius);color:var(--text);box-shadow:var(--shadow);flex-direction:column;gap:.2rem;padding:.9rem 1rem;display:flex}.tile:hover{border-color:var(--accent-2);text-decoration:none}.meter{background:var(--surface-2);border-radius:2px;height:4px;margin-top:.4rem;overflow:hidden}.meter div{background:var(--ok);height:100%}.link-list{margin:.25rem 0 1rem;padding:0;list-style:none}.link-list li{border-bottom:1px solid var(--line);padding:.3rem 0}.links h3{color:var(--muted);font-size:.95rem}.links details summary{cursor:pointer;list-style:none}.links details summary h3{display:inline}.pager{border-top:1px solid var(--line);justify-content:space-between;gap:1rem;margin-top:2.5rem;padding-top:1rem;font-size:.9rem;display:flex}.source-line{margin-top:1.5rem}.empty{border:1px dashed var(--line);border-radius:var(--radius);padding:1rem 1.2rem}.prose{overflow-wrap:anywhere}.prose table{border-collapse:collapse;width:100%;margin:1rem 0;font-size:.93rem;display:block;overflow-x:auto}.prose th,.prose td{border:1px solid var(--line);text-align:left;vertical-align:top;padding:.4rem .6rem}.prose th{background:var(--surface-2)}.prose blockquote{border-left:3px solid var(--line);color:var(--muted);margin:1rem 0;padding:.25rem 1rem}.wl{border-bottom:1px solid color-mix(in srgb, var(--accent-2) 35%, transparent)}.wl:hover{border-bottom-color:var(--accent-2);text-decoration:none}.wl.missing{color:var(--muted);border-bottom:1px dashed var(--muted);cursor:help}.callout{background:var(--accent-soft);border-left:3px solid var(--accent-2);border-radius:8px;margin:1rem 0;padding:.7rem 1rem}.callout>p:last-child{margin-bottom:0}.callout-title,.callout>summary{cursor:default;margin-bottom:.25rem;font-weight:600}details.callout>summary{cursor:pointer}.callout-warning{background:var(--warn-soft);border-left-color:var(--warn)}.callout-abstract,.callout-tip{background:var(--ok-soft);border-left-color:var(--ok)}.callout p{margin:.3rem 0}.law{font-family:var(--serif);font-size:1.05rem;line-height:1.65}.law section.abs{border-radius:6px;margin:0 -.6rem .5rem;padding:.35rem .6rem;scroll-margin-top:6.5rem;transition:background .6s}.law section.abs.flash{background:var(--warn-soft)}.law ul{padding-left:1.4rem;list-style:none}.law ul li{margin:.2rem 0}.law sup{color:var(--muted);font-size:.65em;font-family:var(--sans);margin-right:.1em}.law p{margin:.4rem 0}.embed{border:1px solid var(--line);background:var(--surface);font-family:var(--serif);border-radius:8px;margin:1rem 0;padding:.6rem 1rem}.embed-head{font-family:var(--sans);margin-bottom:.25rem;font-size:.8rem}.embed section.abs{margin:0}.embed ul{padding-left:1.2rem;list-style:none}.toc h2,.toc h3,.toc h4,.toc h5{color:var(--muted);margin:1.2rem 0 .3rem;font-size:.95rem}.toc ul{margin:0;padding:0;list-style:none}.toc li{padding:.15rem 0}.search{width:100%;padding:.7rem .9rem;font-size:1.1rem}.hits{padding:0;list-style:none}.hits li{border-bottom:1px solid var(--line);padding:.6rem 0}.hits p{margin:.25rem 0 0}mark{background:var(--warn-soft);color:inherit;border-radius:2px;padding:0 .1em}.panel{background:var(--surface);border:1px solid var(--line);border-radius:var(--radius);margin:1rem 0;padding:.4rem 1.1rem .8rem}.bars{grid-template-columns:repeat(14,1fr);align-items:end;gap:4px;height:90px;display:grid}.bar{text-align:center;flex-direction:column;justify-content:flex-end;height:100%;display:flex}.bar div{background:var(--accent-2);border-radius:3px 3px 0 0;min-height:2px}.bar span{color:var(--muted);font-size:.65rem}.coverage{background:var(--surface);border:1px solid var(--line);border-radius:var(--radius);margin:0 0 1rem;padding:.65rem .85rem}.coverage-head{flex-wrap:wrap;align-items:baseline;gap:.25rem .75rem;margin-bottom:.5rem;display:flex}.coverage-chips{flex-wrap:wrap;gap:.35rem;display:flex}.cov{min-height:2rem;font:inherit;cursor:pointer;border:1px solid #0000;border-radius:999px;align-items:center;gap:.35rem;padding:.15rem .35rem .15rem .6rem;font-size:.85rem;font-weight:600;display:inline-flex}.cov-n{background:color-mix(in srgb, currentColor 14%, transparent);text-align:center;border-radius:999px;min-width:1.3rem;padding:.05rem .3rem;font-size:.72rem;font-weight:600}.cov-ok{background:var(--ok-soft);color:var(--ok)}.cov-skip{background:var(--surface-2);color:var(--muted);border-style:dashed;border-color:var(--line)}.cov-open{background:var(--warn-soft);color:var(--warn)}.coverage-legend{flex-wrap:wrap;align-items:center;gap:.3rem .6rem;margin-top:.5rem;display:flex}.cov-dot{border-width:1px;border-radius:50%;width:.7rem;height:.7rem;min-height:0;padding:0;display:inline-block}.chip-abs{background:var(--surface-2);color:var(--text);text-transform:none;letter-spacing:0}.law .abs-badge{float:right;font-family:var(--sans);margin:.15rem 0 .3rem .75rem}.abs-badge-btn{font:inherit;border:1px solid #0000;border-radius:999px;padding:.15rem .55rem;font-size:.72rem;font-weight:600;display:inline-block}button.abs-badge-btn{cursor:pointer}.abs-badge-btn.cov-skip{white-space:nowrap;text-overflow:ellipsis;vertical-align:middle;max-width:16rem;overflow:hidden}@media (width<=520px){.abs-badge-btn.cov-skip{max-width:10rem}}.abs-group{border-radius:8px;margin-bottom:1.25rem;scroll-margin-top:6.5rem;transition:background .6s}.abs-group.flash{background:var(--warn-soft)}.abs-group h3{align-items:baseline;gap:.75rem;margin:1rem 0 .4rem;display:flex}.abs-group .card-preview{margin:.5rem 0}button.link{font:inherit;color:var(--accent-2);cursor:pointer;background:0 0;border:0;padding:0;font-weight:400}button.link:hover{text-decoration:underline}.card-preview.archived{opacity:.6;border-left-color:var(--line);border-style:dashed}.card-preview.archived:hover,.card-preview.archived.solution,.card-preview.archived.try{opacity:1}.chip-archived{background:var(--surface-2);color:var(--muted)}.archived-cards{border-top:1px solid var(--line);margin-top:1.5rem;padding-top:.75rem}.archived-cards summary{cursor:pointer;font-weight:600}