/* Teaching layouts for the two finite-domain CSP packs. */
.reveal .csp-clear .slide-body{gap:21px}
.reveal .csp-clear h2{font-size:52px;line-height:1.16;margin:0!important}
.reveal .csp-clear p{font-size:28px;line-height:1.4;margin:0}
.reveal .csp-clear .cx-lead{font-size:27px;color:var(--text-muted)}
.reveal .csp-clear .cx-cols{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:26px;align-items:start}
.reveal .csp-clear .cx-three{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:22px}
.reveal .csp-clear .cx-panel{box-sizing:border-box;min-width:0;border:1px solid var(--line);border-top:4px solid var(--c-stat);border-radius:14px;background:var(--bg-elevated);padding:23px 26px}
.reveal .csp-clear h3{font-size:29px;line-height:1.25;margin:0 0 16px;color:var(--c-stat)}
.reveal .csp-clear .cx-panel p+p{margin-top:16px}
.reveal .csp-clear .cx-label{font-size:22px;color:var(--text-muted);margin-bottom:12px}
.reveal .csp-clear .cx-math{font:39px/1.4 Cambria,'Cambria Math',serif;color:var(--c-comp);margin:10px 0}
.reveal .csp-clear .cx-math small{display:block;font:24px/1.4 'Segoe UI',sans-serif;color:var(--text-muted);margin-top:10px}
.reveal .csp-clear .cx-figure{display:block;box-sizing:border-box;width:100%;height:360px;background:var(--bg-elevated);border:1px solid var(--line);border-radius:14px;padding:12px}
.reveal .csp-clear .cx-cols>.cx-figure{height:390px}
.reveal .csp-clear .cx-tall{height:420px}
.reveal .csp-clear .cx-caption{padding:15px 23px;border-left:5px solid var(--c-stat);border-radius:0 10px 10px 0;background:rgba(255,255,255,.035);font-size:26px;line-height:1.4}
.reveal .csp-clear .cx-small{font-size:23px;line-height:1.4;color:var(--text-muted)}
.reveal .csp-clear .cx-links{display:flex;flex-wrap:wrap;gap:25px;font-size:21px;line-height:1.4}
.reveal .csp-clear .cx-table{width:100%;border-collapse:collapse;margin:0;font-size:26px;line-height:1.35}
.reveal .csp-clear .cx-table th{padding:12px 16px;text-align:left;color:var(--c-stat);font-size:23px;border-bottom:2px solid var(--line)}
.reveal .csp-clear .cx-table td{padding:13px 16px;border-bottom:1px solid var(--line);text-align:left}
.reveal .csp-clear .cx-table .cx-good{background:rgba(69,214,192,.08)}
.reveal .csp-clear .cx-table .cx-bad{background:rgba(255,92,119,.08)}
.reveal .csp-clear .cx-values{display:flex;gap:14px;align-items:center;justify-content:center;margin:20px 0}
.reveal .csp-clear .cx-value{display:flex;flex-direction:column;align-items:center;gap:10px;min-width:90px;padding:16px 20px;border:1px solid var(--line);border-radius:10px;background:var(--bg-soft);font-size:26px}
.reveal .csp-clear .cx-value strong{font-size:39px;color:var(--c-stat);line-height:1.2}
.reveal .csp-clear .cx-flow{display:flex;align-items:stretch;gap:20px}
.reveal .csp-clear .cx-flow>div{flex:1;padding:22px 24px;border-bottom:3px solid var(--c-stat);background:var(--bg-elevated);font-size:27px;line-height:1.4}
.reveal .csp-clear .cx-flow strong{display:block;margin-bottom:12px;color:var(--c-stat)}
.reveal .csp-clear .cx-code{box-sizing:border-box;margin:0;padding:22px 25px;border:1px solid var(--line);border-radius:12px;background:var(--bg-soft);font:24px/1.45 Consolas,monospace;white-space:pre-wrap}
.reveal .csp-clear .cx-code code{padding:0;background:none;max-height:none;white-space:pre-wrap}
.reveal .csp-clear .cx-list{font-size:28px;line-height:1.45;margin:0;padding-left:28px}
.reveal .csp-clear .cx-list li{margin:12px 0}
.reveal .csp-clear .cx-step{padding:15px 0;border-top:1px solid var(--line);font-size:27px;line-height:1.4}
.reveal .csp-clear .cx-step strong{color:var(--c-stat)}
.reveal .csp-clear .cx-step p{font-size:25px;margin-top:7px}
.reveal .csp-clear .cx-question{font-size:27px;line-height:1.4;padding:18px 0;border-bottom:1px solid var(--line)}
.reveal .csp-clear .cx-question a{font-size:22px;margin-left:15px}
.reveal .lab-slide .lab-prompt{font-size:24px;line-height:1.4}
.reveal .lab-slide .cx-lab-link{font-size:20px}
.teaching-explorer{background:var(--bg-elevated);border:1px solid var(--line);border-radius:14px;padding:22px 26px}
.teaching-controls{display:flex;flex-wrap:wrap;align-items:center;gap:15px;margin-bottom:20px}
.teaching-controls label{display:flex;align-items:center;gap:13px;font-size:25px}
.teaching-explorer button,.teaching-explorer select{border:1px solid #526079;border-radius:8px;background:var(--bg-soft);color:var(--text);font:600 24px/1.3 'Segoe UI',sans-serif;padding:10px 16px;cursor:pointer}
.teaching-explorer button:focus-visible,.teaching-explorer select:focus-visible{outline:3px solid var(--c-comp);outline-offset:3px}
.teaching-explorer button[aria-pressed=true]{border-color:var(--c-stat);color:var(--c-stat)}
.teaching-explorer button:disabled{opacity:.4;cursor:default}
.teaching-grid{display:grid;grid-template-columns:1.35fr 1fr;gap:25px;align-items:center}
.teaching-values{display:flex;gap:14px;justify-content:center;margin:15px 0}
.teaching-values>div{min-width:85px;padding:15px 20px;border:2px solid var(--line);border-radius:10px;text-align:center;font-size:33px}
.teaching-values .supports{border-color:var(--c-stat);color:var(--c-stat)}
.teaching-values .no-support{border-color:var(--c-aiwinter);color:var(--c-aiwinter)}
.teaching-values .removed{opacity:.35;text-decoration:line-through}
.teaching-message{font-size:27px;line-height:1.45;min-height:90px}
.teaching-result{font-size:37px;line-height:1.3;margin-bottom:15px;color:var(--c-stat)}
.teaching-graphic{height:290px}
.teaching-graphic svg{display:block;width:100%;height:100%}
.teaching-legend{font-size:22px;color:var(--text-muted);margin-top:18px}
@media print{.teaching-explorer button,.teaching-explorer select{pointer-events:none}.cx-links{display:none!important}}

.reveal #summary .cx-panel>.cx-flow+p{margin-top:18px}

/* The GAC procedure pairs numbered pseudocode with its control flow. */
.reveal #gac .cx-cols{grid-template-columns:1.3fr 1fr}
.reveal #gac .cx-code{font-size:24px;line-height:1.5}
.reveal #gac .cx-step{padding:11px 0}
.reveal #gac .cx-step p{font-size:25px}