/* Exhibit instruments, kept compact so the room and the primary action lead. */
.discovery-experiment{margin:8px 0 0;color:var(--text,#ece8df);font-size:14px;line-height:1.5}
.discovery-experiment[hidden]{display:none}
.discovery-caption{color:#b3becb;font-size:12px;line-height:1.5;margin:10px 0}
.discovery-result{margin:14px 0 0;font-size:14px;line-height:1.55;color:#d6dfe8}
.discovery-agenda{display:grid;gap:0}
.discovery-agenda>div{display:flex;align-items:center;gap:13px;padding:11px 0;border-bottom:1px solid #b6c7d626;color:#a3acb9}
.discovery-agenda>div small{margin-left:auto;font-size:10px;letter-spacing:.03em}
.discovery-mark{font-size:11px;font-variant-numeric:tabular-nums}
.discovery-agenda>div.is-active{color:var(--room-accent,#e7c58b)}
.discovery-proof{display:flex;align-items:center;justify-content:space-between;gap:10px;margin:14px 0}
.discovery-proof>span{display:grid;place-items:center;flex:1;max-width:76px;height:62px;border:1px solid #acbfd63b;color:#95a6b9;font-size:25px;font-weight:500}
.discovery-proof>span.is-active{background:#aac6ec18;border-color:var(--room-accent,#aac6ec);color:#d7e8ff}
.discovery-proof>b{font-size:19px;font-weight:400;color:#a1b4ca}
.discovery-rejected{font-size:12px;color:#e8b7a6;padding:7px 0;border-top:1px dashed #e8b7a650;margin:9px 0}
.discovery-learning{display:grid;grid-template-columns:1fr 1.35fr .8fr;gap:12px;padding:10px 0}
.discovery-learning>div{display:flex;flex-direction:column;gap:4px}
.discovery-learning small{font-size:11px;color:#b3becb}
.discovery-learning strong{font-size:17px;font-weight:500;font-variant-numeric:tabular-nums;white-space:nowrap}
.discovery-equation{font-size:15px;color:var(--room-accent,#d5d88f);font-variant-numeric:tabular-nums;border-block:1px solid #cbd9a333;padding:12px 0;margin:8px 0}
.discovery-prediction{display:flex;gap:24px;font-size:12px;color:#b3becb;margin:13px 0 0}
.discovery-prediction b{color:#eef0e5;font-size:19px;margin-left:9px;font-weight:500}
.discovery-prediction .is-correct{color:var(--room-accent,#d5d88f)}
.discovery-expression{padding:22px 0 18px;border-block:1px solid #d3b4e833;margin-top:12px}
.discovery-expression code{font-family:ui-monospace,SFMono-Regular,Consolas,monospace;font-size:clamp(18px,1.6vw,24px);white-space:nowrap;color:#dde1ec;letter-spacing:-.03em}
.discovery-expression mark{background:#d3b4e826;color:#eddbff;border-radius:3px;padding:4px 3px}
.discovery-expression-history{font-family:ui-monospace,SFMono-Regular,Consolas,monospace;font-size:12px;color:#b9b3cd;min-height:18px;margin-top:10px}
.discovery-map{display:grid;grid-template-columns:repeat(5,1fr);gap:5px;margin:12px 0 0;max-width:320px}
.discovery-map>span{display:grid;place-items:center;aspect-ratio:1.45;border:1px solid #b9beca26;color:#8f9aa9;background:#07121f88;font-size:20px}
.discovery-map>span.on-route{background:#eeac871d;border-color:#eeac8755;color:#edc8b2}
.discovery-map>span.is-obstacle{color:#a1acbb;background:#53617366;border-color:#8793a65c;font-size:25px}
.discovery-map[data-blocked=true]>span.is-obstacle{color:#ffd0bd;border-color:#ec9a79}
.discovery-map>span.is-goal{border-color:#eacbb17d;color:#efd6c0}
.discovery-map>span.is-robot{color:#ffe3c8;background:#a26e423f;border-color:#eacbb1}
.discovery-map-key{display:flex;gap:16px}
.discovery-map-key{flex-wrap:wrap;gap:5px 15px}
.discovery-map>span{position:relative;min-width:0}
.discovery-map>span small{position:absolute;left:4px;top:1px;font-size:9px;color:#d2dce8;line-height:1.2}
.discovery-map>span b{font-size:22px;line-height:1;font-weight:500;padding-top:5px}
.discovery-map>span.is-traversed{background:#b8d88822;border-color:#b8d88888}
.discovery-map>span.is-collision{outline:2px solid #ffab88;outline-offset:-3px}
.shakey-options{border:0;padding:0;margin:17px 0;min-width:0;display:grid;gap:6px}
.shakey-options legend{padding:0 0 7px;font-size:13px;color:#e9e5d7}
.shakey-options label{display:flex;align-items:center;gap:10px;min-height:44px;padding:8px 10px;border:1px solid #8793a64d;border-radius:6px;cursor:pointer}
.shakey-options label:has(input:checked){border-color:#e9da94;background:#e9da9412}
.shakey-options input{accent-color:#e9da94;flex:0 0 auto;width:18px;height:18px;margin:0}
.shakey-options strong{font-weight:500;font-size:13px}
.shakey-options small{display:block;color:#bac5d0;font-size:12px}
.shakey-reason-label{display:block;font-size:13px;margin:10px 0 7px}
#shakey-reason{display:block;box-sizing:border-box;width:100%;max-width:100%;resize:vertical;min-height:68px;background:#101e2c;color:#f2eee6;border:1px solid #8d9fb05e;border-radius:6px;padding:10px;font:inherit;font-size:16px}
#shakey-primary{display:block;min-height:44px;max-width:100%;margin:12px 0 16px;padding:10px 14px;background:#e9da94;border:1px solid #e9da94;border-radius:6px;color:#182028;font:inherit;font-size:14px;font-weight:600;cursor:pointer}
#shakey-primary:disabled{opacity:.5;cursor:default}
.shakey-history{border-top:1px solid #8793a63d;padding-top:12px;margin-top:12px;font-size:12px}
.shakey-history summary{cursor:pointer;min-height:32px;color:#c5d1df}
.shakey-history ol{padding-left:20px;overflow-wrap:anywhere}
.shakey-history li{margin:10px 0 18px}.shakey-history p{margin:5px 0;color:#c5d1df}
#shakey-planner[hidden],#shakey-primary[hidden],.shakey-history[hidden]{display:none}
.shakey-options :focus-visible,#shakey-reason:focus-visible,#shakey-primary:focus-visible,#discovery-shakey-result:focus-visible{outline:2px solid #e9da94;outline-offset:3px}
@media(max-width:700px){.discovery-experiment{margin-top:12px}.discovery-expression code{font-size:22px}.discovery-map{max-width:310px}.discovery-agenda>div{padding:10px 0}}
@media(prefers-reduced-motion:no-preference){.discovery-agenda>div,.discovery-proof>span,.discovery-map>span{transition:color .2s,background-color .2s,border-color .2s}}