/* Evulgare Decision Reconstruction and Evidence Graph Workbench */
.decision-reconstruction-page {
  background: #070b10;
}

.dre-hero {
  position: relative;
  overflow: hidden;
  padding: clamp(4.75rem, 9vw, 8rem) 0 clamp(3rem, 6vw, 5.5rem);
  border-bottom: 1px solid var(--line-dark);
  background:
    linear-gradient(rgba(53, 209, 224, .035) 1px, transparent 1px),
    linear-gradient(90deg, rgba(53, 209, 224, .035) 1px, transparent 1px),
    radial-gradient(circle at 72% 18%, rgba(46, 184, 205, .13), transparent 34%),
    #070b10;
  background-size: 34px 34px, 34px 34px, auto, auto;
}

.dre-hero::before {
  content: "";
  position: absolute;
  inset: 0;
  pointer-events: none;
  background: linear-gradient(120deg, transparent 0 48%, rgba(53, 209, 224, .045) 48.1% 48.25%, transparent 48.35% 100%);
}

.dre-hero-grid {
  position: relative;
  z-index: 1;
  display: grid;
  grid-template-columns: minmax(0, .92fr) minmax(420px, 1.08fr);
  gap: clamp(2rem, 5vw, 6rem);
  align-items: center;
}

.dre-hero h1 {
  max-width: 13ch;
  margin: .45rem 0 1.25rem;
  color: #f4f7f7;
  font-size: clamp(3rem, 7vw, 6.8rem);
  line-height: .88;
  letter-spacing: -.06em;
}

.dre-hero h1 span { color: var(--cyan); }
.dre-hero .hero-lede { max-width: 62ch; color: #c2ccd0; }
.dre-hero .button-secondary {
  color: #eef7f8;
  border-color: rgba(106, 226, 234, .42);
  background: rgba(13, 30, 39, .78);
}
.dre-hero .button-secondary:hover,
.dre-hero .button-secondary:focus-visible {
  color: #ffffff;
  border-color: var(--cyan);
  background: rgba(21, 56, 67, .92);
}
.dre-hero-principle {
  display: inline-block;
  margin: 1.6rem 0 0;
  padding: .55rem .7rem;
  border-left: 3px solid var(--amber);
  color: #f4d58f;
  font: 700 .77rem/1.3 var(--mono);
  letter-spacing: .09em;
}

.dre-hero-map {
  display: grid;
  grid-template-columns: repeat(5, minmax(0, 1fr));
  gap: 1px;
  padding: 1px;
  border: 1px solid rgba(106, 226, 234, .24);
  background: rgba(106, 226, 234, .15);
  box-shadow: 0 32px 80px rgba(0, 0, 0, .32);
}

.dre-hero-stage {
  position: relative;
  min-height: 145px;
  padding: 1rem;
  background: rgba(7, 13, 19, .96);
}

.dre-hero-stage::after {
  content: "";
  position: absolute;
  right: -1px;
  top: 50%;
  width: 9px;
  height: 1px;
  background: var(--cyan);
  opacity: .55;
}

.dre-hero-stage:nth-child(5)::after,
.dre-hero-stage:last-child::after { display: none; }
.dre-hero-stage .mono { display: block; margin-bottom: 1.2rem; color: var(--cyan); font-size: .72rem; }
.dre-hero-stage strong { display: block; color: #f3f7f8; font-size: .86rem; text-transform: uppercase; letter-spacing: .04em; }
.dre-hero-stage small { display: block; margin-top: .55rem; color: #91a1a8; font-size: .72rem; line-height: 1.45; }

.dre-boundary {
  border-bottom: 1px solid rgba(240, 183, 74, .22);
  background: #11100b;
}

.dre-boundary-grid {
  display: grid;
  grid-template-columns: auto 1fr auto;
  gap: 1rem;
  align-items: center;
  min-height: 48px;
  color: #d5cdbb;
  font-size: .76rem;
}
.dre-boundary strong { color: var(--amber); letter-spacing: .07em; }
.dre-boundary .mono { color: #d8dde0; }

.dre-workbench {
  position: relative;
  background: #080d12;
  color: #d8e0e3;
  border-bottom: 1px solid var(--line-dark);
}

.dre-commandbar {
  position: sticky;
  top: var(--header-height, 0px);
  z-index: 30;
  display: grid;
  grid-template-columns: minmax(200px, .85fr) minmax(360px, 1.4fr) auto;
  gap: 1rem;
  align-items: center;
  min-height: 74px;
  padding: .8rem clamp(1rem, 2.5vw, 2.75rem);
  border-top: 1px solid rgba(71, 213, 226, .2);
  border-bottom: 1px solid rgba(71, 213, 226, .2);
  background: rgba(7, 13, 19, .96);
  backdrop-filter: blur(14px);
}

.dre-command-identity { min-width: 0; }
.dre-command-identity strong,
.dre-command-identity .mono { display: block; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.dre-command-identity strong { color: #f2f6f7; font: 700 .88rem/1.2 var(--mono); }
.dre-command-identity .mono { margin-top: .2rem; color: #7f929a; font-size: .7rem; }

.dre-command-state {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 1px;
  background: rgba(133, 151, 160, .15);
}
.dre-command-state span { min-width: 0; padding: .55rem .7rem; background: #0b1117; }
.dre-command-state b,
.dre-command-state em { display: block; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.dre-command-state b { color: #7f929a; font: 600 .64rem/1.2 var(--mono); text-transform: uppercase; letter-spacing: .08em; }
.dre-command-state em { margin-top: .22rem; color: #e8edef; font-style: normal; font-size: .78rem; }
.dre-command-actions { display: flex; gap: .45rem; flex-wrap: wrap; justify-content: flex-end; }
.dre-command-actions .button { min-height: 38px; padding: .62rem .82rem; font-size: .7rem; }

.dre-layout {
  display: grid;
  grid-template-columns: minmax(250px, 330px) minmax(460px, 1fr) minmax(260px, 350px);
  min-height: 760px;
}

.dre-controls,
.dre-inspector {
  min-width: 0;
  padding: 1.25rem;
  background: #0a1016;
}
.dre-controls { border-right: 1px solid var(--line-dark); }
.dre-inspector { border-left: 1px solid var(--line-dark); }
.dre-center { min-width: 0; background: #070c11; }

.dre-panel-heading {
  display: flex;
  gap: .8rem;
  align-items: flex-start;
  margin-bottom: 1.15rem;
  padding-bottom: .9rem;
  border-bottom: 1px solid var(--line-dark);
}
.dre-panel-heading > .mono { color: var(--cyan); font-size: .75rem; }
.dre-panel-heading h2 { margin: .18rem 0 0; color: #edf2f3; font-size: 1.04rem; line-height: 1.2; }

.dre-controls form { display: grid; gap: .9rem; }
.dre-controls label { display: grid; gap: .38rem; }
.dre-controls label > span { color: #cfd8dc; font: 650 .72rem/1.2 var(--mono); text-transform: uppercase; letter-spacing: .045em; }
.dre-controls select {
  width: 100%;
  min-height: 42px;
  border: 1px solid #2b3a43;
  border-radius: 0;
  color: #f2f6f7;
  background: #071018;
  padding: .65rem .72rem;
}
.dre-controls select:focus { border-color: var(--cyan); outline: 2px solid rgba(53, 209, 224, .25); outline-offset: 2px; }
.dre-controls small { color: #8799a1; line-height: 1.45; }
.dre-form-actions { display: grid; grid-template-columns: 1fr auto; gap: .55rem; margin-top: .3rem; }
.dre-form-actions .button { width: 100%; }

.dre-source-contract,
.dre-inspector-current,
.dre-proof-summary,
.dre-review-summary,
.dre-node-inspector {
  margin-top: 1.15rem;
  padding: 1rem;
  border: 1px solid #22313a;
  background: #081018;
}
.dre-source-contract h3,
.dre-inspector h3 { margin: .2rem 0 .65rem; color: #eef3f4; font-size: .95rem; }
.dre-source-contract dl,
.dre-inspector dl { display: grid; gap: 1px; margin: .9rem 0; background: rgba(120, 143, 153, .12); }
.dre-source-contract dl div,
.dre-inspector dl div { display: grid; grid-template-columns: 1fr auto; gap: .75rem; padding: .55rem .6rem; background: #0a1219; }
.dre-source-contract dt,
.dre-inspector dt { color: #84969e; font: 600 .65rem/1.35 var(--mono); text-transform: uppercase; }
.dre-source-contract dd,
.dre-inspector dd { margin: 0; color: #edf2f3; font-size: .72rem; text-align: right; overflow-wrap: anywhere; }

.dre-state-strip {
  display: grid;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  gap: 1px;
  border-bottom: 1px solid var(--line-dark);
  background: rgba(106, 226, 234, .13);
}
.dre-state-strip span { min-width: 0; padding: .7rem .85rem; background: #0b1219; }
.dre-state-strip b,
.dre-state-strip em { display: block; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.dre-state-strip b { color: #758a93; font: 600 .63rem/1.2 var(--mono); letter-spacing: .07em; }
.dre-state-strip em { margin-top: .2rem; color: #e8edef; font-style: normal; font-size: .78rem; }

.dre-graph-shell {
  position: relative;
  min-height: 590px;
  overflow: hidden;
  background:
    linear-gradient(rgba(85, 197, 209, .035) 1px, transparent 1px),
    linear-gradient(90deg, rgba(85, 197, 209, .035) 1px, transparent 1px),
    radial-gradient(circle at 50% 47%, rgba(17, 75, 88, .22), transparent 48%),
    #070c11;
  background-size: 25px 25px, 25px 25px, auto, auto;
}
.dre-graph { display: block; width: 100%; min-width: 720px; height: 590px; }
.dre-edge { fill: none; stroke: #31444e; stroke-width: 2; stroke-dasharray: 5 5; vector-effect: non-scaling-stroke; }
.dre-edge-complete { stroke: #45c7d5; stroke-dasharray: none; opacity: .72; }
.dre-edge-active { stroke: #f1b94f; stroke-width: 3; stroke-dasharray: none; }
.dre-edge-pending { stroke: #2d3a42; opacity: .72; }
.dre-node { cursor: pointer; outline: none; }
.dre-node rect { fill: #0c151c; stroke: #33464f; stroke-width: 1.4; vector-effect: non-scaling-stroke; }
.dre-node text { pointer-events: none; fill: #dbe4e6; font-family: var(--mono); }
.dre-node-index { fill: #6f8994 !important; font-size: 10px; }
.dre-node-label { font-size: 11px; font-weight: 700; letter-spacing: .025em; text-transform: uppercase; }
.dre-node-state { fill: #8fa0a7 !important; font-size: 8.7px; }
.dre-node-complete rect { stroke: #31aebc; fill: #0a181e; }
.dre-node-complete .dre-node-state { fill: #7cd4dc !important; }
.dre-node-active rect,
.dre-node.is-active rect { stroke: var(--amber); stroke-width: 2.2; fill: #19170f; filter: drop-shadow(0 0 8px rgba(240, 183, 74, .22)); }
.dre-node-active .dre-node-state,
.dre-node.is-active .dre-node-state { fill: #f1ca75 !important; }
.dre-node-affected rect,
.dre-node-suspended-pending-review rect,
.dre-node-withdrawn-for-current-scope rect { stroke: var(--red); fill: #1a0e12; }
.dre-node-supported-with-qualifications rect { stroke: var(--amber); fill: #17140d; }
.dre-node:focus rect { stroke: #fff; stroke-width: 2.5; }

.dre-graph-overlay {
  position: absolute;
  left: .75rem;
  right: .75rem;
  bottom: .75rem;
  display: flex;
  justify-content: space-between;
  gap: 1rem;
  padding: .5rem .65rem;
  border: 1px solid rgba(64, 187, 200, .2);
  background: rgba(6, 12, 17, .9);
  color: #7e929b;
  font: 600 .65rem/1.4 var(--mono);
}

.dre-timeline { padding: .85rem 1rem 1.15rem; border-top: 1px solid var(--line-dark); background: #091017; }
.dre-timeline-controls { display: flex; gap: .4rem; align-items: center; flex-wrap: wrap; }
.dre-timeline-controls button,
.dre-timeline-controls select { min-height: 34px; border: 1px solid #2a3c45; border-radius: 0; color: #dae3e6; background: #0a141b; }
.dre-timeline-controls button { min-width: 38px; cursor: pointer; }
.dre-timeline-controls label { display: flex; gap: .4rem; align-items: center; margin-left: auto; color: #8799a1; font: 600 .68rem/1 var(--mono); }
.dre-timeline > input[type="range"] { width: 100%; margin: .85rem 0 .45rem; accent-color: var(--cyan); }
.dre-timeline-markers { display: grid; grid-template-columns: repeat(var(--marker-count, 10), minmax(4px, 1fr)); gap: 2px; margin: 0; padding: 0; list-style: none; }
.dre-timeline-markers button { display: block; width: 100%; min-height: 20px; padding: 0; border: 0; background: transparent; cursor: pointer; }
.dre-timeline-markers button span { display: block; width: 100%; height: 3px; background: #283740; }
.dre-timeline-markers button.is-past span { background: #2ca5b3; }
.dre-timeline-markers button.is-active span { height: 7px; background: var(--amber); }

.dre-inspector-current p,
.dre-proof-summary p,
.dre-review-summary p,
.dre-node-inspector p { color: #91a1a8; font-size: .78rem; line-height: 1.55; }
.dre-proof-counts { display: grid; grid-template-columns: repeat(3, 1fr); gap: .4rem; }
.dre-proof-counts span { padding: .6rem .45rem; border: 1px solid #2a3840; text-align: center; color: #aab7bc; font: 600 .63rem/1.25 var(--mono); }
.dre-proof-counts b { display: block; font-size: 1.25rem; }
.dre-proof-counts .is-pass b { color: var(--green); }
.dre-proof-counts .is-fail b { color: var(--red); }
.dre-proof-counts .is-unknown b { color: var(--amber); }
.dre-review-summary ul { padding-left: 1.1rem; }
.dre-review-summary li { margin: .35rem 0; color: #aebbc0; font-size: .75rem; }
.dre-node-inspector > strong { display: inline-block; margin-top: .2rem; color: var(--cyan); font: 700 .7rem/1.2 var(--mono); }

.dre-representations { border-top: 1px solid var(--line-dark); background: #080e14; }
.dre-tabs { display: flex; overflow-x: auto; border-bottom: 1px solid var(--line-dark); background: #0a1118; scrollbar-width: thin; }
.dre-tabs button { flex: 0 0 auto; min-height: 47px; padding: .7rem 1rem; border: 0; border-right: 1px solid var(--line-dark); border-bottom: 2px solid transparent; color: #8fa1a9; background: transparent; font: 650 .67rem/1.2 var(--mono); letter-spacing: .035em; text-transform: uppercase; cursor: pointer; }
.dre-tabs button[aria-selected="true"] { color: #edf4f5; border-bottom-color: var(--cyan); background: #0c151c; }
.dre-tabs button:focus-visible { outline: 2px solid #fff; outline-offset: -3px; }
.dre-tabpanel { min-height: 260px; padding: clamp(1rem, 2.7vw, 2.25rem); }
.dre-panel-copy { max-width: 76ch; }
.dre-panel-copy h2,
.dre-narrative h2,
.dre-review-grid h2,
.dre-change-grid h2 { color: #f0f4f5; font-size: clamp(1.4rem, 2.5vw, 2.3rem); }
.dre-panel-copy p,
.dre-narrative p,
.dre-review-grid p,
.dre-change-grid p { color: #9eafb6; }

.dre-causal-chain { display: grid; grid-template-columns: repeat(5, minmax(0, 1fr)); gap: 1px; margin-top: 1.5rem; background: rgba(100, 211, 222, .15); }
.dre-causal-state { min-height: 70px; padding: .8rem; background: #0a1219; color: #c3cdd0; font: 600 .72rem/1.4 var(--mono); }
.dre-causal-state b { display: block; margin-top: .4rem; color: #82969f; font-size: .62rem; }
.dre-causal-complete b { color: var(--cyan); }
.dre-causal-active b { color: var(--amber); }
.dre-causal-suspended-pending-review b,
.dre-causal-withdrawn-for-current-scope b { color: var(--red); }

.dre-table-wrap { width: 100%; overflow-x: auto; margin-bottom: 1.2rem; border: 1px solid #21313a; }
.dre-table-wrap table { width: 100%; min-width: 700px; border-collapse: collapse; }
.dre-table-wrap caption { padding: .75rem; color: #aebcc1; background: #0c151c; text-align: left; font: 700 .72rem/1.3 var(--mono); }
.dre-table-wrap th,
.dre-table-wrap td { padding: .65rem .75rem; border-top: 1px solid #1e2d35; color: #aab8bd; text-align: left; vertical-align: top; font-size: .76rem; }
.dre-table-wrap th { color: #e4ebed; font-weight: 700; }
.dre-table-wrap thead th { background: #0b131a; color: #91a5ad; font: 650 .65rem/1.25 var(--mono); text-transform: uppercase; }

.dre-narrative { max-width: 84ch; }
.dre-narrative li { margin: .45rem 0; color: #aab8bd; }
.dre-metrics-grid { display: grid; grid-template-columns: repeat(4, minmax(0, 1fr)); gap: .65rem; margin-bottom: 1rem; }
.dre-metric { padding: .85rem; border: 1px solid #24353d; background: #0a131a; }
.dre-metric span { display: block; color: #7f939b; font: 600 .64rem/1.25 var(--mono); text-transform: uppercase; }
.dre-metric strong { display: block; margin-top: .35rem; color: #edf3f4; font: 700 1.1rem/1.2 var(--mono); overflow-wrap: anywhere; }

.dre-event-log { display: grid; gap: 1px; margin: 0; padding: 0; list-style: none; background: #21313a; }
.dre-event-log button { display: grid; grid-template-columns: 88px 220px 1fr 160px; gap: .8rem; width: 100%; padding: .75rem; border: 0; color: #9daeb5; background: #0a1219; text-align: left; cursor: pointer; }
.dre-event-log button:hover,
.dre-event-log button.is-active { background: #0d1b22; }
.dre-event-log time,
.dre-event-log code { color: #7bd0d8; font-family: var(--mono); }
.dre-event-log strong { color: #e1e8ea; }

.dre-proof-grid { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: .75rem; }
.dre-proof-card { min-width: 0; padding: 1rem; border: 1px solid #2a3b43; background: #0a1219; }
.dre-proof-card.is-pass { border-left: 3px solid var(--green); }
.dre-proof-card.is-fail { border-left: 3px solid var(--red); }
.dre-proof-card h3 { margin: .45rem 0; color: #e7edef; font-size: .9rem; }
.dre-proof-card > strong { color: var(--green); font: 700 .7rem/1.2 var(--mono); }
.dre-proof-card.is-fail > strong { color: var(--red); }
.dre-proof-card pre { max-height: 160px; overflow: auto; padding: .6rem; color: #9fb2b9; background: #060b10; font-size: .66rem; }

.dre-review-grid,
.dre-change-grid { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 1rem; }
.dre-review-grid article,
.dre-change-grid article { padding: 1.25rem; border: 1px solid #25363f; background: #0a1219; }
.dre-review-grid dl { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: .5rem; }
.dre-review-grid dl div { padding: .65rem; border: 1px solid #20313a; }
.dre-review-grid dt { color: #84969e; font: 600 .62rem/1.25 var(--mono); text-transform: uppercase; }
.dre-review-grid dd { margin: .25rem 0 0; color: #e3eaec; font-size: .75rem; }
.dre-change-grid li { margin: .35rem 0; color: #aab9be; }
.dre-result-box { margin-top: 1rem; padding: 1rem; border: 1px solid var(--amber); background: #151209; color: #d5c9a9; }
.dre-result-box pre { overflow: auto; max-height: 320px; }

.dre-raw { max-height: 580px; overflow: auto; padding: 1rem; border: 1px solid #273841; color: #9fc4ca; background: #050a0f; font-size: .7rem; line-height: 1.55; }
.dre-loading { position: fixed; inset: 0; z-index: 100; display: grid; place-items: center; background: rgba(4, 8, 12, .76); }
.dre-loading > div { display: flex; gap: .8rem; align-items: center; padding: 1rem 1.25rem; border: 1px solid var(--cyan); background: #071018; color: #e9f1f2; font-family: var(--mono); }
.dre-spinner { width: 18px; height: 18px; border: 2px solid rgba(82, 214, 225, .25); border-top-color: var(--cyan); border-radius: 50%; animation: dre-spin .8s linear infinite; }
.dre-toast { position: fixed; right: 1rem; bottom: 1rem; z-index: 110; max-width: min(420px, calc(100vw - 2rem)); padding: .85rem 1rem; border: 1px solid var(--cyan); background: #071018; color: #eef4f5; box-shadow: 0 14px 40px rgba(0,0,0,.38); }

.dre-distinction-grid { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: .8rem; }
.dre-distinction-grid article { padding: 1rem; border: 1px solid #313b3d; background: rgba(255,255,255,.025); }
.dre-distinction-grid h3 { margin: .45rem 0; font-size: 1rem; }
.dre-distinction-grid h3 b { color: var(--amber); }
.dre-distinction-grid p { margin: 0; color: #9ca8ac; font-size: .8rem; }
.dre-distinction-grid .mono { color: var(--cyan); font-size: .65rem; }

@keyframes dre-spin { to { transform: rotate(360deg); } }

@media (max-width: 1320px) {
  .dre-layout { grid-template-columns: 280px minmax(440px, 1fr); }
  .dre-inspector { grid-column: 1 / -1; display: grid; grid-template-columns: repeat(4, minmax(0, 1fr)); gap: .75rem; border-top: 1px solid var(--line-dark); border-left: 0; }
  .dre-inspector > .dre-panel-heading { grid-column: 1 / -1; }
  .dre-inspector > section { margin-top: 0; }
  .dre-commandbar { grid-template-columns: .9fr 1.4fr; }
  .dre-command-actions { grid-column: 1 / -1; justify-content: flex-start; }
}

@media (max-width: 980px) {
  .dre-hero-grid { grid-template-columns: 1fr; }
  .dre-hero-map { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .dre-hero-stage { min-height: 116px; }
  .dre-commandbar { position: relative; top: auto; grid-template-columns: 1fr; }
  .dre-command-actions { grid-column: auto; }
  .dre-layout { grid-template-columns: 1fr; }
  .dre-controls { border-right: 0; border-bottom: 1px solid var(--line-dark); }
  .dre-center { overflow-x: auto; }
  .dre-inspector { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .dre-state-strip { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .dre-causal-chain { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .dre-metrics-grid { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .dre-proof-grid { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .dre-distinction-grid { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .dre-event-log button { grid-template-columns: 80px 1fr; }
  .dre-event-log button span,
  .dre-event-log button code { grid-column: 2; }
}

@media (max-width: 640px) {
  .dre-hero { padding-top: 3.75rem; }
  .dre-hero h1 { font-size: clamp(2.65rem, 15vw, 4.5rem); }
  .dre-hero-map { grid-template-columns: 1fr; }
  .dre-hero-stage { min-height: auto; }
  .dre-boundary-grid { grid-template-columns: 1fr; padding-block: .8rem; }
  .dre-commandbar { padding-inline: .75rem; }
  .dre-command-state { grid-template-columns: 1fr; }
  .dre-command-actions { display: grid; grid-template-columns: repeat(2, 1fr); }
  .dre-command-actions .button { width: 100%; }
  .dre-controls,
  .dre-inspector { padding: .9rem; }
  .dre-inspector { grid-template-columns: 1fr; }
  .dre-state-strip { grid-template-columns: 1fr; }
  .dre-graph-shell { min-height: 440px; overflow-x: auto; }
  .dre-graph { width: 760px; height: 440px; }
  .dre-graph-overlay { position: sticky; left: .5rem; width: calc(100vw - 2rem); flex-direction: column; }
  .dre-timeline-markers { gap: 1px; }
  .dre-causal-chain,
  .dre-metrics-grid,
  .dre-proof-grid,
  .dre-review-grid,
  .dre-change-grid,
  .dre-distinction-grid { grid-template-columns: 1fr; }
  .dre-event-log button { grid-template-columns: 1fr; }
  .dre-event-log button span,
  .dre-event-log button code { grid-column: auto; }
  .dre-tabpanel { padding: .9rem; }
}

@media (prefers-reduced-motion: reduce) {
  .dre-spinner { animation: none; }
  .dre-hero::before { display: none; }
}

@media (forced-colors: active) {
  .dre-edge,
  .dre-node rect,
  .dre-proof-card,
  .dre-boundary,
  .dre-table-wrap { forced-color-adjust: auto; }
  .dre-node rect { fill: Canvas; stroke: CanvasText; }
  .dre-node.is-active rect { stroke: Highlight; }
  .dre-edge-active { stroke: Highlight; }
  .dre-causal-state,
  .dre-source-contract,
  .dre-inspector-current,
  .dre-proof-summary,
  .dre-review-summary,
  .dre-node-inspector { border: 1px solid CanvasText; }
}

@media print {
  .dre-command-actions,
  .dre-controls form,
  .dre-timeline-controls,
  .dre-tabs,
  .dre-loading,
  .dre-toast { display: none !important; }
  .dre-commandbar { position: static; }
  .dre-layout { display: block; }
  .dre-graph-shell { min-height: 0; }
  .dre-tabpanel[hidden] { display: block !important; }
}