.confidential-release-review-page{background:#071016;color:#dfe9ee}.crr-hero{padding:clamp(4rem,8vw,7rem) 0 3rem;background:radial-gradient(circle at 80% 20%,rgba(37,190,197,.11),transparent 34%),linear-gradient(180deg,#071016,#0a151d)}.crr-hero-grid{display:grid;grid-template-columns:minmax(0,1.6fr) minmax(18rem,.6fr);gap:clamp(2rem,5vw,5rem);align-items:end}.crr-hero h1{font-size:clamp(2.4rem,5vw,5.4rem);line-height:.98;max-width:16ch;margin:.7rem 0 1.4rem}.crr-hero h1 span{color:#6fdce0}.crr-hero-principle{margin-top:1.6rem;padding-left:1rem;border-left:3px solid #e0a84d;font-family:var(--font-mono);font-size:.82rem;letter-spacing:.04em;color:#f1d398}.crr-hero-status,.crr-risk-card,.crr-gates-card,.crr-lineage-card,.crr-proof-summary{border:1px solid rgba(125,189,204,.28);background:rgba(5,16,23,.76);box-shadow:inset 0 0 0 1px rgba(255,255,255,.018)}.crr-hero-status{display:grid}.crr-hero-status div{display:flex;justify-content:space-between;gap:1rem;padding:.8rem 1rem;border-bottom:1px solid rgba(125,189,204,.16)}.crr-hero-status div:last-child{border-bottom:0}.crr-hero-status span{color:#8ea7b2;font-size:.82rem}.crr-hero-status strong{font-family:var(--font-mono);font-size:.78rem;color:#e8f8fa;text-align:right}.crr-boundary{border-top:1px solid rgba(111,220,224,.3);border-bottom:1px solid rgba(111,220,224,.3);background:#0b1a22}.crr-boundary-grid{display:grid;grid-template-columns:auto 1fr auto;gap:1.25rem;align-items:center;padding:.85rem 0;font-size:.78rem}.crr-boundary strong{color:#65d7dd}.crr-boundary span{color:#a8bcc5}.crr-workbench{position:relative;background:#061017;border-bottom:1px solid rgba(125,189,204,.22)}.crr-commandbar{position:sticky;top:4.55rem;z-index:15;display:grid;grid-template-columns:minmax(15rem,.8fr) minmax(26rem,1.5fr) auto;gap:1rem;align-items:center;padding:.85rem clamp(1rem,3vw,2.5rem);border-bottom:1px solid rgba(111,220,224,.25);background:rgba(4,13,19,.97);backdrop-filter:blur(14px)}.crr-command-identity{display:flex;flex-direction:column;min-width:0}.crr-command-identity strong,.crr-command-identity span{white-space:nowrap;overflow:hidden;text-overflow:ellipsis}.crr-command-state{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:.45rem}.crr-command-state span{display:flex;flex-direction:column;border-left:1px solid rgba(125,189,204,.2);padding-left:.6rem}.crr-command-state b{font-size:.65rem;text-transform:uppercase;letter-spacing:.08em;color:#77929e}.crr-command-state em{font-style:normal;font-family:var(--font-mono);font-size:.72rem;color:#e8f8fa;overflow:hidden;text-overflow:ellipsis}.crr-command-actions{display:flex;gap:.45rem;flex-wrap:wrap;justify-content:flex-end}.crr-shell{display:grid;grid-template-columns:minmax(17rem,22rem) minmax(0,1fr) minmax(17rem,21rem);min-height:46rem}.crr-controls,.crr-inspector{background:#09151d;padding:1.2rem;border-right:1px solid rgba(125,189,204,.18)}.crr-inspector{border-right:0;border-left:1px solid rgba(125,189,204,.18)}.crr-panel-heading,.crr-visual-heading{display:flex;gap:.85rem;align-items:flex-start;justify-content:space-between}.crr-panel-heading>span{color:#65d7dd}.crr-panel-heading h2,.crr-visual-heading h2{margin:.15rem 0 0;font-size:1.15rem}.crr-controls form{display:grid;gap:1rem;margin-top:1rem}.crr-controls fieldset{border:1px solid rgba(125,189,204,.22);padding:.9rem;display:grid;gap:.75rem}.crr-controls legend{padding:0 .35rem;font-family:var(--font-mono);font-size:.75rem;color:#65d7dd}.crr-controls label{display:grid;gap:.35rem}.crr-controls label span{font-size:.72rem;text-transform:uppercase;letter-spacing:.07em;color:#9ab0ba}.crr-controls select{width:100%;background:#061017;border:1px solid rgba(125,189,204,.35);color:#edf8fa;padding:.72rem;font:inherit}.crr-field-note{font-size:.8rem;color:#9ab0ba;margin:0}.crr-input-warning{border:1px solid rgba(224,168,77,.48);padding:.8rem;background:rgba(224,168,77,.06)}.crr-input-warning strong{font-family:var(--font-mono);color:#f1c56f;font-size:.75rem}.crr-input-warning p{margin:.45rem 0 0;font-size:.78rem;color:#bfccd2}.crr-form-actions{display:flex;gap:.55rem;flex-wrap:wrap}.crr-main{min-width:0;padding:1.2rem;background-image:linear-gradient(rgba(67,113,128,.08) 1px,transparent 1px),linear-gradient(90deg,rgba(67,113,128,.08) 1px,transparent 1px);background-size:28px 28px}.crr-status-strip{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));border:1px solid rgba(125,189,204,.28);background:#08151d}.crr-status-strip div{padding:.7rem;border-right:1px solid rgba(125,189,204,.18)}.crr-status-strip div:last-child{border-right:0}.crr-status-strip span{display:block;font-size:.64rem;text-transform:uppercase;letter-spacing:.08em;color:#77929e}.crr-status-strip strong{display:block;margin-top:.22rem;font:700 .75rem var(--font-mono);color:#e8f8fa;word-break:break-word}.crr-current-event{display:grid;grid-template-columns:1fr auto;gap:.5rem 1rem;margin-top:.85rem;padding:1rem;border:1px solid rgba(111,220,224,.3);background:rgba(7,23,31,.9)}.crr-current-event p:last-child{grid-column:1/-1;margin:0;color:#aabdc5}.crr-event-controls{display:grid;grid-template-columns:auto 1fr auto;gap:.75rem;align-items:center;margin:.75rem 0}.crr-event-controls input{accent-color:#5ed6db}.crr-tabs{display:flex;gap:.25rem;overflow-x:auto;border-bottom:1px solid rgba(125,189,204,.25);padding-top:.55rem}.crr-tabs button{border:0;border-bottom:2px solid transparent;background:#0c1a22;color:#98adb6;padding:.7rem .9rem;white-space:nowrap;font:700 .72rem var(--font-mono);text-transform:uppercase}.crr-tabs button[aria-selected=true]{color:#e9fcfd;border-bottom-color:#65d7dd;background:#10232c}.crr-representation{min-height:28rem;border:1px solid rgba(125,189,204,.23);border-top:0;background:rgba(6,16,23,.96);padding:1rem}.crr-visual-heading{margin-bottom:.9rem}.crr-visual-heading>span{font-size:.7rem;color:#7f98a3}.crr-graph-panel{min-height:23rem;overflow:auto;border:1px solid rgba(125,189,204,.16);background:#07131a;padding:1rem}.crr-graph-panel svg{min-width:980px;width:100%;height:280px}.crr-graph-panel .crr-node rect{fill:#0d252e;stroke:#437f8d;stroke-width:1}.crr-graph-panel .crr-node.is-current rect{fill:#123740;stroke:#69dce1;stroke-width:2}.crr-graph-panel .crr-node text{fill:#dcebee;font:11px var(--font-mono)}.crr-graph-panel line{stroke:#43616c;stroke-width:2}.table-scroll{overflow:auto}.crr-representation table{width:100%;border-collapse:collapse}.crr-representation th,.crr-representation td{padding:.7rem;border:1px solid rgba(125,189,204,.2);text-align:left;vertical-align:top}.crr-representation thead{background:#10232c}.crr-representation tbody th{color:#92cdd2;font-family:var(--font-mono);font-size:.74rem}.crr-narrative{display:grid;gap:.8rem;max-width:70rem}.crr-narrative p{margin:0;border-left:2px solid #387b86;padding:.85rem 1rem;background:#091920}.crr-event-list{list-style:none;padding:0;margin:0;display:grid;grid-template-columns:repeat(auto-fit,minmax(13rem,1fr));gap:.5rem}.crr-event-list button{width:100%;height:100%;display:grid;grid-template-columns:auto 1fr;gap:.2rem .55rem;text-align:left;padding:.7rem;border:1px solid rgba(125,189,204,.2);background:#0a1820;color:#e8f4f6}.crr-event-list button:hover,.crr-event-list button:focus-visible,.crr-event-list button.is-current{border-color:#65d7dd;background:#102832}.crr-event-list strong{font-size:.74rem}.crr-event-list small{grid-column:2;color:#7f98a3;font-family:var(--font-mono);font-size:.64rem}.crr-proof-list{list-style:none;padding:0;margin:0;display:grid;gap:.45rem}.crr-proof-list li{display:grid;grid-template-columns:auto 1fr auto;gap:.75rem;align-items:center;border:1px solid rgba(125,189,204,.18);padding:.65rem}.crr-proof-list li span{font:700 .68rem var(--font-mono)}.crr-proof-list .is-pass span{color:#74d6a3}.crr-proof-list .is-fail span{color:#ff8080}.crr-proof-list code{font-size:.65rem;color:#78949e}.crr-review-summary{margin-top:.8rem;padding:.8rem;border-left:3px solid #65d7dd;background:#0b1b23}.crr-review-summary strong{font-family:var(--font-mono);color:#65d7dd}.crr-representation pre,.crr-secondary-result pre{max-height:34rem;overflow:auto;background:#030b10;border:1px solid rgba(125,189,204,.2);padding:1rem;color:#cfe5e9;font-size:.73rem;white-space:pre-wrap;word-break:break-word}.crr-result-box{display:grid;grid-template-columns:1fr 1fr;gap:1rem;margin-top:.9rem;padding:1rem;border:1px solid rgba(111,220,224,.3);background:#0a1c24}.crr-result-box h2{font-size:1.25rem;margin:.15rem 0}.crr-result-box p{margin:.35rem 0 0;color:#a8bbc4}.crr-derivative{border-left:1px solid rgba(125,189,204,.22);padding-left:1rem;display:flex;flex-direction:column;gap:.35rem}.crr-derivative strong{color:#69dce1}.crr-secondary-result{margin-top:.8rem;padding:1rem;border:1px solid rgba(224,168,77,.35);background:#151811}.crr-inspector section{margin-top:.85rem;padding:.9rem}.crr-inspector h3{margin:0 0 .7rem;font-size:.95rem}.crr-risk-card>strong{font:800 1.35rem var(--font-mono);color:#f0c46d}.crr-risk-card dl,.crr-gates-card dl,.crr-lineage-card dl{display:grid;gap:.35rem}.crr-risk-card dl div,.crr-gates-card dl div,.crr-lineage-card dl div{display:flex;justify-content:space-between;gap:1rem;padding:.35rem 0;border-bottom:1px solid rgba(125,189,204,.12)}.crr-risk-card dt,.crr-gates-card dt,.crr-lineage-card dt{color:#899fa9;text-transform:capitalize}.crr-risk-card dd,.crr-gates-card dd,.crr-lineage-card dd{margin:0;font-family:var(--font-mono);font-size:.72rem;text-align:right}.crr-risk-card ul{padding-left:1rem;color:#c3d1d7;font-size:.75rem}.crr-proof-summary strong{font:800 1.4rem var(--font-mono);color:#6dd9a1}.crr-proof-summary span{display:block;color:#6dd9a1}.crr-proof-summary p{font-size:.75rem;color:#9fb1b9}.crr-capability-grid{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:1rem}.crr-capability-grid article{border:1px solid rgba(125,189,204,.24);padding:1rem;background:#09171e}.crr-capability-grid span{color:#65d7dd}.crr-capability-grid h3{margin:.5rem 0}.crr-capability-grid p{color:#9fb2ba}.crr-limit-grid{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:.8rem}.crr-limit-grid p{margin:0;padding:1rem;border-left:3px solid #d49a45;background:#f2f4f4;color:#24343a}.crr-loading{position:fixed;inset:0;z-index:100;background:rgba(2,8,12,.84);display:grid;place-items:center}.crr-loading>div{display:flex;gap:.8rem;align-items:center;border:1px solid #65d7dd;background:#071820;padding:1rem 1.2rem}.crr-spinner{width:1.2rem;height:1.2rem;border:2px solid rgba(101,215,221,.25);border-top-color:#65d7dd;border-radius:50%;animation:crr-spin .8s linear infinite}.crr-toast{position:fixed;right:1rem;bottom:1rem;z-index:101;max-width:32rem;border:1px solid #65d7dd;background:#071820;padding:.9rem;color:#eafafa}.crr-toast.is-error{border-color:#f16f6f;color:#ffd6d6}@keyframes crr-spin{to{transform:rotate(360deg)}}
@media(max-width:1250px){.crr-shell{grid-template-columns:19rem minmax(0,1fr)}.crr-inspector{grid-column:1/-1;border-left:0;border-top:1px solid rgba(125,189,204,.18);display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:.8rem}.crr-inspector>.crr-panel-heading{grid-column:1/-1}.crr-commandbar{grid-template-columns:1fr auto}.crr-command-state{grid-column:1/-1;grid-row:2}.crr-command-actions{grid-column:2;grid-row:1}}@media(max-width:900px){.crr-hero-grid{grid-template-columns:1fr}.crr-boundary-grid{grid-template-columns:1fr}.crr-commandbar{position:relative;top:auto;grid-template-columns:1fr}.crr-command-state{grid-column:auto;grid-row:auto;grid-template-columns:repeat(2,minmax(0,1fr))}.crr-command-actions{grid-column:auto;grid-row:auto;justify-content:flex-start}.crr-shell{grid-template-columns:1fr}.crr-controls,.crr-inspector{border:0;border-bottom:1px solid rgba(125,189,204,.18)}.crr-inspector{display:grid;grid-template-columns:repeat(2,minmax(0,1fr))}.crr-status-strip{grid-template-columns:repeat(2,minmax(0,1fr))}.crr-status-strip div:nth-child(2){border-right:0}.crr-status-strip div:nth-child(-n+2){border-bottom:1px solid rgba(125,189,204,.18)}.crr-result-box{grid-template-columns:1fr}.crr-derivative{border-left:0;border-top:1px solid rgba(125,189,204,.22);padding:1rem 0 0}.crr-capability-grid,.crr-limit-grid{grid-template-columns:repeat(2,minmax(0,1fr))}}@media(max-width:620px){.crr-main,.crr-controls,.crr-inspector{padding:.8rem}.crr-commandbar{padding:.8rem}.crr-command-state{grid-template-columns:1fr 1fr}.crr-command-actions .button{flex:1 1 46%}.crr-inspector{grid-template-columns:1fr}.crr-capability-grid,.crr-limit-grid{grid-template-columns:1fr}.crr-event-controls{grid-template-columns:1fr 1fr}.crr-event-controls input{grid-column:1/-1;grid-row:1}.crr-proof-list li{grid-template-columns:auto 1fr}.crr-proof-list code{grid-column:2}.crr-current-event{grid-template-columns:1fr}.crr-current-event p:last-child{grid-column:auto}}@media(prefers-reduced-motion:reduce){.crr-spinner{animation:none}.crr-workbench *{scroll-behavior:auto!important}}
.crr-graph-panel .node.current rect{stroke:#f0bd58;stroke-width:3;filter:drop-shadow(0 0 7px rgba(240,189,88,.42))}.crr-representation tr[data-current]{outline:2px solid #f0bd58;outline-offset:-2px}.crr-status{display:flex;flex-wrap:wrap;gap:.75rem;align-items:baseline}.crr-status strong{font-family:var(--font-mono,monospace);color:#5ee2e5}.crr-status span{color:#aebfc8}

/* RC19 workbench-specific structures and 400% reflow hardening. */
.crr-shell{display:grid;grid-template-columns:minmax(17rem,22rem) minmax(0,1fr) minmax(17rem,21rem);min-height:46rem}
.crr-controls,.crr-inspector{min-width:0;background:#09151d;padding:1.2rem}
.crr-controls{border-right:1px solid rgba(125,189,204,.18)}
.crr-inspector{border-left:1px solid rgba(125,189,204,.18)}
.crr-controls form{display:grid;gap:1rem;margin-top:1rem}
.crr-controls label{display:grid;gap:.35rem}
.crr-controls label>span{font-size:.72rem;text-transform:uppercase;letter-spacing:.07em;color:#9ab0ba}
.crr-controls select{width:100%;min-width:0;background:#061017;border:1px solid rgba(125,189,204,.35);color:#edf8fa;padding:.72rem;font:inherit}
.crr-field-note{font-size:.8rem;color:#9ab0ba;margin:0}
.crr-control-card,.crr-inspector-card{margin-top:.9rem;padding:.9rem;border:1px solid rgba(125,189,204,.24);background:rgba(5,16,23,.76)}
.crr-control-card>span,.crr-inspector-card>span{display:block;color:#65d7dd;font-size:.68rem;margin-bottom:.45rem}
.crr-control-card>strong,.crr-inspector-card>strong{display:block;overflow-wrap:anywhere;color:#e8f8fa}
.crr-control-card dl,.crr-inspector-card dl{display:grid;gap:.25rem;margin:.7rem 0 0}
.crr-control-card dl div,.crr-inspector-card dl div{display:flex;justify-content:space-between;align-items:flex-start;gap:.75rem;padding:.35rem 0;border-bottom:1px solid rgba(125,189,204,.12)}
.crr-control-card dt,.crr-inspector-card dt{color:#899fa9}
.crr-control-card dd,.crr-inspector-card dd{min-width:0;margin:0;text-align:right;font:700 .7rem var(--font-mono);overflow-wrap:anywhere}
.crr-inspector-card ul{padding-left:1rem;color:#c3d1d7;font-size:.75rem}
.crr-inspector-card li{overflow-wrap:anywhere}
.crr-main{min-width:0;padding:1.2rem;background-image:linear-gradient(rgba(67,113,128,.08) 1px,transparent 1px),linear-gradient(90deg,rgba(67,113,128,.08) 1px,transparent 1px);background-size:28px 28px}
.crr-visual-heading{display:flex;gap:1rem;align-items:flex-start;justify-content:space-between}
.crr-visual-heading h2{margin:.25rem 0 0;font-size:1.15rem}
.crr-event-controls{display:grid;grid-template-columns:auto auto auto;gap:.35rem;align-items:center}
.crr-event-controls button{border:1px solid rgba(125,189,204,.35);background:#0b1c24;color:#e8f8fa;padding:.5rem .7rem}
.crr-event-controls output{font:700 .72rem var(--font-mono);white-space:nowrap}
.crr-graph-panel,.crr-representation{min-width:0;min-height:25rem;border:1px solid rgba(125,189,204,.23);background:rgba(6,16,23,.96);padding:1rem;overflow:auto}
.crr-graph-panel svg{display:block;min-width:760px;width:100%;height:auto;min-height:360px}
.crr-graph-fallback{font-size:.8rem;color:#9fb2ba;max-width:75ch}
.crr-representation table{width:100%;border-collapse:collapse}
.crr-representation th,.crr-representation td{padding:.7rem;border:1px solid rgba(125,189,204,.2);text-align:left;vertical-align:top}
.crr-representation thead{background:#10232c}
.crr-representation tbody th{color:#92cdd2;font-family:var(--font-mono);font-size:.74rem}
.crr-representation td small{display:block;margin-top:.3rem;color:#8ba1aa}
.crr-representation p{overflow-wrap:anywhere}
.crr-representation pre{max-height:34rem;overflow:auto;background:#030b10;border:1px solid rgba(125,189,204,.2);padding:1rem;color:#cfe5e9;font-size:.73rem;white-space:pre-wrap;word-break:break-word}
.crr-tabs{display:flex;gap:.25rem;overflow-x:auto;border-bottom:1px solid rgba(125,189,204,.25);padding-top:.55rem}
.crr-tabs button{border:0;border-bottom:2px solid transparent;background:#0c1a22;color:#98adb6;padding:.7rem .9rem;white-space:nowrap;font:700 .72rem var(--font-mono);text-transform:uppercase}
.crr-tabs button[aria-selected=true]{color:#e9fcfd;border-bottom-color:#65d7dd;background:#10232c}
.crr-proof-list{list-style:none;padding:0;margin:0;display:grid;gap:.45rem}
.crr-proof-list li{display:grid;grid-template-columns:minmax(5rem,auto) minmax(0,1fr) auto;gap:.75rem;align-items:center;border:1px solid rgba(125,189,204,.18);padding:.65rem}
.crr-proof-list span,.crr-proof-list em{font:700 .68rem var(--font-mono)}
.crr-proof-list em{font-style:normal;color:#74d6a3}
.crr-review-grid{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:.75rem;margin-bottom:1rem}
.crr-review-grid article{min-width:0;border:1px solid rgba(125,189,204,.2);padding:.85rem;background:#091920}
.crr-review-grid span{display:block;color:#899fa9;font-size:.7rem;text-transform:uppercase}
.crr-review-grid strong{display:block;margin:.3rem 0;overflow-wrap:anywhere;color:#6fdce0}
.crr-review-grid p{margin:.3rem 0 0;font-size:.78rem;color:#a8bbc4}
.crr-status{display:flex;flex-wrap:wrap;gap:.75rem;align-items:baseline;margin-top:.75rem;padding:.75rem;border:1px solid rgba(111,220,224,.25);background:#071820}
.crr-status strong{font-family:var(--font-mono,monospace);color:#5ee2e5;overflow-wrap:anywhere}
.crr-status span{min-width:0;color:#aebfc8;overflow-wrap:anywhere}
.crr-capability-grid{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:1rem}
.crr-capability-grid article{min-width:0;border:1px solid rgba(125,189,204,.24);padding:1rem;background:#09171e}
.crr-capability-grid span{color:#65d7dd}.crr-capability-grid h3{margin:.5rem 0}.crr-capability-grid p{color:#9fb2ba}
.crr-establishes-grid{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:1rem}
.crr-establishes-grid article{min-width:0;padding:1.2rem;border:1px solid rgba(23,54,66,.18);background:#fff}
.crr-establishes-grid h2{font-size:1.35rem}.crr-establishes-grid li{margin:.35rem 0}
.crr-command-state span,.crr-command-state em,.crr-proof-list code,.crr-representation code,.crr-inspector dd,.crr-hero-status strong,.crr-inspector-card code{min-width:0;max-width:100%;overflow-wrap:anywhere;word-break:break-word;white-space:normal}
@media(max-width:1250px){
  .crr-shell{grid-template-columns:minmax(17rem,20rem) minmax(0,1fr)}
  .crr-inspector{grid-column:1/-1;border-left:0;border-top:1px solid rgba(125,189,204,.18);display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:.8rem}
  .crr-inspector>.crr-panel-heading{grid-column:1/-1}
}
@media(max-width:900px){
  .crr-hero-grid,.crr-shell{grid-template-columns:1fr}
  .crr-boundary-grid{grid-template-columns:1fr}
  .crr-commandbar{position:relative;top:auto;grid-template-columns:1fr}
  .crr-command-state{grid-column:auto;grid-row:auto;grid-template-columns:repeat(2,minmax(0,1fr))}
  .crr-command-actions{grid-column:auto;grid-row:auto;justify-content:flex-start}
  .crr-controls,.crr-inspector{border:0;border-bottom:1px solid rgba(125,189,204,.18)}
  .crr-inspector{display:grid;grid-template-columns:repeat(2,minmax(0,1fr))}
  .crr-review-grid,.crr-capability-grid{grid-template-columns:repeat(2,minmax(0,1fr))}
}
@media(max-width:620px){
  .crr-main,.crr-controls,.crr-inspector,.crr-commandbar{padding:.8rem}
  .crr-command-state{grid-template-columns:1fr}
  .crr-command-actions .button{flex:1 1 46%;max-width:100%}
  .crr-inspector,.crr-review-grid,.crr-capability-grid,.crr-establishes-grid{grid-template-columns:1fr}
  .crr-visual-heading{display:grid;grid-template-columns:1fr}
  .crr-event-controls{justify-content:start}
  .crr-proof-list li{grid-template-columns:minmax(0,1fr) auto}
  .crr-proof-list li span{grid-column:1/-1}
}
@media(max-width:420px){
  .crr-workbench,.crr-commandbar,.crr-shell,.crr-controls,.crr-main,.crr-inspector,.crr-boundary-grid,.crr-hero-grid,.crr-command-state,.crr-command-state span,.crr-command-state em,.crr-representation,.crr-proof-list,.crr-proof-list li,.crr-proof-list code,.crr-inspector-card,.crr-control-card{min-width:0;max-width:100%}
  .crr-command-actions{width:100%}.crr-command-actions .button{max-width:100%;overflow-wrap:anywhere}
  .crr-representation pre{white-space:pre-wrap;overflow-wrap:anywhere;word-break:break-word}
  .crr-inspector-card ul{padding-left:.8rem}
}
@media(prefers-reduced-motion:reduce){.crr-spinner{animation:none}.crr-workbench *{scroll-behavior:auto!important}}