/* Concept explanations shared by Search Parts 1 and 2 (1920 × 1080 stage). */
.reveal .search-concept { --accent:#45d6c0; text-align:left; }
.reveal .search-concept.uninformed { --accent:#4db8ff; }
.reveal .search-concept.informed { --accent:#ffd166; }
.reveal .search-concept.caution { --accent:#c792ea; }
.reveal .search-concept .slide-body { gap:23px; }
.reveal .search-concept h2 { font-size:56px; line-height:1.16; margin:0!important; letter-spacing:-.025em; }
.reveal .search-concept p { margin:0; font-size:30px; line-height:1.4; }
.reveal .search-concept .sc-lead { font-size:28px; color:var(--text-muted); }
.reveal .search-concept .sc-grid { display:grid; grid-template-columns:repeat(2,minmax(0,1fr)); gap:24px; }
.reveal .search-concept .sc-grid.three { grid-template-columns:repeat(3,minmax(0,1fr)); }
.reveal .search-concept .sc-card { box-sizing:border-box; min-width:0; padding:26px 28px; border:1px solid var(--line); border-top:4px solid var(--accent); border-radius:16px; background:var(--bg-elevated); }
.reveal .search-concept .sc-card h3 { font-size:30px; line-height:1.2; margin:0 0 14px; color:var(--accent); }
.reveal .search-concept .sc-card p + p { margin-top:18px; }
.reveal .search-concept .sc-label { display:block; margin-bottom:12px; font-size:21px; color:var(--accent); font-weight:650; letter-spacing:.07em; text-transform:uppercase; }
.reveal .search-concept .sc-flow { display:flex; align-items:stretch; gap:18px; }
.reveal .search-concept .sc-flow .sc-card { flex:1; }
.reveal .search-concept .sc-arrow { align-self:center; font-size:42px; color:var(--accent); }
.reveal .search-concept .sc-takeaway { padding:16px 24px; border-left:5px solid var(--accent); border-radius:0 10px 10px 0; background:rgba(255,255,255,.04); font-size:29px; }
.reveal .search-concept .sc-links { display:flex; flex-wrap:wrap; gap:25px; font-size:21px; line-height:1.4; }
.reveal .search-concept .sc-links a { color:var(--text-muted); text-decoration:underline; text-underline-offset:5px; }
.reveal .search-concept a:focus-visible { outline:3px solid #ffd166; outline-offset:5px; }
.reveal .search-concept .sc-equation { padding:24px 28px; border:1px solid var(--line); border-radius:14px; background:var(--bg-elevated); font-size:41px; text-align:center; line-height:1.4; }
.reveal .search-concept .sc-equation small { display:block; margin-top:12px; color:var(--text-muted); font:25px/1.4 'Segoe UI',sans-serif; }
.reveal .search-concept .sc-small { font-size:24px; color:var(--text-muted); }
.reveal .search-concept .sc-split { display:grid; grid-template-columns:1fr 1fr; gap:32px; align-items:center; }
.reveal .search-concept .sc-stack { display:flex; flex-direction:column; gap:22px; }
.reveal .search-concept .sc-table { width:100%; border-collapse:collapse; margin:0; font-size:28px; line-height:1.35; }
.reveal .search-concept .sc-table th { color:var(--accent); font-size:24px; text-align:left; padding:16px 22px; border-bottom:2px solid var(--line); }
.reveal .search-concept .sc-table td { padding:17px 22px; border-bottom:1px solid var(--line); text-align:left; }
.reveal .search-concept .sc-table td:first-child { font-weight:650; }
.reveal .search-concept .sc-table tbody tr:last-child { background:rgba(255,255,255,.035); }
.reveal .search-concept .sc-diagram { display:block; width:100%; height:350px; border:1px solid var(--line); border-radius:16px; background:var(--bg-elevated); }
.reveal .search-concept .sc-diagram text { font-family:'Segoe UI',Arial,sans-serif; }
.reveal .search-concept .sc-index .sc-card { padding:23px 25px; }
.reveal .search-concept .sc-index h3 { font-size:28px; margin-bottom:12px; }
.reveal .search-concept .sc-index a { display:block; color:var(--text); font-size:25px; line-height:1.4; margin-top:9px; text-decoration:underline; text-underline-offset:4px; }
.reveal .search-concept .sc-number { font-size:59px; color:var(--accent); font-weight:650; }
.reveal .search-concept .sc-strip { display:flex; flex-wrap:wrap; align-items:center; gap:12px; }
.reveal .search-concept .sc-chip { font:30px/1.4 Consolas,monospace; padding:12px 20px; border:1px solid var(--line); border-radius:10px; background:var(--bg-soft); }
.reveal .search-concept .sc-chip.active { color:var(--accent); border-color:var(--accent); }
.reveal .search-concept .sc-math { margin:14px 0; font:34px/1.5 Georgia,serif; color:var(--accent); }
.reveal .search-concept .sc-code-split { display:grid; grid-template-columns:1.3fr 1fr; gap:30px; align-items:center; }
.reveal .search-concept .sc-code-split > * { min-width:0; }
.reveal .search-concept .sc-code-split .pseudocode { margin:0; font-size:26px; line-height:1.7; padding:25px; }
/* Reveal's reset removes the native placement of mathematical indices. */
.reveal sub, .reveal sup { font-size:.7em; line-height:0; position:relative; vertical-align:baseline; }
.reveal sub { bottom:-.25em; }
.reveal sup { top:-.5em; }
.math-sum { display:inline-grid; grid-template-rows:auto auto auto; align-items:center; justify-items:center; vertical-align:middle; margin:0 .15em; line-height:1; }
.math-sum > sub, .math-sum > sup { position:static; font-size:.55em; line-height:1.15; }

/* Robot-delivery model: show how each action changes the state. */
.reveal .robot-contract .slide-body { gap:18px; }
.reveal .robot-contract .robot-state-key { display:flex; align-items:center; gap:17px; padding:15px 22px; border:1px solid #304156; border-radius:13px; background:linear-gradient(100deg,#19293b,#121d2b); font-size:27px; }
.reveal .robot-contract .robot-state-key > span:last-child { margin-left:auto; }
.reveal .robot-contract .robot-location { color:#b0d3f2; font-weight:500; }
.reveal .robot-contract .robot-parcel { color:#ffd166; font-weight:500; }
.reveal .robot-contract .robot-number { display:inline-flex; width:34px; height:34px; align-items:center; justify-content:center; flex:none; border:1px solid #4b657c; border-radius:50%; color:#adc3d6; font:600 18px/1 'Segoe UI',sans-serif; vertical-align:middle; margin-right:5px; }
.reveal .robot-contract .robot-action-label { display:flex; align-items:center; justify-content:space-between; gap:20px; padding:0 10px 12px; font-size:26px; }
.reveal .robot-contract .robot-action-label > span:last-child { color:var(--text-muted); font-size:24px; }
.reveal .robot-contract .robot-journey { display:block; width:100%; height:auto; font-family:'Segoe UI',Arial,sans-serif; }
.reveal .robot-contract .robot-rule-grid { display:grid; grid-template-columns:1fr 1.15fr; gap:22px; }
.reveal .robot-contract .robot-rule { padding:17px 22px; border:1px solid #304156; border-radius:14px; background:#121e2d; }
.reveal .robot-contract .robot-rule h3 { display:flex; align-items:center; gap:9px; margin:0 0 10px; font-size:27px; line-height:1.3; }
.reveal .robot-contract .robot-rule p { font-size:25px; line-height:1.4; }
.reveal .robot-contract .robot-goal { border-left:4px solid #45d6c0; }
.reveal .robot-contract .robot-goal h3 { color:#45d6c0; }
.reveal .robot-contract .robot-cost { border-left:4px solid #ffd166; }
.reveal .robot-contract .robot-cost h3 { color:#ffd166; }
.reveal .robot-contract .robot-total { margin-left:auto; font-size:22px; font-weight:500; color:#ffd166; }
.reveal .robot-contract .sc-takeaway { font-size:27px; padding:13px 20px; }

/* Explain UCS termination through one visible frontier comparison. */
.reveal #ucs-termination .slide-body { gap:20px; }
.reveal #ucs-termination .ucs-wait-example { grid-template-columns:1fr 1fr; gap:28px; }
.reveal #ucs-termination .sc-diagram { height:310px; }
.reveal #ucs-termination .sc-stack { gap:14px; }
.reveal #ucs-termination .ucs-wait-heading { font-size:28px; line-height:1.3; margin:0; color:#ffd166; }
.reveal #ucs-termination .sc-table { font-size:24px; }
.reveal #ucs-termination .sc-table th { font-size:22px; padding:12px; }
.reveal #ucs-termination .sc-table td { padding:13px 12px; }
.reveal #ucs-termination .ucs-free { color:#45d6c0; }
.reveal #ucs-termination .sc-small { font-size:24px; }
.reveal #ucs-termination .sc-card { padding:20px 24px; }
.reveal #ucs-termination .sc-card h3 { font-size:28px; margin-bottom:12px; }
.reveal #ucs-termination .sc-card p { font-size:27px; line-height:1.4; }
.reveal #ucs-termination .sc-takeaway { font-size:28px; }