/* RC50 modes alter workflow complexity, not merely the label in the toolbar. */
.sim-workbench-shell [data-mode-min][hidden] { display: none !important; }

.sim-workbench-shell[data-mode="guided"] .sim-wb-primary-workspace {
  grid-template-columns: minmax(16rem, 18rem) minmax(28rem, 1fr) minmax(16rem, 18rem);
}
.sim-workbench-shell[data-mode="guided"] .sim-wb-state-strip {
  grid-template-columns: minmax(5.5rem, .7fr) minmax(11rem, 1.6fr) minmax(8rem, 1fr) minmax(7rem, .9fr);
}
.sim-workbench-shell[data-mode="guided"] .sim-wb-state-strip > div:last-child { display: none; }
.sim-workbench-shell[data-mode="guided"] .sim-wb-proof-compact { display: grid; }

.sim-workbench-shell[data-mode="explore"] .sim-wb-proof-compact { display: grid; }
.sim-workbench-shell[data-mode="explore"] .sim-wb-proof-rail .sim-wb-panel-body { overflow: visible; }

.sim-workbench-shell[data-mode="expert"] .sim-wb-proof-compact { display: none; }
.sim-workbench-shell[data-mode="expert"] .sim-wb-input-rail,
.sim-workbench-shell[data-mode="expert"] .sim-wb-proof-rail { overflow-y: auto; }

.sim-workbench-shell[data-analysis-open="true"] .sim-wb-analysis-drawer { box-shadow: 0 -18px 38px rgba(0, 0, 0, .24); }
.sim-workbench-shell[data-analysis-open="true"] .sim-wb-analysis-toggle [data-analysis-state] { color: var(--sim-green); }

/* Explore keeps one bounded input scroller and, when opened, one analysis
   scroller. The compact proof summary is designed to fit without trapping
   the wheel in a third vertical context. Expert deliberately restores the
   full independently scrollable proof inspector. */
.sim-workbench-shell[data-mode="guided"] .sim-wb-proof-rail,
.sim-workbench-shell[data-mode="explore"] .sim-wb-proof-rail {
  overflow-y: hidden;
  scrollbar-gutter: auto;
}