:root {
  --ink: #17221c;
  --muted: #65706a;
  --paper: #f5f7f5;
  --white: #ffffff;
  --line: #d8ded9;
  --green: #267452;
  --green-soft: #e1f0e7;
  --blue: #315b8a;
  --blue-soft: #e4edf7;
  --amber: #d99728;
  --amber-soft: #fff0c8;
  --coral: #c75c50;
  --coral-soft: #f7e5e1;
  --shadow: 0 18px 50px rgba(23, 34, 28, 0.1);
  --sans: "PingFang SC", "Microsoft YaHei", system-ui, sans-serif;
  --serif: "Songti SC", "STSong", serif;
  --mono: "SFMono-Regular", Consolas, monospace;
}

* {
  box-sizing: border-box;
  letter-spacing: 0;
}

html {
  scroll-behavior: smooth;
}

body {
  margin: 0;
  color: var(--ink);
  background: var(--paper);
  font-family: var(--sans);
  font-size: 15px;
  line-height: 1.65;
}

button,
a {
  -webkit-tap-highlight-color: transparent;
}

button {
  color: inherit;
  font: inherit;
}

a {
  color: inherit;
  text-decoration: none;
}

.skip-link {
  position: fixed;
  top: 8px;
  left: 8px;
  z-index: 100;
  padding: 8px 12px;
  color: var(--white);
  background: var(--ink);
  transform: translateY(-150%);
}

.skip-link:focus {
  transform: translateY(0);
}

:focus-visible {
  outline: 3px solid var(--amber);
  outline-offset: 3px;
}

.topbar {
  position: sticky;
  top: 0;
  z-index: 50;
  display: grid;
  grid-template-columns: 1fr auto 1fr;
  align-items: center;
  min-height: 70px;
  padding: 0 32px;
  background: rgba(245, 247, 245, 0.96);
  border-bottom: 1px solid var(--line);
  backdrop-filter: blur(14px);
}

.brand {
  display: inline-flex;
  gap: 11px;
  align-items: center;
  width: fit-content;
}

.brand-mark {
  display: grid;
  width: 38px;
  height: 38px;
  place-items: center;
  color: var(--white);
  background: var(--green);
  border-radius: 5px;
  font-family: var(--serif);
  font-size: 21px;
}

.brand strong,
.brand small {
  display: block;
}

.brand strong {
  font-size: 15px;
  line-height: 1.3;
}

.brand small {
  margin-top: 2px;
  color: var(--muted);
  font-family: var(--mono);
  font-size: 9px;
}

.topbar nav {
  display: flex;
  gap: 28px;
  color: #3f4c45;
  font-size: 13px;
}

.topbar nav a:hover {
  color: var(--green);
}

.demo-badge {
  justify-self: end;
  display: inline-flex;
  gap: 7px;
  align-items: center;
  color: var(--green);
  font-size: 12px;
  font-weight: 600;
}

.demo-badge i {
  width: 8px;
  height: 8px;
  background: var(--green);
  border-radius: 50%;
  box-shadow: 0 0 0 4px var(--green-soft);
}

.workbench {
  display: flex;
  min-height: calc(100dvh - 70px);
  padding: 34px 32px 22px;
  flex-direction: column;
}

.workbench-heading {
  display: flex;
  align-items: end;
  justify-content: space-between;
  width: min(1440px, 100%);
  margin: 0 auto 18px;
}

.kicker {
  margin: 0 0 4px;
  color: var(--green);
  font-family: var(--mono);
  font-size: 11px;
  font-weight: 700;
  text-transform: uppercase;
}

h1,
h2,
h3,
p {
  margin-top: 0;
}

h1 {
  margin-bottom: 0;
  font-family: var(--serif);
  font-size: 30px;
  font-weight: 700;
  line-height: 1.25;
}

.privacy-note {
  margin: 0 0 3px;
  color: var(--muted);
  font-size: 12px;
}

.privacy-note span {
  margin-right: 5px;
  color: var(--blue);
}

.case-switcher {
  display: inline-flex;
  width: min(1440px, 100%);
  margin: 0 auto 10px;
  border-bottom: 1px solid var(--line);
}

.case-button {
  position: relative;
  min-width: 112px;
  padding: 9px 14px 10px;
  background: transparent;
  border: 0;
  cursor: pointer;
  color: var(--muted);
  font-size: 13px;
}

.case-button::after {
  position: absolute;
  right: 12px;
  bottom: -1px;
  left: 12px;
  height: 2px;
  background: transparent;
  content: "";
}

.case-button.is-active {
  color: var(--ink);
  font-weight: 700;
}

.case-button.is-active::after {
  background: var(--green);
}

.desk-shell {
  display: grid;
  grid-template-columns: minmax(250px, 0.8fr) minmax(300px, 0.95fr) minmax(390px, 1.35fr);
  width: min(1440px, 100%);
  min-height: 510px;
  margin: 0 auto;
  overflow: hidden;
  background: var(--white);
  border: 1px solid #cdd5cf;
  border-radius: 7px;
  box-shadow: var(--shadow);
}

.desk-pane {
  min-width: 0;
  padding: 20px;
}

.desk-pane + .desk-pane {
  border-left: 1px solid var(--line);
}

.pane-title {
  display: flex;
  min-height: 28px;
  align-items: center;
  margin-bottom: 17px;
}

.pane-title > span {
  margin-right: 10px;
  color: var(--muted);
  font-family: var(--mono);
  font-size: 10px;
}

.pane-title b {
  font-size: 14px;
}

.pane-title mark {
  margin-left: auto;
  padding: 3px 9px;
  color: #7b560e;
  background: var(--amber-soft);
  border-radius: 4px;
  font-size: 11px;
  font-weight: 700;
}

.material-preview {
  position: relative;
  min-height: 118px;
  padding: 37px 15px 14px;
  background: #eef3ef;
  border-left: 3px solid var(--green);
}

.material-preview::after {
  position: absolute;
  right: 12px;
  bottom: 8px;
  color: #a7b3ab;
  content: "“";
  font-family: var(--serif);
  font-size: 64px;
  line-height: 1;
}

.material-preview p {
  position: relative;
  z-index: 1;
  margin-bottom: 0;
  font-family: var(--serif);
  font-size: 15px;
  line-height: 1.7;
}

.material-type {
  position: absolute;
  top: 10px;
  left: 14px;
  color: var(--blue);
  font-family: var(--mono);
  font-size: 10px;
  font-weight: 700;
}

.brief-list {
  margin: 18px 0 20px;
}

.brief-list div {
  display: grid;
  grid-template-columns: 74px 1fr;
  gap: 12px;
  padding: 9px 0;
  border-bottom: 1px solid #e7ebe8;
}

.brief-list dt {
  color: var(--muted);
  font-size: 11px;
}

.brief-list dd {
  margin: 0;
  font-size: 13px;
  font-weight: 600;
}

.run-button {
  display: flex;
  width: 100%;
  min-height: 43px;
  align-items: center;
  justify-content: center;
  gap: 9px;
  color: var(--white);
  background: var(--ink);
  border: 0;
  border-radius: 5px;
  cursor: pointer;
  font-weight: 700;
}

.run-button:hover {
  background: var(--green);
}

.run-button:disabled {
  cursor: progress;
  opacity: 0.68;
}

.run-icon {
  font-size: 10px;
}

.input-footnote {
  margin: 7px 0 0;
  color: var(--muted);
  text-align: center;
  font-size: 10px;
}

.process-pane {
  background: #fbfcfb;
}

.reset-button {
  display: grid;
  width: 30px;
  height: 30px;
  margin-left: auto;
  place-items: center;
  background: transparent;
  border: 0;
  border-radius: 50%;
  cursor: pointer;
  font-size: 18px;
}

.reset-button:hover {
  background: #edf1ee;
}

.process-list {
  position: relative;
  margin: 0;
  padding: 0;
  list-style: none;
}

.process-list::before {
  position: absolute;
  top: 18px;
  bottom: 19px;
  left: 8px;
  width: 1px;
  background: var(--line);
  content: "";
}

.process-list li {
  position: relative;
  display: grid;
  grid-template-columns: 18px 1fr auto;
  gap: 10px;
  min-height: 62px;
  align-items: start;
}

.process-list li > i {
  z-index: 1;
  width: 9px;
  height: 9px;
  margin: 7px 0 0 4px;
  background: var(--white);
  border: 2px solid #aeb8b1;
  border-radius: 50%;
  transition: background 180ms ease, border-color 180ms ease, box-shadow 180ms ease;
}

.process-list li span b,
.process-list li span small {
  display: block;
}

.process-list li span b {
  font-size: 13px;
}

.process-list li span small {
  margin-top: 2px;
  color: var(--muted);
  font-size: 10px;
}

.process-list li em {
  margin-top: 3px;
  color: #89928d;
  font-family: var(--mono);
  font-size: 9px;
  font-style: normal;
}

.process-list li.is-running > i {
  background: var(--amber);
  border-color: var(--amber);
  box-shadow: 0 0 0 5px var(--amber-soft);
}

.process-list li.is-running em {
  color: #9a660d;
}

.process-list li.is-done > i {
  background: var(--green);
  border-color: var(--green);
}

.process-list li.is-done em {
  color: var(--green);
}

.trace-line {
  display: flex;
  margin-top: 4px;
  padding-top: 14px;
  align-items: center;
  justify-content: space-between;
  border-top: 1px solid var(--line);
}

.trace-line span {
  color: var(--muted);
  font-size: 10px;
}

.trace-line strong {
  color: var(--blue);
  font-size: 11px;
}

.output-pane {
  display: flex;
  flex-direction: column;
}

.output-tabs {
  display: flex;
  gap: 4px;
  margin-bottom: 15px;
  padding-bottom: 10px;
  border-bottom: 1px solid var(--line);
}

.output-tab {
  min-width: 58px;
  padding: 6px 8px;
  color: var(--muted);
  background: transparent;
  border: 0;
  border-radius: 4px;
  cursor: pointer;
  font-size: 12px;
}

.output-tab:hover {
  background: #f0f3f1;
}

.output-tab.is-active {
  color: var(--white);
  background: var(--green);
  font-weight: 700;
}

.output-content {
  min-height: 310px;
  flex: 1;
}

.output-content h3 {
  margin-bottom: 11px;
  font-family: var(--serif);
  font-size: 25px;
  line-height: 1.4;
}

.output-content .lead {
  color: #34443b;
  font-size: 14px;
}

.output-content h4 {
  margin: 20px 0 8px;
  font-size: 12px;
}

.output-content ul,
.output-content ol {
  margin: 0;
  padding-left: 20px;
}

.output-content li {
  margin-bottom: 7px;
  color: #3f4b45;
  font-size: 12px;
}

.output-content .draft-block {
  padding: 14px 16px;
  background: #f5f7f5;
  border-left: 3px solid var(--blue);
  font-family: var(--serif);
  line-height: 1.85;
}

.output-content .source-row,
.output-content .record-row {
  display: grid;
  grid-template-columns: 92px 1fr;
  gap: 14px;
  padding: 11px 0;
  border-bottom: 1px solid #e7ebe8;
}

.output-content .source-row span,
.output-content .record-row span {
  color: var(--muted);
  font-size: 11px;
}

.output-content .source-row b,
.output-content .record-row b {
  font-size: 12px;
}

.output-content .pending {
  color: #8a600f;
}

.output-meta {
  display: flex;
  gap: 12px;
  min-height: 32px;
  padding-top: 12px;
  align-items: center;
  justify-content: space-between;
  border-top: 1px solid var(--line);
  color: var(--muted);
  font-size: 10px;
}

.output-meta span {
  overflow: hidden;
  text-overflow: ellipsis;
  white-space: nowrap;
}

.next-section {
  display: flex;
  gap: 12px;
  width: min(1440px, 100%);
  margin: auto auto 0;
  padding-top: 18px;
  align-items: center;
  justify-content: center;
  color: var(--muted);
  font-size: 11px;
}

.next-section i {
  color: var(--green);
  font-size: 16px;
  font-style: normal;
}

.proof-band,
.standards-band,
.boundaries-band,
.architecture-band {
  padding: 88px max(32px, calc((100% - 1280px) / 2));
}

.proof-band {
  background: #eaf0eb;
}

.section-heading {
  display: grid;
  grid-template-columns: 1fr 1.5fr;
  column-gap: 56px;
  align-items: end;
  margin-bottom: 42px;
}

.section-heading .kicker {
  grid-column: 1 / -1;
}

.section-heading h2,
.boundary-copy h2 {
  margin: 0;
  font-family: var(--serif);
  font-size: 36px;
  line-height: 1.3;
}

.section-heading > p:last-child {
  margin: 0;
  color: var(--muted);
  font-size: 14px;
}

.section-heading.compact {
  display: block;
}

.proof-layout {
  display: grid;
  grid-template-columns: minmax(0, 1.4fr) minmax(330px, 0.6fr);
  gap: 30px;
  align-items: stretch;
}

.proof-layout figure {
  margin: 0;
}

.document-proof {
  overflow: hidden;
  background: var(--white);
  border: 1px solid #ccd6ce;
  border-radius: 6px;
  box-shadow: 0 12px 35px rgba(23, 34, 28, 0.08);
}

.document-proof img {
  display: block;
  width: 100%;
  aspect-ratio: 930 / 480;
  object-fit: cover;
  object-position: top left;
}

.document-proof figcaption {
  display: flex;
  padding: 15px 18px;
  align-items: center;
  justify-content: space-between;
  border-top: 1px solid var(--line);
}

.document-proof figcaption span,
.record-proof figcaption {
  color: var(--muted);
  font-family: var(--mono);
  font-size: 9px;
}

.document-proof figcaption strong {
  font-size: 12px;
}

.proof-facts {
  display: flex;
  flex-direction: column;
  justify-content: space-between;
}

.proof-facts dl {
  display: grid;
  grid-template-columns: 1fr 1fr;
  margin: 0 0 24px;
  border-top: 1px solid #c6d0c8;
  border-left: 1px solid #c6d0c8;
}

.proof-facts dl div {
  min-height: 96px;
  padding: 16px;
  background: rgba(255, 255, 255, 0.56);
  border-right: 1px solid #c6d0c8;
  border-bottom: 1px solid #c6d0c8;
}

.proof-facts dt {
  color: var(--muted);
  font-size: 10px;
}

.proof-facts dd {
  margin: 9px 0 0;
  font-family: var(--serif);
  font-size: 20px;
  font-weight: 700;
}

mark {
  color: #73500b;
  background: var(--amber-soft);
}

.record-proof {
  overflow: hidden;
  background: var(--white);
  border: 1px solid #c6d0c8;
  border-radius: 5px;
}

.record-proof img {
  display: block;
  width: 100%;
  min-height: 104px;
  object-fit: cover;
  object-position: top left;
}

.record-proof figcaption {
  padding: 10px 12px;
  border-top: 1px solid var(--line);
}

.standards-band {
  background: var(--white);
}

.standards-grid {
  display: grid;
  grid-template-columns: repeat(4, 1fr);
  border-top: 1px solid var(--line);
  border-left: 1px solid var(--line);
}

.standards-grid article {
  min-height: 220px;
  padding: 26px 22px;
  border-right: 1px solid var(--line);
  border-bottom: 1px solid var(--line);
}

.standards-grid article:nth-child(1) {
  border-top: 4px solid var(--blue);
}

.standards-grid article:nth-child(2) {
  border-top: 4px solid var(--green);
}

.standards-grid article:nth-child(3) {
  border-top: 4px solid var(--coral);
}

.standards-grid article:nth-child(4) {
  border-top: 4px solid var(--amber);
}

.standard-code {
  color: var(--muted);
  font-family: var(--mono);
  font-size: 10px;
}

.standards-grid h3 {
  margin: 32px 0 11px;
  font-family: var(--serif);
  font-size: 19px;
  line-height: 1.45;
}

.standards-grid p {
  margin: 0;
  color: var(--muted);
  font-size: 12px;
}

.boundaries-band {
  display: grid;
  grid-template-columns: 0.8fr 1.2fr;
  gap: 80px;
  color: var(--white);
  background: #1d2922;
}

.boundary-copy .kicker {
  color: #85c5a2;
}

.boundary-copy > p:last-child {
  max-width: 390px;
  margin-top: 18px;
  color: #b8c4bc;
}

.boundary-columns {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 48px;
}

.boundary-columns h3 {
  display: flex;
  gap: 10px;
  align-items: center;
  margin-bottom: 22px;
  font-size: 14px;
}

.yes-dot,
.no-dot {
  width: 9px;
  height: 9px;
  border-radius: 50%;
}

.yes-dot {
  background: #6fc595;
}

.no-dot {
  background: #e37a6f;
}

.boundary-columns ul {
  margin: 0;
  padding: 0;
  list-style: none;
}

.boundary-columns li {
  padding: 12px 0;
  color: #d3dbd6;
  border-bottom: 1px solid #35423a;
  font-size: 12px;
}

.architecture-band {
  background: #eef2f6;
}

.tool-chain {
  display: grid;
  grid-template-columns: 1fr auto 1fr auto 1fr auto 1fr;
  gap: 18px;
  align-items: center;
}

.tool-chain > div {
  min-height: 108px;
  padding: 20px;
  background: var(--white);
  border: 1px solid #cad4dd;
  border-radius: 5px;
}

.tool-chain b,
.tool-chain span {
  display: block;
}

.tool-chain b {
  font-family: var(--serif);
  font-size: 18px;
}

.tool-chain span {
  margin-top: 17px;
  color: var(--muted);
  font-size: 11px;
}

.tool-chain > i {
  color: var(--blue);
  font-style: normal;
}

.isolation-note {
  display: flex;
  gap: 12px;
  margin-top: 24px;
  padding: 16px 20px;
  align-items: center;
  color: #294866;
  background: var(--blue-soft);
  border-left: 4px solid var(--blue);
  font-size: 12px;
}

footer {
  display: flex;
  min-height: 76px;
  padding: 0 32px;
  align-items: center;
  justify-content: space-between;
  color: #c1cbc4;
  background: #121b16;
  font-size: 11px;
}

@media (max-width: 1080px) {
  .topbar {
    grid-template-columns: 1fr auto;
  }

  .topbar nav {
    display: none;
  }

  .desk-shell {
    grid-template-columns: 0.9fr 1.1fr;
  }

  .output-pane {
    grid-column: 1 / -1;
    border-top: 1px solid var(--line);
    border-left: 0 !important;
  }

  .output-content {
    min-height: 260px;
  }

  .standards-grid {
    grid-template-columns: 1fr 1fr;
  }

  .boundaries-band {
    grid-template-columns: 1fr;
    gap: 44px;
  }
}

@media (max-width: 760px) {
  .topbar {
    min-height: 62px;
    padding: 0 16px;
  }

  .brand-mark {
    width: 34px;
    height: 34px;
  }

  .brand strong {
    font-size: 13px;
  }

  .brand small {
    display: none;
  }

  .demo-badge {
    font-size: 10px;
  }

  .workbench {
    min-height: auto;
    padding: 28px 16px 20px;
  }

  .workbench-heading {
    display: block;
  }

  h1 {
    font-size: 27px;
  }

  .privacy-note {
    margin-top: 12px;
  }

  .case-switcher {
    overflow-x: auto;
  }

  .case-button {
    min-width: 102px;
  }

  .desk-shell {
    display: block;
    min-height: 0;
  }

  .desk-pane + .desk-pane {
    border-top: 1px solid var(--line);
    border-left: 0;
  }

  .output-content {
    min-height: 320px;
  }

  .next-section {
    margin-top: 8px;
  }

  .proof-band,
  .standards-band,
  .boundaries-band,
  .architecture-band {
    padding: 64px 16px;
  }

  .section-heading {
    display: block;
    margin-bottom: 30px;
  }

  .section-heading h2,
  .boundary-copy h2 {
    font-size: 29px;
  }

  .section-heading > p:last-child {
    margin-top: 14px;
  }

  .proof-layout,
  .standards-grid,
  .boundary-columns {
    grid-template-columns: 1fr;
  }

  .proof-facts dl {
    margin-top: 8px;
  }

  .document-proof figcaption {
    display: block;
  }

  .document-proof figcaption strong {
    display: block;
    margin-top: 5px;
  }

  .standards-grid article {
    min-height: 178px;
  }

  .boundary-columns {
    gap: 32px;
  }

  .tool-chain {
    grid-template-columns: 1fr;
    gap: 8px;
  }

  .tool-chain > i {
    transform: rotate(90deg);
    text-align: center;
  }

  .tool-chain > div {
    min-height: 84px;
  }

  .tool-chain span {
    margin-top: 8px;
  }

  .isolation-note,
  footer {
    display: block;
  }

  .isolation-note span,
  footer span {
    display: block;
    margin-top: 7px;
  }

  footer {
    padding: 18px 16px;
  }
}

@media (prefers-reduced-motion: reduce) {
  html {
    scroll-behavior: auto;
  }

  *,
  *::before,
  *::after {
    scroll-behavior: auto !important;
    transition-duration: 0.01ms !important;
    animation-duration: 0.01ms !important;
    animation-iteration-count: 1 !important;
  }
}