.tboard{--tb-sunken:#eef1f0;--tb-navy:#10281c;--tb-plan-bg:#e0e7ff;--tb-plan-fg:#3730a3}.tboard .tb-head h3{letter-spacing:-.01em;color:var(--foreground);margin:0;font-size:16px;font-weight:600}.tboard .tb-head p{color:var(--muted-foreground);margin-top:2px;font-size:12.5px}.tboard .tb-laws{flex-wrap:wrap;align-items:center;gap:6px;margin:14px 0 12px;display:flex}.tboard .tb-laws-label{font-family:var(--font-mono);letter-spacing:.06em;text-transform:uppercase;color:var(--fg3);margin-right:2px;font-size:11px;font-weight:600}.tboard .tb-pill{font-family:var(--font-body);border:1px solid var(--border);background:var(--card);color:var(--muted-foreground);cursor:pointer;transition:background .2s var(--ease-standard), color .2s var(--ease-standard), border-color .2s var(--ease-standard);border-radius:999px;padding:5px 11px;font-size:12.5px}.tboard .tb-pill.on{background:var(--tb-navy);border-color:var(--tb-navy);color:#fff}.tboard .tb-banner{border-left:3px solid var(--primary);background:var(--tb-sunken);color:var(--muted-foreground);border-radius:0 14px 14px 0;margin:0 0 12px;padding:9px 13px;font-size:12.5px;line-height:1.55}.tboard .tb-banner b{color:var(--foreground)}.tboard .tb-hint{border:1px solid var(--border);background:var(--tb-sunken);min-height:18px;color:var(--muted-foreground);border-radius:14px;margin-bottom:12px;padding:9px 13px;font-size:12.5px}.tboard .tb-hint b{color:var(--foreground)}.tboard .tb-hint-none{color:var(--fg3)}.tboard .tb-endpoint{color:var(--tb-plan-fg);font-weight:700}.tboard .tb-legend{flex-wrap:wrap;gap:12px;margin:0 0 12px 2px;display:flex}.tboard .tb-legend-item{font-family:var(--font-mono);color:var(--muted-foreground);align-items:center;gap:6px;font-size:10.5px;font-weight:700;display:inline-flex}.tboard .tb-swatch{border-radius:3px;flex:none;width:9px;height:9px}.tboard .tb-board{grid-template-columns:repeat(4,1fr);gap:14px;display:grid;position:relative}.tboard .tb-svg{pointer-events:none;z-index:0;position:absolute;inset:0;overflow:visible}.tboard .tb-col{z-index:1;border:1px solid var(--border);border-top:3px solid var(--fg3);background:var(--tb-sunken);border-radius:14px;padding:10px;position:relative}.tboard .tb-col-head{font-family:var(--font-mono);letter-spacing:.04em;text-transform:uppercase;color:var(--fg3);margin-bottom:8px;font-size:11px;font-weight:600}.tboard .tb-col-sub{text-transform:none;letter-spacing:0;color:color-mix(in srgb, var(--fg3) 70%, transparent);font-weight:400}.tboard .tb-col-body{flex-direction:column;gap:7px;max-height:540px;display:flex;overflow:auto}.tboard .tb-node{border:1px solid var(--border);background:var(--card);color:var(--muted-foreground);cursor:pointer;transition:box-shadow .2s var(--ease-standard), opacity .2s var(--ease-standard);border-radius:16px;padding:7px 10px;font-size:12px;line-height:1.3}.tboard .tb-node b{color:var(--foreground)}.tboard .tb-node.prove{cursor:default;color:var(--tb-plan-fg);border-color:var(--tb-plan-bg);background:linear-gradient(135deg, var(--tb-plan-bg), var(--card));font-weight:600}.tboard .tb-node[data-state=sel]{box-shadow:0 0 0 2px var(--tb-navy) inset, 0 6px 16px color-mix(in srgb, var(--tb-navy) 18%, transparent)}.tboard .tb-node[data-state=lit]{box-shadow:0 0 0 2px var(--primary) inset, 0 4px 14px color-mix(in srgb, var(--primary) 16%, transparent)}.tboard .tb-node[data-state=dim]{opacity:.2;filter:grayscale(.4)}.tboard .tb-emits{flex-wrap:wrap;gap:4px;margin-top:4px;display:flex}.tboard .tb-emit{background:var(--tb-plan-bg);color:var(--tb-plan-fg);font-family:var(--font-mono);border-radius:6px;padding:1px 4px;font-size:9px;font-weight:500}@media (width<=760px){.tboard .tb-board{grid-template-columns:1fr}.tboard .tb-svg{display:none}.tboard .tb-col-body{max-height:none}}.tb-pill{--hit-min:39px}