/* Lazy streams widget. Theme colors only; ruled rows, no cards. */

.w-demo {
  margin: 10px 0 8px;
  padding: 4px 0 8px;
  border-bottom: 1px solid var(--light-gray);
}
.w-demo:not(.w-ready)::before { content: "This demo needs JavaScript."; color: var(--gray); font-size: 0.9rem; }

.w-note { margin: 8px 0; font-size: 0.88rem; color: var(--dark-gray); max-width: 72ch; }
.w-mono { font-family: var(--code); font-size: 0.78rem; color: var(--gray); }
.w-big { margin: 14px 0 4px; font-family: var(--heading); font-size: 1rem; }

.w-actions { display: flex; flex-wrap: wrap; align-items: center; gap: 8px 10px; margin: 10px 0; }
.w-btn {
  appearance: none; min-height: 38px; padding: 7px 14px;
  border: 1px solid var(--primary); background: var(--primary); color: var(--background);
  font: inherit; font-family: var(--heading); font-size: 0.88rem; font-weight: var(--semi-bold);
  cursor: pointer; border-radius: 0;
}
.w-btn:hover { background: transparent; color: var(--primary); }
.w-btn-quiet { background: transparent; color: var(--primary); }
.w-btn-quiet:hover { background: var(--primary); color: var(--background); }
.w-btn.running { background: transparent; color: var(--accent); border-color: var(--accent); }
.w-btn:focus-visible, .seg-option:focus-visible, .ls-file:focus-visible { outline: 2px solid var(--accent); outline-offset: 2px; }

.seg { display: inline-flex; flex-wrap: wrap; border: 1px solid var(--light-gray); }
.seg-option {
  appearance: none; padding: 6px 10px; border: 0; border-right: 1px solid var(--light-gray);
  background: transparent; color: var(--text); font: inherit; font-family: var(--code); font-size: 0.78rem;
  cursor: pointer; border-radius: 0; min-height: 34px;
}
.seg-option:last-child { border-right: 0; }
.seg-option[aria-checked="true"], .seg-option[aria-pressed="true"] { background: var(--light-gray); color: var(--accent); }
.ls-primes .seg-option { min-width: 40px; }

.ls-ctl { display: flex; flex-wrap: wrap; align-items: center; gap: 4px 8px; margin: 8px 0; padding-top: 6px; border-top: 1px solid var(--light-gray); }
.ls-ctl-label { font-family: var(--code); font-size: 0.75rem; color: var(--gray); min-width: 4.5rem; }

/* token rows */
.ls-tokens { display: flex; flex-wrap: wrap; gap: 4px; margin: 8px 0; min-height: 34px; align-items: flex-start; }
.ls-token {
  display: inline-flex; flex-direction: column; align-items: center; min-width: 30px; padding: 4px 7px;
  border-bottom: 2px solid var(--primary); font-family: var(--code); font-size: 0.85rem; color: var(--text);
}
.ls-token small { font-size: 0.66rem; color: var(--gray); }
.ls-token.next { border-bottom-style: dashed; border-bottom-color: var(--gray); color: var(--gray); }
.ls-token.dup { border-bottom-color: var(--accent); color: var(--accent); }
.ls-token.over { border-bottom-color: var(--accent); }
.ls-token.over::after { content: "> int"; font-size: 0.6rem; color: var(--accent); }
.ls-token.cycle { border-bottom-color: var(--accent); color: var(--accent); font-family: var(--heading); }
.ls-empty { font-size: 0.85rem; color: var(--gray); padding: 6px 0; }
.ls-readout { margin: 6px 0; font-size: 0.95rem; max-width: 72ch; }
.ls-readout strong { color: var(--accent); }
.ls-readout .w-mono { display: block; margin-top: 4px; }
.ls-check { margin: 6px 0; font-size: 0.9rem; color: var(--dark-gray); max-width: 72ch; }
.ls-check strong { color: var(--primary); }

/* charts and diagrams */
.ls-tree, .ls-chart, .ls-eager, .ls-graph { display: block; width: 100%; max-width: 760px; height: auto; margin: 8px 0; overflow: visible; }
.c-grid { stroke: var(--light-gray); stroke-width: 1; }
.c-tick { fill: var(--gray); font-family: var(--code); font-size: 11px; }
.c-label { fill: var(--dark-gray); font-family: var(--code); font-size: 11px; }

.ls-edge { stroke: var(--light-gray); stroke-width: 1.5; }
.ls-edge.next { stroke: var(--accent); stroke-width: 2; }
.ls-node { fill: var(--background-alt); stroke: var(--gray); stroke-width: 1; }
.ls-node.next { stroke: var(--accent); stroke-width: 2; }
.ls-node.empty { stroke-dasharray: 3 3; opacity: 0.7; }
.ls-node.k-Hamming, .ls-node.k-List, .ls-node.k-Successor { fill: var(--background); }
.ls-node-kind { fill: var(--text); font-family: var(--code); font-size: 11px; }
.ls-node-head { fill: var(--primary); font-family: var(--code); font-size: 11px; }

.ls-line { fill: none; stroke-width: 2; }
.ls-line.paper { stroke: var(--accent); }
.ls-line.memo { stroke: var(--primary); }
.ls-dot.paper { fill: var(--accent); }
.ls-dot.memo { fill: var(--primary); }
.c-label.paper { fill: var(--accent); }
.c-label.memo { fill: var(--primary); }

.ls-lane-title { fill: var(--text); font-family: var(--heading); font-size: 12px; }
.ls-frame { fill: var(--background-alt); stroke: var(--accent); stroke-width: 1; }
.ls-frame-text { fill: var(--text); font-family: var(--code); font-size: 10px; }
.ls-lazy-token { fill: var(--primary); font-family: var(--code); font-size: 11px; }

.ls-dep { stroke: var(--gray); stroke-width: 1.5; fill: none; }
.ls-dep.back { stroke: var(--accent); stroke-dasharray: 4 3; }
.ls-arrowhead { fill: var(--gray); }
.ls-vert { fill: var(--background-alt); stroke: var(--primary); stroke-width: 1.5; }
.ls-vert.done { fill: var(--primary); }
.ls-vert.head { fill: var(--background-alt); stroke: var(--accent); stroke-width: 3; }
.ls-vert.cycle { stroke: var(--accent); stroke-width: 3; stroke-dasharray: 4 3; }
.ls-vert-label { fill: var(--text); font-family: var(--code); font-size: 13px; }
.ls-vert-label.done { fill: var(--background); }

.ls-file { width: 100%; max-width: 420px; font-family: var(--code); font-size: 0.82rem; color: var(--text); background: var(--background-alt); border: 1px solid var(--light-gray); border-radius: 0; padding: 6px 8px; }
.ls-file-row { margin-top: 8px; padding-top: 6px; border-top: 1px solid var(--light-gray); }

/* tables */
.ls-table-wrap { overflow-x: auto; max-width: 760px; }
.paper-body .results-table { width: 100%; min-width: 420px; border-collapse: collapse; margin: 12px 0; overflow-wrap: normal; }
.paper-body .results-table th, .paper-body .results-table td { padding: 5px 7px; border-bottom: 1px solid var(--light-gray); text-align: left; vertical-align: middle; }
.paper-body .results-table caption { text-align: left; }
.paper-body .results-table th { font-family: var(--code); font-size: 0.75rem; color: var(--gray); font-weight: 500; }
.ls-num { font-family: var(--code); font-size: 0.8rem; white-space: nowrap; }
.paper-body .ls-stir td.on { background: var(--background-alt); color: var(--accent); }
.paper-body .ls-stir td.src { background: var(--background-alt); color: var(--primary); }
.paper-body .ls-stir td.pending { color: var(--gray); }

.paper-body li { text-align: left; }