/* primality-test: SICP 1.2.6 trace explorer. Reuses the site's :root
   tokens (--bg, --bg-content, --text, --text-secondary, --accent,
   --accent-light, --border, --code-bg) from style.css. Light-only, like
   the rest of the site -- no dark-mode block. */

#tool-root { font-size: 15px; }
#tool-root button, #tool-root input, #tool-root select { font: inherit; }

.pt-controls {
    display: grid;
    grid-template-columns: 1.2fr 1fr;
    gap: 28px;
    margin: 1rem 0;
    padding: 1rem 0;
    border-top: 1px solid var(--border);
    border-bottom: 1px solid var(--border);
}
.pt-ctl > label, .pt-ctl > .pt-lbl { display: block; font-weight: 600; margin-bottom: 6px; }
.pt-nrow { display: flex; align-items: center; gap: 10px; flex-wrap: wrap; }
.pt-nval { font: 600 28px/1 monospace; color: var(--accent); }
.pt-nrow input[type=text] { width: 18ch; font-family: monospace; padding: 6px 9px; border: 1px solid var(--border); border-radius: 4px; }
.pt-nrow button, .pt-opt button { border: 1px solid var(--border); background: var(--bg-content); border-radius: 4px; padding: 5px 10px; cursor: pointer; font-size: 13px; }
.pt-nrow button:hover, .pt-opt button:hover { border-color: var(--accent); }
.pt-hint { color: var(--text-secondary); font-size: 13px; margin-top: 6px; }
.pt-presets { display: flex; flex-wrap: wrap; gap: 6px; margin-top: 10px; }
.pt-presets button { border: 1px solid var(--border); background: transparent; border-radius: 14px; padding: 2px 10px; font-size: 13px; cursor: pointer; }
.pt-presets button:hover { border-color: var(--accent); }
.pt-presets button b { font: 600 13px monospace; margin-right: 4px; }
.pt-err { color: #c2413b; font-size: 13px; margin-top: 6px; }
.pt-err[hidden] { display: none; }

.pt-seg { display: inline-flex; border: 1px solid var(--border); border-radius: 5px; overflow: hidden; background: var(--bg-content); }
.pt-seg label { position: relative; }
.pt-seg input { position: absolute; opacity: 0; inset: 0; margin: 0; cursor: pointer; }
.pt-seg span { display: block; padding: 6px 14px; font-size: 14px; border-right: 1px solid var(--border); cursor: pointer; }
.pt-seg label:last-child span { border-right: 0; }
.pt-seg input:checked + span { background: var(--accent); color: #fff; }
.pt-opts { margin-top: 14px; display: grid; gap: 10px; }
.pt-opt[hidden] { display: none; }
.pt-opt { display: flex; align-items: center; gap: 10px; flex-wrap: wrap; font-size: 14px; }
.pt-opt input[type=text] { width: 20ch; font-family: monospace; padding: 5px 9px; border: 1px solid var(--border); border-radius: 4px; }
.pt-chk { display: inline-flex; align-items: center; gap: 8px; cursor: pointer; }

.pt-result { padding: 0.75rem 0 0.25rem; }
.pt-answer { font-size: 19px; line-height: 1.35; }
.pt-answer b { font-weight: 700; }
.pt-compare { color: var(--text-secondary); margin-top: 6px; }

.pt-transport { position: sticky; top: 0; z-index: 2; background: var(--bg); padding: 10px 0; border-bottom: 1px solid var(--border); }
.pt-tbar { display: flex; flex-wrap: wrap; align-items: center; gap: 8px; }
.pt-tbar button { min-width: 34px; height: 30px; border: 1px solid var(--border); background: var(--bg-content); border-radius: 4px; cursor: pointer; padding: 0 8px; }
.pt-tbar button:hover { border-color: var(--accent); }
.pt-tbar .pt-play { min-width: 60px; background: var(--accent); border-color: var(--accent); color: #fff; font-weight: 600; }
#pt-step-range { accent-color: var(--accent); flex: 1; min-width: 160px; }
.pt-steplabel { font: 13px monospace; color: var(--text-secondary); min-width: 14ch; text-align: right; }
.pt-speed { font-size: 13px; color: var(--text-secondary); display: inline-flex; align-items: center; gap: 6px; }
#pt-strip { display: block; width: 100%; height: 56px; margin-top: 8px; cursor: crosshair; border-radius: 3px; }
.pt-caption { color: var(--text-secondary); font-size: 13px; margin: 4px 0 0; }

.pt-work { display: grid; grid-template-columns: minmax(0, 1fr) 360px; gap: 16px; margin-top: 16px; }
.pt-panel { background: var(--bg-content); border: 1px solid var(--border); border-radius: 6px; padding: 14px 16px; min-width: 0; }
.pt-panel h2 { font-size: 14px; margin: 0 0 10px; }
.pt-side { display: grid; gap: 16px; align-content: start; min-width: 0; }
.pt-blocked { color: #c2413b; max-width: 65ch; }

.pt-chips { display: flex; flex-wrap: wrap; gap: 6px; margin-bottom: 12px; }
.pt-chips button { font: 12.5px monospace; border: 1px solid var(--border); background: transparent; border-radius: 4px; padding: 3px 9px; cursor: pointer; }
.pt-chips button.pt-run { border-color: var(--accent); background: var(--accent-light); }
.pt-chips button.pt-pass { border-color: #178577; color: #178577; }
.pt-chips button.pt-wit { border-color: #c2413b; color: #c2413b; }
.pt-chips button.pt-skip { color: #9aa5ae; border-style: dashed; }
.pt-expline { font: 12.5px monospace; color: var(--text-secondary); margin-bottom: 8px; overflow-wrap: anywhere; }

.pt-tablewrap { max-height: 440px; overflow: auto; border-top: 1px solid var(--border); margin: 0 -16px; }
table.pt-wt { border-collapse: collapse; width: 100%; font: 12.5px/1.5 monospace; }
table.pt-wt th { position: sticky; top: 0; background: var(--bg-content); text-align: left; font: 600 12.5px sans-serif; color: var(--text-secondary); padding: 6px 8px; border-bottom: 1px solid var(--border); }
table.pt-wt td { padding: 3px 8px; border-bottom: 1px solid var(--border); white-space: nowrap; }
table.pt-wt tr.pt-pend td { color: #9aa5ae; }
table.pt-wt tr.pt-cur td { background: var(--accent-light); }
table.pt-wt tr.pt-cur td:first-child { box-shadow: inset 3px 0 0 var(--accent); }
table.pt-wt tr.pt-more td { color: var(--text-secondary); font-family: sans-serif; text-align: center; }
table.pt-wt td.pt-num { text-align: right; }
.pt-tag-pass { color: #178577; font-weight: 600; }
.pt-tag-wit { color: #c2413b; font-weight: 600; }

.pt-triallist { list-style: none; margin: 10px 0 0; padding: 0; font: 12.5px/1.7 monospace; }
.pt-triallist li { padding: 0 8px; border-left: 3px solid transparent; }
.pt-triallist li.pt-top { border-left-color: var(--accent); background: var(--accent-light); }
.pt-triallist .pt-no { color: var(--text-secondary); }
.pt-triallist .pt-yes { color: #c2413b; font-weight: 600; }
.pt-triallist .pt-pr { color: #178577; font-weight: 600; }

.pt-code { font: 12.5px/1.65 monospace; margin: 0; background: var(--code-bg); padding: 8px; border-radius: 4px; overflow-x: auto; }
.pt-code .pt-ln { display: block; padding: 0 6px; border-left: 3px solid transparent; white-space: pre; }
.pt-code .pt-ln.pt-off { color: #9aa5ae; }
.pt-code .pt-ln.pt-hl { background: var(--accent-light); border-left-color: var(--accent); }
.pt-event { margin-top: 10px; padding-top: 8px; border-top: 1px solid var(--border); min-height: 4em; font-size: 13.5px; overflow-wrap: anywhere; }

.pt-stack { list-style: none; margin: 0; padding: 0; font: 12.5px/1.6 monospace; }
.pt-stack li { padding: 2px 6px; border-left: 3px solid transparent; white-space: nowrap; overflow: hidden; text-overflow: ellipsis; }
.pt-stack li.pt-top { border-left-color: var(--accent); background: var(--accent-light); }
.pt-stack li.pt-note, .pt-stack li.pt-more { color: var(--text-secondary); font-family: sans-serif; white-space: normal; }

.pt-mappanel { margin-top: 16px; }
.pt-mapwrap { margin-top: 10px; overflow: auto; }
#pt-map { display: block; cursor: pointer; }
#pt-map-hover { font-size: 13px; margin-top: 6px; min-height: 1.5em; color: var(--text-secondary); }
.pt-legend { display: flex; flex-wrap: wrap; gap: 14px; font-size: 13px; color: var(--text-secondary); margin-top: 8px; }
.pt-legend span { display: inline-flex; align-items: center; gap: 6px; }
.pt-sw { width: 12px; height: 12px; display: inline-block; border-radius: 2px; }

@media (max-width: 920px) {
    .pt-controls { grid-template-columns: 1fr; }
    .pt-work { grid-template-columns: 1fr; }
}