.ct-panelbox{margin-bottom:var(--dv-gap);padding:10px 12px;border:1px solid var(--dv-border);border-radius:var(--dv-radius);background:var(--dv-surface)}.dv.dv .ct-given{margin:0;font-size:12.5px;color:var(--dv-muted)}.dv.dv .ct-src{margin:8px 0 0;padding:8px 10px;border-radius:6px;background:var(--dv-inset);font-size:12px;line-height:1.7;white-space:pre-wrap;overflow-wrap:anywhere}.dv.dv .ct-laws{border:1px solid var(--dv-border);border-radius:var(--dv-radius);overflow:hidden;background:var(--dv-surface)}.dv.dv .ct-laws td{vertical-align:middle}.dv.dv .ct-laws .ct-law-name{white-space:nowrap;font-weight:700}.dv.dv .ct-laws .ct-expr{display:block;margin-bottom:3px;background:0 0;padding:0;color:var(--dv-muted)}.ct-val{display:block;font-weight:700;font-variant-numeric:tabular-nums;overflow-wrap:anywhere}.dv.dv .ct-laws .ct-verdict{width:2.6em;text-align:center;font-size:16px;font-weight:700}.dv.dv .ct-laws tr.is-ok .ct-verdict{color:var(--dv-ok)}.dv.dv .ct-laws tr.is-ng{background:var(--dv-danger-soft)}.dv.dv .ct-laws tr.is-ng .ct-verdict{color:var(--dv-danger)}.ct-steps{display:grid;grid-template-columns:repeat(auto-fit,minmax(min(100%,210px),1fr));gap:8px;margin-bottom:var(--dv-gap)}.ct-step{padding:7px 9px;border:1px solid var(--dv-border);border-radius:7px;background:var(--dv-surface);font-size:12px}.dv.dv .ct-step code{display:block;margin-bottom:2px;padding:0;background:0 0;font-size:12.5px;font-weight:700}.ct-step span{color:var(--dv-muted)}.ct-chain-wrap{margin-bottom:var(--dv-gap)}.ct-chain{display:flex;align-items:center;gap:6px;min-width:700px;padding-bottom:4px}.ct-cell{flex:1;min-width:0;padding:8px;border:1px solid var(--dv-border);border-radius:var(--dv-radius);background:var(--dv-surface)}.dv.dv .ct-cell .ct-op{display:block;margin-bottom:6px;padding:2px 5px;border-radius:3px;background:var(--dv-inset);font-size:11px;overflow-wrap:anywhere}.ct-arrow{flex:none;color:var(--dv-muted);font-size:15px}.ct-cell.is-pending,.ct-arrow.is-pending{opacity:.28}.ct-cell.is-current{border-color:var(--dv-accent);box-shadow:0 0 0 3px var(--dv-accent-soft)}.ct-cell,.ct-arrow{transition:opacity .25s ease,box-shadow .25s ease,border-color .25s ease}.ct-type{display:block;margin-top:6px;font-size:10.5px;font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;color:var(--dv-muted)}.ct-ctx{padding:5px 6px;border:1.5px solid var(--dv-accent);border-radius:6px;background:var(--dv-accent-soft)}.ct-ctx .ct-ctx{margin-top:4px}.ct-ctx.is-nothing{border-color:var(--dv-danger);background:var(--dv-danger-soft)}.ct-ctx-tag{display:block;font-size:10px;font-weight:700;letter-spacing:.04em;color:var(--dv-accent-dark)}.ct-ctx.is-nothing .ct-ctx-tag{color:var(--dv-danger)}.ct-leafval{display:block;padding-top:2px;font-size:16px;font-weight:700;font-variant-numeric:tabular-nums}.ct-join{padding:10px 12px;border:1px solid var(--dv-border);border-radius:var(--dv-radius);background:var(--dv-surface)}.ct-eq-line{display:flex;flex-wrap:wrap;align-items:baseline;gap:6px;padding:3px 0}.ct-eq-sign{color:var(--dv-muted)}.dv.dv .ct-eq-res{font-weight:700}.ct-chain.is-stacked{flex-direction:column;align-items:stretch;min-width:0}.ct-chain.is-stacked .ct-cell{flex:none}.ct-chain.is-stacked .ct-arrow{align-self:center;transform:rotate(90deg)}