/* Durable Execution v1 — shared Frozion language, isolated page components. */
:root {
  --de-nav-height: 70px;
  --de-muted: #626a70;
}
.de-hero {
  padding:32px 0 0;
  background: radial-gradient(
    ellipse at 85% 20%,
    #f2f1ff 0,
    #f8fafa 32%,
    #ffffff 68%
  );
}
.de-breadcrumb {
  display: flex;
  flex-wrap: wrap;
  gap:8px 16px;
  font-size:12px;
  color: var(--de-muted);
  margin-bottom:64px;
}
.de-breadcrumb a {
  color: inherit;
}
.de-hero h1 {
  font-size:clamp(3rem, 5.2vw, 4.5rem);
}
.de-hero-lead {
  font-size:20px;
  line-height: 1.65;
  color: #424a50;
  max-width: 640px;
}
.de-hero p:not(.de-hero-lead) {
  font-size:14px;
  line-height: 1.9;
}
.de-section {
  padding:96px 0;
  scroll-margin-top: calc(var(--header-height) + var(--de-nav-height) + 20px);
}
.de-section h2 {
  font-size:clamp(2rem, 3.4vw, 3rem);
}
.de-section p {
  font-size:14px;
  line-height: 1.85;
}
.de-section .lead-copy {
  font-size:20px;
  line-height: 1.65;
}
.de-wash {
  background: #f8fafa;
}
.section-heading {
  margin-bottom:48px;
}
.de-subsection {
  margin-top:64px;
}
.feature-heading {
  font-size:clamp(1.5rem, 2.4vw, 2rem);
  line-height: 1.2;
  letter-spacing: -0.035em;
  margin-bottom:24px;
}
.de-label {
  font-size:12px;
  line-height: 1.7;
  letter-spacing: 0.75px;
  color: var(--de-muted);
}
.de-section .text-link {
  display: inline-block;
  font-size:12px;
}
.de-badge {
  display: inline-block;
  font-size:12px;
  line-height: 1.5;
  color: #2f1d99;
  background: #f2f1ff;
  border: 1px solid #e1ddff;
  border-radius: 5px;
  padding:6px 8px;
}
.de-badge.amber {
  color: #664200;
  background: #fff9e6;
  border-color: #fff0bf;
}
.de-cover {
  border: 1px solid #e1ddff;
  border-radius: 16px;
  background: #ffffff;
  overflow: hidden;
  box-shadow: 0 20px 60px #2f1d990d;
}
.de-cover figcaption {
  display: flex;
  justify-content: space-between;
  gap:16px;
  padding:16px 24px;
  font-size:12px;
  color: var(--de-muted);
  background: #f2f1ff;
  border-bottom: 1px solid var(--line);
}
.de-cover figcaption span:last-child {
  text-align: right;
}
.de-cover-title {
  padding:24px 24px 16px;
  display: flex;
  justify-content: space-between;
  align-items: center;
  gap:16px;
}
.de-cover-title h2 {
  font-size:24px;
  margin:8px 0 0;
}
.de-cover-title .de-label {
  font-size:12px;
}
.de-cover-title .de-badge {
  max-width: 120px;
}
.de-cover-path {
  list-style: none;
  padding:0 24px 16px;
  margin:0;
}
.de-cover-path li {
  position: relative;
  display: grid;
  grid-template-columns: 28px 1fr auto;
  gap:16px;
  align-items: center;
  padding:24px 0;
  border-top: 1px solid #f2f1ff;
}
.de-step-dot {
  width: 28px;
  height: 28px;
  display: grid;
  place-items: center;
  border: 1px solid #e1ddff;
  background: #f8fafa;
  color: #626a70;
  border-radius: 50%;
  font-size:12px;
}
.done .de-step-dot {
  color: #007260;
  border-color: #bdc3c6;
  background: #eef1f2;
}
.current .de-step-dot {
  color: var(--brand);
  border-color: #beb6ff;
  background: #f2f1ff;
}
.de-cover-path strong {
  display: block;
  font-size:12px;
  font-weight: 500;
}
.de-cover-path small {
  display: block;
  font-size:12px;
  color: var(--de-muted);
  margin-top:5px;
}
.de-step-state {
  font-size:12px;
  color: var(--de-muted);
  max-width: 75px;
  text-align: right;
}
.de-cover-footer {
  padding:24px 24px;
  background: #f2f1ff;
  border-top: 1px solid #e1ddff;
}
.de-cover-footer strong {
  display: block;
  font-size:12px;
  color: #1f1266;
}
.de-cover-footer span {
  display: block;
  font-size:12px;
  color: var(--de-muted);
  margin-top:8px;
}
.de-foundation {
  margin-top:72px;
  padding:24px 0 32px;
  border-top: 1px solid var(--line);
}
.de-foundation > span {
  display: block;
  font-size:12px;
  color: var(--de-muted);
  margin-bottom:16px;
}
.de-foundation > div {
  display: flex;
  flex-wrap: wrap;
  gap:16px 32px;
}
.de-foundation strong {
  font-size:12px;
  font-weight: 500;
}
.de-adoption-strip {
  display: grid;
  grid-template-columns: 1fr auto 1fr auto 1fr;
  gap:24px;
  border-block: 1px solid var(--line);
  margin-top:32px;
  padding:32px 0;
  align-items: center;
}
.de-adoption-strip strong {
  display: block;
  font-size:16px;
  font-weight: 500;
  line-height: 1.5;
  margin-top:16px;
}
.de-strip-arrow {
  color:#4128cc;
  font-size:20px;
}
.de-section .de-scope-note {
  margin:16px 0 0;
  color: var(--de-muted);
  font-size:12px;
}
.de-capability-nav {
  position: sticky;
  top: var(--header-height);
  z-index: 900;
  background: #fffffff5;
  backdrop-filter: blur(12px);
  border-block: 1px solid var(--line);
}
.de-capability-links {
  display: grid;
  grid-template-columns: repeat(4, 1fr);
}
.de-capability-links a {
  padding:24px 16px;
  border-bottom: 3px solid transparent;
  color: #626a70;
  font-size:12px;
  white-space: nowrap;
}
.de-capability-links a > span {
  font-size:12px;
  margin-right:16px;
}
.de-capability-links a.active {
  color: var(--brand);
  border-bottom-color: var(--brand);
  background: linear-gradient(0deg, #f2f1ff, transparent);
}
.de-capability-mobile {
  display: none;
}
.de-state-grid {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  border-block: 1px solid #e1ddff;
}
.de-state-grid > div {
  padding:32px;
  border-right: 1px solid #e1ddff;
}
.de-state-grid > div:first-child {
  padding-left:0;
}
.de-state-grid > div:last-child {
  border-right: 0;
  padding-right:0;
}
.de-state-grid h3 {
  margin:16px 0;
  font-size:20px;
}
.de-state-grid p {
  font-size:12px;
  margin:0;
}
.de-explorer {
  border: 1px solid #e1ddff;
  border-radius: 16px;
  background: #ffffff;
  overflow: hidden;
  scroll-margin-top: calc(var(--header-height) + var(--de-nav-height) + 24px);
}
.de-explorer-head {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap:32px;
  padding:32px;
  background: #f2f1ff;
  border-bottom: 1px solid #e1ddff;
}
.de-explorer-head h3 {
  font-size:24px;
  margin:16px 0;
}
.de-explorer-head p {
  font-size:12px;
  margin:0;
  color: var(--de-muted);
}
.de-scenario-control {
  min-width: 280px;
}
.de-scenario-control label {
  display: block;
  font-size:12px;
  margin-bottom:8px;
  color: var(--de-muted);
}
.de-scenario-control select {
  font-size:12px;
  padding-block:8px;
  border-color: #e1ddff;
  color: #1f1266;
}
.de-instance-bar {
  display: grid;
  grid-template-columns: repeat(4, 1fr);
  gap:24px;
  padding:24px 32px;
  border-bottom: 1px solid #f2f1ff;
}
.de-instance-bar > div {
  border-right: 1px solid #f2f1ff;
  padding-right:16px;
}
.de-instance-bar > div:last-child {
  border: 0;
  padding:0;
}
.de-instance-bar span {
  display: block;
  font-size:12px;
  color: var(--de-muted);
}
.de-instance-bar strong {
  display: block;
  font-size:16px;
  color: #1f1266;
  margin-top:8px;
}
.de-explorer-body {
  display: grid;
  grid-template-columns: 1.15fr 1fr;
}
.de-snapshot {
  padding:32px 32px;
}
.de-snapshot h4 {
  font-size:20px;
  margin:0 0 24px;
}
.de-snapshot dl {
  margin:0;
}
.de-snapshot dl > div {
  display: grid;
  grid-template-columns: 145px 1fr;
  gap:24px;
  padding:16px 0;
  border-top: 1px solid #f2f1ff;
}
.de-snapshot dt {
  font-size:12px;
  color: var(--de-muted);
  font-weight: 500;
}
.de-snapshot dd {
  font-size:12px;
  color: #424a50;
  line-height: 1.7;
  margin:0;
}
.de-snapshot-note {
  margin-top:24px;
  padding-left:16px;
  border-left: 2px solid #beb6ff;
  color: var(--de-muted);
  font-size:12px;
  line-height: 1.8;
}
.de-next-action {
  padding:32px 32px;
  background: #f2f1ff;
  border-left: 1px solid #e1ddff;
}
.de-next-action h4 {
  font-size:24px;
  line-height: 1.22;
  margin:24px 0 16px;
}
.de-next-action p {
  font-size:14px;
}
.de-next-action dl {
  margin:24px 0;
}
.de-next-action dl > div {
  padding:16px 0;
  border-top: 1px solid #e1ddff;
}
.de-next-action dt {
  font-size:12px;
  color: var(--de-muted);
  font-weight: 500;
  margin-bottom:8px;
}
.de-next-action dd {
  font-size:12px;
  color: #1f1266;
  margin:0;
  line-height: 1.8;
}
.de-result-note {
  font-size:12px;
  color: #1f1266;
  border-left: 2px solid #beb6ff;
  padding-left:16px;
  line-height: 1.8;
}
.de-next-action.is-ready,
.de-next-action.is-confirmed {
  background: #f8fafa;
}
.de-next-action.is-ready .de-badge,
.de-next-action.is-confirmed .de-badge {
  background: #e6fffa;
  color: #007260;
  border-color: #ceffe2;
}
.de-next-action.is-held,
.de-next-action.is-ambiguous {
  background: #fff9e6;
}
.de-next-action.is-held .de-badge,
.de-next-action.is-ambiguous .de-badge {
  background: #fff9e6;
  color: #664200;
  border-color: #fff0bf;
}
.de-next-action.is-invalidated {
  background: #ffecee;
}
.de-next-action.is-invalidated .de-badge {
  background: #ffecee;
  color: #701024;
  border-color: #ffd2d7;
}
.de-explorer-footer {
  padding:24px 32px;
  border-top: 1px solid #e1ddff;
  display: flex;
  flex-direction: column;
  gap:7px;
}
.de-explorer-footer strong {
  font-size:12px;
  color: #1f1266;
  font-weight: 500;
}
.de-explorer-footer span {
  font-size:12px;
  color: var(--de-muted);
}
.de-contract,
.de-operation-record,
.de-review-package {
  border: 1px solid #e1ddff;
  background: #f8fafa;
  border-radius: 12px;
  padding:32px;
}
.de-contract dl,
.de-operation-record dl,
.de-review-package dl {
  margin:24px 0 0;
}
.de-contract dl > div,
.de-operation-record dl > div,
.de-review-package dl > div {
  display: grid;
  grid-template-columns: 140px 1fr;
  gap:24px;
  padding:16px 0;
  border-top: 1px solid #f2f1ff;
}
.de-contract dt,
.de-operation-record dt,
.de-review-package dt {
  font-size:12px;
  color: var(--de-muted);
  font-weight: 500;
}
.de-contract dd,
.de-operation-record dd,
.de-review-package dd {
  font-size:12px;
  color: #1f1266;
  line-height: 1.75;
  margin:0;
}
.de-continuity-band {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap:48px;
  padding:32px;
  border: 1px solid #e1ddff;
  border-radius: 12px;
  background: #f2f1ff;
  align-items: center;
}
.de-continuity-band h3 {
  font-size:24px;
  line-height: 1.3;
  margin:16px 0 0;
}
.de-continuity-band p {
  font-size:14px;
  margin:0;
}
.de-review-package figcaption {
  display: flex;
  justify-content: space-between;
  gap:16px;
  margin-bottom:16px;
}
.de-review-package figcaption > span:last-child {
  font-size:12px;
  color: var(--de-muted);
  text-align: right;
}
.de-review-package h4 {
  font-size:24px;
}
.de-package-footer {
  border-top: 1px solid #e1ddff;
  padding-top:16px;
  font-size:12px;
  color: var(--de-muted);
}
.de-decision-grid {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  border-top: 1px solid var(--line);
  padding-top:32px;
  gap:32px;
}
.de-number {
  display: grid;
  place-items: center;
  width: 36px;
  height: 36px;
  background: #f2f1ff;
  color:#4128cc;
  border: 1px solid #e1ddff;
  border-radius: 8px;
  font-size:12px;
  margin-bottom:16px;
}
.de-decision-grid h3 {
  font-size:20px;
}
.de-decision-grid p {
  font-size:14px;
}
.de-material-change {
  display: grid;
  grid-template-columns: 1.2fr 1fr;
  gap:64px;
  padding-top:48px;
  border-top: 1px solid var(--line);
}
.de-binding-example {
  border: 1px solid #e1ddff;
  background: #f8fafa;
  border-radius: 12px;
  padding:32px;
  align-self: start;
}
.de-binding-example > div {
  padding:16px 0;
  border-bottom: 1px solid #e1ddff;
}
.de-binding-example > div > span {
  font-size:12px;
  color: var(--de-muted);
}
.de-binding-example strong {
  display: block;
  font-size:20px;
  color: #1f1266;
  margin:7px 0;
}
.de-binding-example small {
  font-size:12px;
  color: var(--de-muted);
}
.de-binding-example .changed strong {
  color: #701024;
}
.de-binding-example p {
  font-size:12px;
  margin:16px 0 0;
}
.de-binding-example p strong {
  font-size:12px;
}
.de-recovery-flow {
  display: grid;
  grid-template-columns: 0.85fr 1.4fr;
  border: 1px solid #e1ddff;
  border-radius: 12px;
  overflow: hidden;
  background: #ffffff;
}
.de-recovery-origin {
  padding:40px;
  background: #f2f1ff;
  align-content: center;
  border-right: 1px solid #e1ddff;
}
.de-recovery-origin h3 {
  font-size:32px;
  margin:24px 0;
}
.de-recovery-origin p {
  font-size:14px;
}
.de-recovery-branches {
  padding:0 32px;
}
.de-recovery-branches > div {
  padding:24px 0;
  border-bottom: 1px solid #f2f1ff;
}
.de-recovery-branches > div:last-child {
  border: 0;
}
.de-recovery-branches h4 {
  font-size:20px;
  margin:16px 0 16px;
}
.de-recovery-branches p {
  font-size:12px;
  margin:0;
}
.de-section .de-architecture-note {
  font-size:12px;
  color: var(--de-muted);
  padding-left:16px;
  border-left: 2px solid #beb6ff;
}
.de-operation-record {
  background: #ffffff;
}
.de-operation-record h4 {
  margin:16px 0;
  font-size:24px;
  line-height: 1.3;
}
.de-effect-states {
  border-block: 1px solid #e1ddff;
  padding:40px 0;
  display: grid;
  grid-template-columns: 0.85fr 1.4fr;
  gap:48px;
}
.de-effect-states h3 {
  font-size:24px;
  line-height: 1.3;
  margin:16px 0;
}
.de-effect-states p {
  font-size:12px;
}
.de-effect-states dl {
  margin:0;
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap:24px 32px;
}
.de-effect-states dt {
  font-size:12px;
  font-weight: 600;
  color: #1f1266;
  margin-bottom:5px;
}
.de-effect-states dd {
  font-size:12px;
  color: var(--de-muted);
  margin:0;
}
.de-recovery-controls {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap:64px;
}
.de-evidence-board {
  border: 1px solid #e1ddff;
  border-radius: 12px;
  overflow: hidden;
  background: #f8fafa;
}
.de-evidence-title {
  padding:32px 32px;
  border-bottom: 1px solid #e1ddff;
}
.de-evidence-title h3 {
  font-size:24px;
  margin:16px 0 0;
}
.de-evidence-grid {
  display: grid;
  grid-template-columns: repeat(4, 1fr);
}
.de-evidence-grid > div {
  padding:32px;
  border-right: 1px solid #e1ddff;
}
.de-evidence-grid > div:last-child {
  border: 0;
}
.de-evidence-grid span {
  font-size:12px;
  color: var(--de-muted);
}
.de-evidence-grid strong {
  display: block;
  font-size:16px;
  line-height: 1.4;
  margin:16px 0;
}
.de-evidence-grid p {
  font-size:12px;
  margin:0;
}
.de-evidence-footer {
  padding:24px 32px;
  border-top: 1px solid #e1ddff;
  display: flex;
  gap:24px;
  justify-content: space-between;
  align-items: center;
}
.de-evidence-footer > span {
  font-size:12px;
  color: var(--de-muted);
  max-width: 700px;
}
.de-version-example {
  border-left: 2px solid #beb6ff;
  padding-left:32px;
}
.de-version-example > div {
  padding-bottom:16px;
}
.de-version-example > div:last-child {
  padding-top:16px;
  border-top: 1px solid #f2f1ff;
  padding-bottom:0;
}
.de-version-example strong {
  display: block;
  margin:16px 0 16px;
  font-size:16px;
}
.de-version-example p {
  font-size:12px;
  margin:0;
}
.de-operator-row {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  gap:32px;
  padding-top:32px;
  border-top: 1px solid var(--line);
}
.de-operator-row h3 {
  font-size:20px;
}
.de-operator-row p {
  font-size:14px;
}
.de-related-links a {
  display: flex;
  justify-content: space-between;
  align-items: center;
  gap:24px;
  padding:24px 0;
  border-bottom: 1px solid #e1ddff;
}
.de-related-links a:first-child {
  padding-top:0;
}
.de-related-links strong {
  display: block;
  font-size:16px;
  color: #4128cc;
}
.de-related-links small {
  display: block;
  font-size:12px;
  color: var(--de-muted);
  margin-top:7px;
}
.de-related-links b {
  font-weight: 400;
  color: #1f1266;
}
.de-faq .accordion-button {
  font-size:14px;
  line-height: 1.5;
  padding:24px 16px;
}
.de-faq .accordion-body {
  font-size:14px;
  line-height: 1.9;
}
@media (max-width: 1199.98px) {
  .de-cover-title {
    flex-direction: column;
    align-items: flex-start;
    gap:16px;
  }
  .de-cover-title .de-badge {
    max-width: none;
  }
  .de-cover-path li {
    grid-template-columns: 28px 1fr;
    gap:8px 16px;
  }
  .de-cover-path .de-step-state {
    grid-column: 2;
    text-align: left;
    max-width: none;
  }
  .de-explorer-head {
    gap:24px;
  }
  .de-scenario-control {
    min-width: 265px;
  }
  .de-snapshot dl > div {
    grid-template-columns: 120px 1fr;
    gap:16px;
  }
  .de-evidence-grid > div {
    padding:24px;
  }
}
@media (max-width: 991.98px) {
  .de-breadcrumb {
    margin-bottom:40px;
  }
  .de-cover {
    max-width: 670px;
    margin-inline:auto;
  }
  .de-cover-title {
    flex-direction: row;
    align-items: center;
  }
  .de-cover-path li {
    grid-template-columns: 28px 1fr auto;
  }
  .de-cover-path .de-step-state {
    grid-column: auto;
    text-align: right;
    max-width: 75px;
  }
  .de-section {
    padding:72px 0;
  }
  .de-capability-links a {
    padding-inline:8px;
  }
  .de-capability-links a > span {
    display: none;
  }
  .de-explorer-head {
    flex-direction: column;
    align-items: stretch;
  }
  .de-explorer-body {
    grid-template-columns: 1fr;
  }
  .de-next-action {
    border-left: 0;
    border-top: 1px solid #e1ddff;
  }
  .de-snapshot dl > div {
    grid-template-columns: 160px 1fr;
  }
  .de-continuity-band,
  .de-material-change,
  .de-recovery-flow,
  .de-effect-states {
    grid-template-columns: 1fr;
    gap:32px;
  }
  .de-recovery-flow {
    gap:0;
  }
  .de-recovery-origin {
    border-right: 0;
    border-bottom: 1px solid #e1ddff;
  }
  .de-recovery-origin h3 {
    font-size:24px;
  }
  .de-evidence-grid {
    grid-template-columns: 1fr 1fr;
  }
  .de-evidence-grid > div:nth-child(2) {
    border-right: 0;
  }
  .de-evidence-grid > div:nth-child(3),
  .de-evidence-grid > div:nth-child(4) {
    border-top: 1px solid #e1ddff;
  }
  .de-evidence-footer {
    align-items: flex-start;
    flex-direction: column;
    gap:16px;
  }
}
@media (max-width: 767.98px) {
  .de-hero h1 {
    font-size:clamp(3rem, 8.4vw, 4rem);
  }
  .de-hero-lead {
    font-size:20px;
  }
  .de-hero p:not(.de-hero-lead) {
    font-size:14px;
  }
  .de-hero .eyebrow {
    line-height: 1.8;
    letter-spacing: 0.8px;
  }
  .de-hero .status-dot {
    flex: 0 0 7px;
  }
  .de-breadcrumb {
    gap:8px 16px;
  }
  .de-foundation {
    margin-top:48px;
  }
  .de-foundation > div {
    gap:16px 24px;
  }
  .de-foundation strong {
    font-size:12px;
  }
  .de-section {
    padding:64px 0;
  }
  .de-section h2 {
    font-size:32px;
  }
  .de-section p {
    font-size:14px;
  }
  .de-subsection {
    margin-top:48px;
  }
  .feature-heading {
    font-size:24px;
  }
  .de-adoption-strip {
    grid-template-columns: 1fr;
    gap:16px;
  }
  .de-strip-arrow {
    transform: rotate(90deg);
    width: 24px;
    text-align: center;
  }
  .de-capability-links {
    display: none;
  }
  .de-capability-mobile {
    display: flex;
    align-items: center;
    gap:16px;
    padding:16px 0;
  }
  .de-capability-mobile label {
    font-size:12px;
    line-height: 1.6;
    color: var(--de-muted);
    text-transform: uppercase;
    letter-spacing: 0.6px;
    flex: 0 0 70px;
  }
  .de-capability-mobile select {
    font-size:12px;
    padding-block:8px;
    border-color: #e1ddff;
    color: #1f1266;
    border-radius: 5px;
  }
  .de-state-grid {
    grid-template-columns: 1fr;
  }
  .de-state-grid > div,
  .de-state-grid > div:first-child,
  .de-state-grid > div:last-child {
    padding:24px 0;
    border: 0;
    border-bottom: 1px solid #e1ddff;
  }
  .de-state-grid > div:last-child {
    border: 0;
  }
  .de-explorer-head {
    padding:24px 24px;
  }
  .de-explorer-head h3 {
    font-size:24px;
  }
  .de-explorer-head p {
    font-size:12px;
  }
  .de-scenario-control {
    min-width: 0;
  }
  .de-instance-bar {
    grid-template-columns: 1fr 1fr;
    padding:24px 24px;
    gap:24px 16px;
  }
  .de-instance-bar > div:nth-child(2) {
    border: 0;
    padding:0;
  }
  .de-instance-bar strong {
    font-size:16px;
  }
  .de-snapshot {
    padding:32px 24px;
  }
  .de-snapshot dl > div {
    grid-template-columns: 120px 1fr;
    gap:16px;
  }
  .de-next-action {
    padding:32px 24px;
  }
  .de-next-action h4 {
    font-size:24px;
  }
  .de-explorer-footer {
    padding:24px;
  }
  .de-contract,
  .de-operation-record,
  .de-review-package {
    padding:24px 24px;
  }
  .de-continuity-band {
    padding:32px 24px;
    gap:16px;
  }
  .de-continuity-band h3 {
    font-size:24px;
  }
  .de-decision-grid,
  .de-operator-row {
    grid-template-columns: 1fr;
    gap:24px;
  }
  .de-decision-grid > div,
  .de-operator-row > div {
    border-bottom: 1px solid var(--line);
    padding-bottom:24px;
  }
  .de-decision-grid > div:last-child,
  .de-operator-row > div:last-child {
    border: 0;
    padding-bottom:0;
  }
  .de-decision-grid p,
  .de-operator-row p {
    margin:0;
  }
  .de-binding-example {
    padding:24px 24px;
  }
  .de-binding-example p {
    font-size:12px;
  }
  .de-recovery-origin {
    padding:32px 24px;
  }
  .de-recovery-branches {
    padding-inline:24px;
  }
  .de-recovery-branches p {
    font-size:12px;
  }
  .de-effect-states {
    gap:16px;
    padding-block:32px;
  }
  .de-effect-states p {
    font-size:12px;
  }
  .de-recovery-controls {
    grid-template-columns: 1fr;
    gap:32px;
  }
  .de-evidence-title {
    padding:24px 24px;
  }
  .de-evidence-title h3 {
    font-size:24px;
  }
  .de-evidence-grid > div {
    padding:24px 24px;
  }
  .de-evidence-grid p {
    font-size:12px;
  }
  .de-evidence-footer {
    padding:24px;
  }
  .de-faq .accordion-button {
    padding-inline:16px;
    font-size:14px;
  }
  .de-faq .accordion-body {
    padding-inline:16px;
    font-size:12px;
  }
}
@media (max-width: 575.98px) {
  .de-cover figcaption {
    padding:16px 16px;
    font-size:12px;
    gap:16px;
  }
  .de-cover-title {
    padding:24px 16px 16px;
    flex-direction: column;
    align-items: flex-start;
  }
  .de-cover-title h2 {
    font-size:24px;
  }
  .de-cover-path {
    padding:0 16px 16px;
  }
  .de-cover-path li {
    grid-template-columns: 25px 1fr;
    gap:8px 16px;
    padding:16px 0;
  }
  .de-step-dot {
    width: 25px;
    height: 25px;
  }
  .de-cover-path .de-step-state {
    grid-column: 2;
    text-align: left;
    max-width: none;
  }
  .de-cover-footer {
    padding:24px 16px;
  }
  .de-snapshot dl > div,
  .de-contract dl > div,
  .de-operation-record dl > div,
  .de-review-package dl > div {
    grid-template-columns: 1fr;
    gap:7px;
    padding-block:16px;
  }
  .de-review-package figcaption {
    flex-direction: column;
    gap:8px;
  }
  .de-review-package figcaption > span:last-child {
    text-align: left;
  }
  .de-evidence-grid {
    grid-template-columns: 1fr;
  }
  .de-evidence-grid > div {
    border-right: 0;
    border-bottom: 1px solid #e1ddff;
  }
  .de-evidence-grid > div:nth-child(3),
  .de-evidence-grid > div:nth-child(4) {
    border-top: 0;
  }
}
@media (prefers-reduced-motion: reduce) {
  html {
    scroll-behavior: auto;
  }
}
@media print {
  .site-header,
  .de-capability-nav,
  .closing-section,
  .site-footer {
    display: none;
  }
  .de-section {
    padding:32px 0;
  }
  .de-cover,
  .de-explorer,
  .de-review-package,
  .de-operation-record {
    break-inside: avoid;
    box-shadow: none;
  }
  .accordion-collapse {
    display: block !important;
  }
}
