body{margin:0}
[hidden]{display:none!important}
/* Layout: drafting-table split. Code on the left with its findings underneath, the chart on a gridded sheet on the right, drawn with the old IBM flowchart stencil. */
:root{
  --bg:#e7ece9; --panel:#f8faf9; --ink:#14201a; --muted:#5a6a62; --rule:#c9d4ce;
  --line:#3b4b43; --accent:#0e7a55; --accent-soft:#d3eadf; --grid:#d9e2dd; --shape:#ffffff;
  --err:#b5372a; --err-soft:#f5dbd6; --warn:#8a5a0e; --warn-soft:#f1e4c9; --band:#e2eae6;
  --f-ui:"IBM Plex Sans Condensed","Arial Narrow",system-ui,sans-serif;
  --f-code:"IBM Plex Mono",ui-monospace,Menlo,Consolas,monospace;
}
@media (prefers-color-scheme: dark){:root:not([data-theme="light"]){
  --bg:#0d1311; --panel:#131b18; --ink:#e1e9e5; --muted:#8c9e96; --rule:#24312b;
  --line:#a6b9b0; --accent:#3cc28f; --accent-soft:#15352a; --grid:#18221e; --shape:#17211d;
  --err:#ff7b67; --err-soft:#3a1c18; --warn:#e2ad57; --warn-soft:#30261a; --band:#1a2420; color-scheme:dark}}
:root[data-theme="dark"]{
  --bg:#0d1311; --panel:#131b18; --ink:#e1e9e5; --muted:#8c9e96; --rule:#24312b;
  --line:#a6b9b0; --accent:#3cc28f; --accent-soft:#15352a; --grid:#18221e; --shape:#17211d;
  --err:#ff7b67; --err-soft:#3a1c18; --warn:#e2ad57; --warn-soft:#30261a; --band:#1a2420; color-scheme:dark}

html,body{height:100%}
body{background:var(--bg);color:var(--ink);font-family:var(--f-ui);font-size:15px}
.app{height:100%;display:flex;flex-direction:column;gap:12px;box-sizing:border-box;
  padding-left:max(16px,env(safe-area-inset-left,0px));padding-right:max(16px,env(safe-area-inset-right,0px));padding-block:14px}
header.top{display:flex;flex-wrap:wrap;align-items:flex-end;justify-content:space-between;gap:10px 28px}
.brand{display:flex;flex-direction:column;gap:4px;min-width:0}
.brand h1{margin:0;font-size:28px;font-weight:700;letter-spacing:-.01em;line-height:1}
.brand h1 span{color:var(--accent)}
.brand p{margin:0;font-size:17px;font-weight:500;text-wrap:balance}
.steps{display:flex;flex-wrap:wrap;gap:6px;margin:0;padding:0;list-style:none;counter-reset:s}
.steps li{counter-increment:s;display:flex;align-items:baseline;gap:6px;font-size:13px;color:var(--muted);background:var(--panel);border:1px solid var(--rule);border-radius:4px;padding:5px 10px 5px 8px}
.steps li::before{content:counter(s);font:600 11px var(--f-code);color:var(--accent)}
.steps b{color:var(--ink);font-weight:600}

main.split{flex:1;min-height:0;display:grid;grid-template-columns:minmax(320px,40%) 1fr;gap:12px}
.pane{background:var(--panel);border:1px solid var(--rule);border-radius:6px;display:flex;flex-direction:column;min-width:0;min-height:0;overflow:hidden}
.bar{display:flex;align-items:center;flex-wrap:wrap;gap:8px 8px;padding:8px 10px;border-bottom:1px solid var(--rule);min-height:36px}
.lbl{font-size:11.5px;letter-spacing:.09em;text-transform:uppercase;color:var(--muted);font-weight:600}
select,button{font:500 13px var(--f-ui);color:var(--ink);background:var(--bg);border:1px solid var(--rule);border-radius:4px;padding:5px 9px;cursor:pointer;max-width:100%}
button:hover,select:hover{border-color:var(--line)}
button:focus-visible,select:focus-visible{outline:2px solid var(--accent);outline-offset:1px}
button.pri{background:var(--accent);border-color:var(--accent);color:var(--panel);font-weight:600}
.seg{display:inline-flex;border:1px solid var(--rule);border-radius:4px;overflow:hidden}
.seg button{border:0;border-radius:0;background:transparent;padding:5px 10px}
.seg button+button{border-left:1px solid var(--rule)}
.seg button[aria-pressed="true"]{background:var(--ink);color:var(--panel)}
.tools{display:flex;gap:6px;margin-left:auto;flex-wrap:wrap}
.tools .z{width:32px;padding-inline:0;font-family:var(--f-code)}
.stats{font-family:var(--f-code);font-size:12px;color:var(--muted);font-variant-numeric:tabular-nums;width:100%}
.stats b{color:var(--ink);font-weight:600}

.editor{flex:1;min-height:180px;display:flex;position:relative;font:13px/20px var(--f-code)}
.gutter{flex:none;width:40px;overflow:hidden;border-right:1px solid var(--rule);color:var(--muted);text-align:right;user-select:none;background:var(--panel)}
.gutter .in{padding:12px 8px 0 0}
.gutter .in div{height:20px;font-variant-numeric:tabular-nums}
.gutter .in .err{color:var(--err);font-weight:600}
.gutter .in .flag{color:var(--warn);font-weight:600}
.code{position:relative;flex:1;min-width:0;overflow:hidden}
.band{position:absolute;left:0;right:0;height:20px;pointer-events:none;background:var(--band)}
.band.err{background:var(--err-soft);box-shadow:inset 3px 0 0 var(--err)}
textarea#src{position:absolute;inset:0;width:100%;height:100%;box-sizing:border-box;margin:0;border:0;resize:none;background:transparent;color:var(--ink);
  font:inherit;padding:12px 14px;white-space:pre;overflow:auto;tab-size:4;caret-color:var(--accent);z-index:1}
textarea#src:focus-visible{outline:none}

.find{border-top:1px solid var(--rule);display:flex;flex-direction:column;max-height:42%;min-height:0}
.find .bar{border-bottom:0;padding-bottom:4px}
.find .bar .tools{margin-left:auto}
.list{overflow:auto;padding:0 10px 10px;display:flex;flex-direction:column;gap:5px;font-size:13.5px}
.size{font-size:12.5px;color:var(--muted);padding:0 10px 6px;font-variant-numeric:tabular-nums}
.size b{color:var(--ink)}
.st{display:flex;gap:8px;align-items:baseline;text-align:left;border-radius:4px;padding:6px 9px;border:0;width:100%;box-sizing:border-box;font:inherit;line-height:1.35;color:var(--ink)}
.st b{font-weight:700;white-space:nowrap;font-variant-numeric:tabular-nums}
.st.ok{background:var(--accent-soft);cursor:default}
.st.ok b{color:var(--accent)}
.st.err{background:var(--err-soft)}
.st.err b{color:var(--err)}
.st.risk{background:var(--warn-soft)}
.st.risk b{color:var(--warn)}
.st.note{background:var(--bg)}
.st.note b{color:var(--muted)}

.sheet{flex:1;min-height:0;overflow:auto;position:relative;background-color:var(--panel);
  background-image:linear-gradient(var(--grid) 1px,transparent 1px),linear-gradient(90deg,var(--grid) 1px,transparent 1px);background-size:20px 20px}
.canvas{padding:16px;display:flex;justify-content:center;min-width:min-content;transition:opacity .2s,filter .2s}
.canvas svg{display:block;flex:none}
.sheet.stale .canvas{opacity:.28;filter:grayscale(1)}
.stamp{position:sticky;top:18px;margin:0 auto;width:max-content;max-width:calc(100% - 40px);z-index:2;height:0;overflow:visible}
.stamp div{transform:rotate(-2.5deg);border:3px solid var(--err);color:var(--err);background:var(--panel);padding:8px 14px 9px;border-radius:4px;text-align:center}
.stamp strong{display:block;font-size:26px;letter-spacing:.18em;line-height:1}
.stamp span{font-size:13.5px;font-weight:500}

.walk{border-top:1px solid var(--rule);padding:10px 12px;display:flex;flex-wrap:wrap;gap:10px 14px;align-items:center;background:var(--accent-soft)}
.walk .wq{flex:1 1 260px;min-width:0}
.walk .ws{font:600 11.5px var(--f-ui);letter-spacing:.09em;text-transform:uppercase;color:var(--accent)}
.walk p{margin:2px 0 0;font-size:15.5px;font-weight:500;line-height:1.35}
.walk .wb{display:flex;gap:6px}

.key{display:flex;flex-wrap:wrap;gap:4px 14px;margin:0;padding:8px 10px;list-style:none;border-top:1px solid var(--rule)}
.key li{display:flex;align-items:center;gap:6px;font-size:12px;color:var(--muted)}
.key svg{flex:none}
.key .k1{fill:var(--shape);stroke:var(--ink);stroke-width:1.3}
.key .k2{fill:var(--ink)}
.key .k3{fill:var(--accent-soft);stroke:var(--accent);stroke-width:1.3}
.key .k4{fill:none;stroke:var(--accent);stroke-width:1.3;stroke-dasharray:3 2}
.key .k5{fill:var(--err-soft);stroke:var(--err);stroke-width:1.3}

.fl .fl-edge{stroke:var(--line);stroke-width:1.5;fill:none;stroke-linejoin:round;stroke-linecap:round}
.fl .fl-edge.dash{stroke-dasharray:5 4}
.fl .fl-head,.fl .fl-dot{fill:var(--line)}
.fl .fl-lab{fill:var(--muted);font:600 10.5px var(--f-ui);letter-spacing:.08em}
.fl .fl-grp rect{fill:none;stroke:var(--muted);stroke-width:1.2;stroke-dasharray:4 4}
.fl .fl-grp text{fill:var(--muted);font:600 10.5px var(--f-ui);letter-spacing:.12em}
.fl .node{cursor:pointer}
.fl .node .sh{fill:var(--shape);stroke:var(--ink);stroke-width:1.5}
.fl .node .tm{fill:var(--ink);font:500 13px var(--f-ui)}
.fl .node .tm.mono{font:12.5px var(--f-code)}
.fl .node .tc{fill:var(--muted);font:11.5px var(--f-code)}
.fl .node .bar2{stroke:var(--ink);stroke-width:1.5}
.fl .node.k-decision .sh,.fl .node.k-prep .sh{fill:var(--accent-soft);stroke:var(--accent)}
.fl .node.k-term .sh{fill:var(--ink);stroke:var(--ink)}
.fl .node.k-term .tm{fill:var(--panel);font-weight:600}
.fl .node.k-term .tc{fill:var(--panel);opacity:.7}
.fl .node.k-jump .sh{fill:var(--panel);stroke:var(--accent);stroke-dasharray:4 3}
.fl .node.k-jump .tm{fill:var(--accent)}
.fl .node.k-fail .sh{fill:var(--err-soft);stroke:var(--err)}
.fl .node.k-fail .tm{fill:var(--err);font-weight:600}
.fl .node.implicit .sh{fill:none;stroke:var(--muted);stroke-dasharray:4 3}
.fl .node.implicit .tm{fill:var(--muted);font-weight:500}
.fl .node:hover .sh{stroke-width:2.5}
.fl .node.active .sh,.fl .node.wt-cur .sh{stroke:var(--err);stroke-width:3}
.fl .node.flagged .sh{stroke:var(--warn);stroke-width:2.5}
.fl [data-at],.fl [data-i]{transition:opacity .25s}
.fl .wt-ghost{opacity:.07}

.toast{position:fixed;left:50%;bottom:calc(20px + env(safe-area-inset-bottom,0px));transform:translateX(-50%);background:var(--ink);color:var(--panel);padding:8px 14px;border-radius:4px;font-size:14px;z-index:20;max-width:calc(100% - 40px)}

@media (max-width:860px){
  html,body{height:auto}
  .app{height:auto}
  main.split{grid-template-columns:1fr}
  .editor{height:320px;flex:none}
  .find{max-height:none}
  .sheet{min-height:460px;flex:none}
  .brand h1{font-size:24px}
}
@media (prefers-reduced-motion:reduce){.canvas,.fl [data-at],.fl [data-i]{transition:none}}
