/* symbolic-algebra: SICP 2.5 dispatch trace explorer. Reuses the site's
   :root tokens (--bg, --bg-content, --text, --text-secondary, --accent,
   --accent-light, --border, --code-bg) from style.css. */

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

.sa-controls {
    display: grid;
    grid-template-columns: 1fr 1fr auto 1.4fr;
    gap: 16px;
    align-items: end;
    margin: 1rem 0;
    padding: 1rem 0;
    border-top: 1px solid var(--border);
    border-bottom: 1px solid var(--border);
}
.sa-ctl label { display: block; font-weight: 600; margin-bottom: 6px; }
#sa-p, #sa-q { width: 100%; font-family: monospace; padding: 6px 8px; border: 1px solid var(--border); border-radius: 4px; }
.sa-presets { display: flex; flex-wrap: wrap; gap: 6px; align-items: center; }
.sa-preset { border: 1px solid var(--border); background: transparent; border-radius: 14px; padding: 4px 10px; font-size: 13px; cursor: pointer; }
.sa-preset:hover { border-color: var(--accent); }

.sa-toggles { display: flex; flex-wrap: wrap; gap: 18px; align-items: center; margin: 0.75rem 0 1rem; font-size: 13.5px; color: var(--text-secondary); }
.sa-toggles select { padding: 3px 6px; border: 1px solid var(--border); border-radius: 4px; }
.sa-switch { display: inline-flex; align-items: center; gap: 6px; cursor: pointer; }

.sa-result { padding: 0.25rem 0 0.75rem; }
.sa-answer { font-size: 20px; font-family: monospace; }
.sa-answer.sa-err { color: #c2413b; font-size: 15px; font-family: inherit; }
.sa-empty { color: var(--text-secondary); }

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

.sa-work { display: grid; grid-template-columns: minmax(0, 1fr) 360px; gap: 16px; margin-top: 16px; }
.sa-panel { background: var(--bg-content); border: 1px solid var(--border); border-radius: 6px; padding: 14px 16px; min-width: 0; }
.sa-panel h2 { font-size: 14px; margin: 0 0 10px; }
.sa-side { display: grid; gap: 16px; align-content: start; min-width: 0; }
.sa-caption { color: var(--text-secondary); font-size: 13px; margin: 0 0 8px; }

/* dispatch table grid */
.sa-tbl { border-collapse: collapse; width: 100%; font-size: 13.5px; }
.sa-tbl th, .sa-tbl td { border: 1px solid var(--border); padding: 4px; text-align: center; }
.sa-tbl thead th { background: var(--code-bg); font-weight: 600; }
.sa-tbl tbody th { background: var(--code-bg); font-weight: 600; text-align: left; padding-left: 8px; }
.sa-cell {
    width: 100%; border: 1px solid var(--border); background: var(--accent-light);
    border-radius: 4px; padding: 6px 4px; font-family: monospace; font-size: 13px; cursor: pointer;
}
.sa-cell:hover { border-color: var(--accent); }
.sa-cell.sa-removed { background: transparent; color: var(--text-secondary); font-style: italic; text-decoration: line-through; }
.sa-raises { display: flex; flex-wrap: wrap; gap: 8px; margin-top: 10px; }
.sa-raises .sa-cell { width: auto; padding: 4px 10px; }

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

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

.sa-ctx { font: 12.5px/1.6 monospace; }
.sa-ctx p { margin: 2px 0; overflow-wrap: anywhere; }
.sa-ctx-kind { font-weight: 600; font-family: inherit; }
.sa-ctx-idx { color: var(--text-secondary); }

.sa-cmppanel { margin-top: 16px; }
.sa-cmp { border-collapse: collapse; font-size: 13.5px; }
.sa-cmp th, .sa-cmp td { border: 1px solid var(--border); padding: 4px 12px; text-align: right; }
.sa-cmp thead th { background: var(--code-bg); text-align: center; }
.sa-cmp tbody th { text-align: left; background: var(--code-bg); }

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