.ed-scope{--ed-accent-from:#8b5cf6;--ed-accent-to:#0ea5e9;--ed-border:#e8e6e3;--ed-dim:#6f6e77}.ed-hero{padding:2.4rem 0 .8rem}.ed-hero h1{letter-spacing:-.02em;margin:0 0 .45rem;font-size:2.2rem;font-weight:800}.ed-grad{background:linear-gradient(90deg, var(--ed-accent-from), var(--ed-accent-to));color:#0000;background-clip:text}.ed-lead{margin:0 0 .3rem;font-size:1.12rem;font-weight:600}.ed-body{color:var(--ed-dim);max-width:40rem;margin:0}.ed-row{flex-wrap:wrap;align-items:center;gap:.6rem;display:flex}.ed-row-tools{margin:.4rem 0 .6rem}.ed-stack>*+*{margin-top:.7rem}.ed-card{background:var(--panel,#fff);border:1px solid var(--ed-border);border-radius:12px;padding:1.1rem 1.3rem 1.3rem}.ed-h2{margin:0;font-size:1.05rem;font-weight:700}.ed-spacer{flex:1}.ed-btn{border:1px solid var(--ed-border);color:inherit;cursor:pointer;background:0 0;border-radius:8px;align-items:center;padding:.35rem .8rem;font-size:.85rem;text-decoration:none;display:inline-flex}.ed-btn:hover{border-color:var(--ed-accent-from)}.ed-btn:disabled{opacity:.5;cursor:default}.ed-btn-primary{color:#fff;background:#16161d;border:0;font-weight:700}.ed-btn-primary:hover{background:#26262e}.ed-btn-ghost{color:var(--ed-dim);border-color:#0000}.ed-btn-danger{color:#dc2626;border-color:#dc262659}.ed-cta{color:#fff;background:#16161d;border-radius:8px;padding:.4rem .9rem;font-size:.85rem;font-weight:700;text-decoration:none}.ed-demo-badge{color:var(--ed-dim);font-size:.8rem}.ed-theme button{color:var(--ed-dim);cursor:pointer;background:0 0;border:0;padding:.28rem .7rem;font-size:.8rem}.ed-theme button.is-active{color:#6d28d9;background:#ede9fe;font-weight:600}.ed-save{color:var(--ed-dim);font-size:.78rem}.ed-save-saved{color:#15803d}.ed-save-error{color:#dc2626}.ed-title{width:100%;color:inherit;border:0;border-bottom:1px solid var(--ed-border);background:0 0;outline:none;padding:.2rem 0 .6rem;font-size:1.6rem;font-weight:800}.ed-title::placeholder{color:var(--ed-dim);opacity:.55}.ed-surface .td-editor{min-height:18rem}.ed-hint{color:var(--ed-dim);margin:0;font-size:.78rem}.ed-list{flex-direction:column;gap:.4rem;margin:.9rem 0 0;padding:0;list-style:none;display:flex}.ed-doc{border:1px solid var(--ed-border);width:100%;color:inherit;cursor:pointer;text-align:left;background:0 0;border-radius:8px;align-items:baseline;gap:.8rem;padding:.6rem .9rem;display:flex}.ed-doc:hover{border-color:var(--ed-accent-from)}.ed-doc-title{text-overflow:ellipsis;white-space:nowrap;flex:1;font-weight:600;overflow:hidden}.ed-doc-date{color:var(--ed-dim);font-variant-numeric:tabular-nums;font-size:.78rem}.ed-map-canvas{border:1px solid var(--ed-border);background:#f0f0f0;border-radius:12px;width:100%;height:min(62vh,560px);min-height:360px;display:block}.ed-err{color:#b91c1c}.ed-modal{z-index:300;background:#0f0f1973;justify-content:center;align-items:center;display:flex;position:fixed;inset:0}.ed-modal-box{border:1px solid var(--ed-border);background:#fff;border-radius:12px;max-width:22rem;padding:1.2rem 1.4rem}.ed-modal-actions{justify-content:flex-end;gap:.5rem;margin-top:1rem;display:flex}.ed-embed-input{border:1px solid var(--ed-border);min-width:12rem;color:inherit;background:#fff;border-radius:8px;flex:1;padding:.4rem .7rem;font-size:.88rem}.ed-mode-row{flex-wrap:wrap;align-items:center;gap:.75rem;margin:.2rem 0 1rem;display:flex}.ed-mode-spacer{flex:1;min-width:0}.ed-chrome,.ed-wm{align-items:center;gap:.45rem;min-width:0;display:inline-flex;position:relative}.ed-wm-caption{color:var(--ed-dim);white-space:nowrap;font-size:.74rem}.ed-wm-btn{border:1px solid var(--ed-line,#e8e6e3);color:#1a1a1e;cursor:pointer;background:#fff;border-radius:8px;align-items:center;gap:.4rem;padding:.3rem .6rem;font-size:.85rem;font-weight:600;display:inline-flex}.ed-wm-btn:hover{border-color:#c4b5fd}.ed-wm-caret{border-top:5px solid #8b8b96;border-left:4px solid #0000;border-right:4px solid #0000;width:0;height:0}.ed-wm-hint{color:var(--ed-dim);text-overflow:ellipsis;white-space:nowrap;min-width:0;font-size:.76rem;overflow:hidden}.ed-wm-menu{z-index:60;border:1px solid var(--ed-line,#e8e6e3);background:#fff;border-radius:10px;flex-direction:column;min-width:15rem;max-height:20rem;padding:.3rem;display:flex;position:absolute;top:calc(100% + .35rem);left:0;overflow-y:auto;box-shadow:0 10px 30px #14142824}.ed-wm-item{text-align:left;cursor:pointer;background:0 0;border:0;border-radius:7px;flex-direction:column;gap:.1rem;padding:.4rem .55rem;display:flex}.ed-wm-item:hover{background:#f4f3f8}.ed-wm-item.is-active{background:#ede9fe}.ed-wm-item-name{color:#1a1a1e;font-size:.86rem;font-weight:600}.ed-wm-item-hint{color:var(--ed-dim);font-size:.74rem}.ed-wm-more{border-top:1px solid var(--ed-line,#e8e6e3);color:#6d28d9;margin-top:.25rem;padding:.45rem .55rem .2rem;font-size:.78rem;text-decoration:none}@media (width<=700px){.ed-mode-row{gap:.4rem .6rem}.ed-wm-hint,.ed-mode-spacer{display:none}}.cb-box{background:#16161d;border-radius:10px;max-width:100%;position:relative;overflow:hidden}.cb-box pre{color:#e6e6ef;margin:0;padding:.8rem .9rem;font-size:.76rem;line-height:1.6;overflow-x:auto}.cb-box .td-hl-cm,.st-doc-code .td-hl-cm{color:#8b949e}.cb-box .td-hl-str,.st-doc-code .td-hl-str{color:#a5d6ff}.cb-box .td-hl-num,.st-doc-code .td-hl-num{color:#79c0ff}.cb-box .td-hl-kw,.st-doc-code .td-hl-kw{color:#ff7b72}.cb-box .td-hl-tag,.st-doc-code .td-hl-tag{color:#7ee787}.cb-box code{white-space:pre;font-family:JetBrains Mono,ui-monospace,SFMono-Regular,monospace}.cb-actions{gap:.3rem;display:flex;position:absolute;top:.45rem;right:.45rem}.cb-copy{color:#d8d8e6;cursor:pointer;white-space:nowrap;background:#ffffff1f;border:0;border-radius:6px;padding:.25rem .5rem;font-size:.72rem}.cb-copy:hover{background:#ffffff3d}.ed-install{border:1px solid var(--ed-line,#e8e6e3);background:#fff;border-radius:14px;margin-top:1.4rem;padding:1rem 1.1rem 1.1rem}.ed-install h3{color:#1a1a1e;margin:0 0 .3rem;font-size:.95rem}.ed-install p{color:var(--ed-dim,#6f6e77);margin:0 0 .7rem;font-size:.83rem;line-height:1.6}.ed-install-links{flex-wrap:wrap;gap:.9rem;margin-top:.6rem;font-size:.8rem;display:flex}.ed-install-links a{color:#6d28d9;text-decoration:none}.ed-install-links a:hover{text-decoration:underline}.ed-proof{border:1px solid var(--ed-line,#e8e6e3);background:#fff;border-radius:14px;margin-top:1.4rem;padding:1rem 1.1rem 1.1rem}.ed-proof h3{color:#1a1a1e;margin:0 0 .3rem;font-size:.95rem}.ed-proof>p{color:var(--ed-dim,#6f6e77);margin:0 0 .7rem;font-size:.83rem;line-height:1.6}.ed-proof-head{flex-wrap:wrap;align-items:center;gap:.6rem;margin:.2rem 0 .6rem;display:flex}.ed-proof-badge{border:1px solid var(--ed-border,#e5e5ea);color:#3a3a44;white-space:nowrap;background:#fafafa;border-radius:999px;align-items:center;gap:.35rem;padding:.28rem .7rem;font-size:.8rem;font-weight:600;display:inline-flex}.ed-proof-badge-lg{padding:.4rem .95rem;font-size:.95rem}.ed-proof-badge.is-typed{color:#4c1d95;background:linear-gradient(#fff,#fff) padding-box padding-box,linear-gradient(90deg,#7c3aed,#38bdf8) border-box;border-color:#0000}.ed-proof-badge.is-pasted,.ed-proof-badge.is-insufficient{color:#6f6e77}.ed-proof-chip{color:#4c1d95;white-space:nowrap;background:#f3efff;border-radius:999px;align-items:center;gap:.25rem;padding:.08rem .5rem;font-size:.68rem;font-weight:600;display:inline-flex}.ed-proof-stats{grid-template-columns:repeat(auto-fill,minmax(8.5rem,1fr));gap:.6rem 1rem;margin:.6rem 0 0;display:grid}.ed-proof-stats>div{flex-direction:column;gap:.1rem;display:flex}.ed-proof-stats dt{color:var(--ed-dim,#6f6e77);font-size:.72rem}.ed-proof-stats dd{font-variant-numeric:tabular-nums;color:#1a1a1e;margin:0;font-size:.95rem;font-weight:600}.ed-proof-hints{color:var(--ed-dim,#6f6e77);margin:.7rem 0 0;padding-left:1.1rem;font-size:.8rem;line-height:1.55}.ed-proof-actions{flex-wrap:wrap;align-items:center;gap:.6rem;margin-top:.9rem;display:flex}.ed-proof-link{border:1px dashed var(--ed-border,#e5e5ea);border-radius:10px;flex-wrap:wrap;align-items:center;gap:.5rem .8rem;margin-top:.8rem;padding:.6rem .8rem;font-size:.8rem;display:flex}.ed-proof-link code{text-overflow:ellipsis;white-space:nowrap;color:#4c1d95;flex:1;min-width:12rem;font-size:.78rem;overflow:hidden}.ed-proof-hero{margin-top:.4rem}.ed-proof-title{margin:.7rem 0 .2rem;font-size:1.3rem;font-weight:700;line-height:1.35}.ed-proof-statement{color:#3a3a44;margin:0 0 .4rem;font-size:.95rem;line-height:1.65}.ed-proof-hash{color:var(--ed-dim,#6f6e77);flex-direction:column;gap:.15rem;margin:.9rem 0 0;font-size:.72rem;display:flex}.ed-proof-hash code{word-break:break-all;color:#3a3a44;font-size:.72rem}.ed-proof-verify{box-sizing:border-box;border:1px solid var(--ed-border,#e5e5ea);width:100%;font:inherit;resize:vertical;border-radius:10px;margin-top:.6rem;padding:.7rem .8rem;font-size:.88rem;line-height:1.6}.ed-proof-verdict{margin:.6rem 0 0;font-size:.85rem;font-weight:600}.ed-proof-verdict.is-match{color:#15803d}.ed-proof-verdict.is-mismatch{color:#b91c1c}.ed-proof-limit{margin-top:1rem}