@font-face{font-family:Charter;src:url(/lintel/assets/charter-regular--6XO5K4X.woff2)format("woff2");font-weight:400;font-style:normal;font-display:swap}@font-face{font-family:Charter;src:url(/lintel/assets/charter-italic-rc5yzvWH.woff2)format("woff2");font-weight:400;font-style:italic;font-display:swap}@font-face{font-family:Charter;src:url(/lintel/assets/charter-bold-BySRU8HJ.woff2)format("woff2");font-weight:700;font-style:normal;font-display:swap}@font-face{font-family:Commit Mono;src:url(/lintel/assets/commit-mono-400-CK0DpGS3.woff2)format("woff2");font-weight:400;font-display:swap}@font-face{font-family:Commit Mono;src:url(/lintel/assets/commit-mono-700-DDxO0Aiu.woff2)format("woff2");font-weight:700;font-display:swap}:root{--paper:#f4f2ec;--field:#faf9f5;--hairline:#d6d1c4;--pencil:#8a8478;--graphite:#57534a;--ink:#1c1b17;--rust:#a2381d;--text:"Charter", "Bitstream Charter", "Sitka Text", Cambria, Georgia, serif;--mono:"Commit Mono", ui-monospace, "SF Mono", Menlo, Consolas, monospace;--beam:6px;--gutter:16px;--measure:1180px}*{box-sizing:border-box}html{background:var(--paper);color:var(--ink);-webkit-text-size-adjust:100%}body{background:var(--paper);font-family:var(--text);letter-spacing:0;font-kerning:normal;text-rendering:optimizelegibility;margin:0;font-size:16.5px;line-height:1.55}a{color:inherit;text-underline-offset:.18em;text-decoration-thickness:1px;-webkit-text-decoration-color:var(--hairline);text-decoration-color:var(--hairline)}a:hover{text-decoration-color:currentColor}:focus-visible{outline:2px solid var(--ink);outline-offset:2px}.masthead,.doorway,.colophon{max-width:var(--measure);padding:0 var(--gutter);margin:0 auto}.masthead{padding-top:30px;padding-bottom:28px}.masthead-top{flex-wrap:wrap;justify-content:space-between;align-items:baseline;gap:4px 24px;margin-bottom:10px;display:flex}.wordmark{letter-spacing:-.012em;margin:0;font-size:22px;font-weight:700;line-height:1.2}.wordmark-sub{color:var(--graphite);font-weight:400}.repo{letter-spacing:.008em;color:var(--pencil);font-size:14px}.repo:hover{color:var(--ink)}.lede{max-width:48em;color:var(--graphite);margin:0 0 4px}.privacy{letter-spacing:.008em;color:var(--pencil);margin:0;font-size:14px}.doorway{grid-template-columns:minmax(0,1fr);gap:56px;padding-bottom:64px;display:grid}@media (min-width:1180px){.doorway{grid-template-columns:minmax(0,1.1fr) minmax(0,1fr);gap:72px}}@media (max-width:1179px){.side-output{order:-1}}.beam{height:var(--beam);background:var(--ink);margin-bottom:18px}.head{flex-wrap:wrap;justify-content:space-between;align-items:baseline;gap:4px 20px;margin-bottom:10px;display:flex}.head-seed{margin-top:22px}.label{letter-spacing:-.004em;margin:0;font-size:16px;font-weight:700;line-height:1.3}.hint{letter-spacing:.012em;color:var(--pencil);font-variant-numeric:tabular-nums;margin:0;font-size:13.5px}.examples{letter-spacing:.008em;color:var(--pencil);margin:0;font-size:14px}.examples-lead{margin-right:10px}.example{appearance:none;font:inherit;letter-spacing:inherit;color:var(--graphite);cursor:pointer;text-underline-offset:.2em;text-decoration:underline;text-decoration-thickness:1px;-webkit-text-decoration-color:var(--hairline);text-decoration-color:var(--hairline);background:0 0;border:0;margin:0;padding:0}.example:hover{color:var(--ink);text-decoration-color:currentColor}.example[aria-pressed=true]{color:var(--ink);font-weight:700;text-decoration:none}.examples-sep{color:var(--hairline);margin:0 7px}.editor{background:var(--field);width:100%;color:var(--ink);font-family:var(--mono);letter-spacing:0;tab-size:2;resize:vertical;white-space:pre;overflow-wrap:normal;border:0;border-radius:0;margin:0;padding:14px 16px;font-size:13.5px;line-height:1.6;display:block;overflow-x:auto}.editor::placeholder{color:var(--pencil);opacity:1}.editor:focus-visible{outline-offset:0}.editor-migration{height:clamp(200px,100svh - 500px,417px)}.editor-seed{height:136px}.actions{flex-wrap:wrap;align-items:baseline;gap:8px 18px;margin-top:18px;display:flex}.run{appearance:none;background:var(--ink);color:var(--paper);font-family:var(--text);letter-spacing:.004em;cursor:pointer;border:0;border-radius:0;padding:9px 22px 10px;font-size:15px;font-weight:700}.run:disabled{background:var(--hairline);color:var(--graphite);cursor:default}.status{letter-spacing:.008em;color:var(--graphite);font-variant-numeric:tabular-nums;margin:0;font-size:14px}.status-key{color:var(--pencil)}.stop{appearance:none;font:inherit;color:var(--ink);cursor:pointer;text-underline-offset:.2em;background:0 0;border:0;margin-left:4px;padding:0;text-decoration:underline;text-decoration-thickness:1px}.beam.loading{background:var(--hairline)}.beam-fill{background:var(--ink);width:0;height:100%;transition:width .12s linear;display:none}.beam.loading .beam-fill{display:block}.results{font-family:var(--mono);letter-spacing:0;color:var(--ink);font-size:13.5px;line-height:1.6;overflow-x:auto}.results.stale,.results.stale .t-error,.results.stale .t-object,.results.stale .t-proven{color:var(--pencil)}.empty{font-family:var(--text);color:var(--graphite);margin:0;font-size:16.5px}.empty-more{letter-spacing:.008em;max-width:30em;color:var(--pencil);margin-top:6px;font-size:14px}.line{white-space:pre-wrap;overflow-wrap:anywhere;margin:0}.line-message,.line-head{text-indent:-8ch;padding-left:8ch}.gap{height:1.1em}.line-message+.line-head{margin-top:12px}.t-meta,.t-rule{color:var(--pencil)}.t-error{color:var(--rust);font-weight:700}.t-warn{color:var(--ink);font-weight:700}.t-info{color:var(--graphite)}.t-object{font-weight:700}.t-proven{color:var(--ink);font-weight:700}.t-text{color:var(--graphite)}.t-clean{color:var(--ink)}.t-code{color:var(--rust);font-weight:700}.t-dim{color:var(--pencil)}.colophon{padding-bottom:56px}.limits{border-top:1px solid var(--hairline);letter-spacing:.006em;max-width:40em;color:var(--graphite);margin:0 0 18px;padding-top:22px;font-size:14.5px}.credits{letter-spacing:.016em;color:var(--pencil);margin:0;font-size:13px}.inline-code{font-family:var(--mono);letter-spacing:0;color:var(--ink);white-space:nowrap;font-size:.92em}@media (max-width:520px){body{font-size:16px}.masthead{padding-top:28px;padding-bottom:30px}.wordmark{font-size:21px}.doorway{gap:44px}.editor-migration{height:300px}.results,.editor{font-size:13px}.editor{white-space:pre-wrap;overflow-wrap:anywhere;overflow-x:hidden}.inline-code{white-space:normal;overflow-wrap:anywhere}}