html.theme-dark {
  color-scheme: dark;
  --dark-bg: #030812;
  --dark-bg-deep: #02050b;
  --dark-panel: #071320;
  --dark-panel-raised: #0a1b2b;
  --dark-panel-strong: #0d2235;
  --dark-text: #f2f7ff;
  --dark-copy: #c4d3e3;
  --dark-muted: #7f95aa;
  --dark-line: #14304a;
  --dark-line-strong: #245477;
  --dark-accent: #24c8f4;
  --dark-accent-strong: #7ce8ff;
  --dark-accent-secondary: #6fa7d8;
  --dark-accent-soft: #082b3b;
  --dark-success: #35d9a8;
  --blue: var(--dark-accent);
  --blue-dark: var(--dark-accent-strong);
  --blue-soft: var(--dark-accent-soft);
  --ink: var(--dark-text);
  --text: var(--dark-copy);
  --muted: var(--dark-muted);
  --line: var(--dark-line);
  --line-strong: var(--dark-line-strong);
  --surface: var(--dark-panel);
  --surface-blue: #05101b;
  --success: var(--dark-success);
  --shadow: 0 22px 54px rgba(0, 0, 0, 0.42);
}

.theme-dark body {
  color: var(--dark-copy);
  background:
    radial-gradient(circle at 14% 0%, rgba(36, 200, 244, 0.12), transparent 32rem),
    radial-gradient(circle at 86% 2%, rgba(124, 183, 255, 0.15), transparent 38rem),
    var(--dark-bg);
}

.theme-dark button:focus-visible,
.theme-dark a:focus-visible,
.theme-dark summary:focus-visible {
  outline-color: rgba(124, 232, 255, 0.82);
}

.theme-dark .site-header {
  color: var(--dark-text);
  background: rgba(3, 8, 18, 0.94);
  border-color: var(--dark-line);
  backdrop-filter: blur(16px);
}

.theme-dark .site-header.is-scrolled {
  box-shadow: 0 10px 28px rgba(0, 0, 0, 0.28);
}

.theme-dark .header-logo {
  filter: brightness(0) invert(1);
  opacity: 0.94;
}

.theme-dark .brand-mark {
  position: relative;
  color: var(--dark-text);
  background: linear-gradient(145deg, #0a3345, #121d3f);
  border-color: var(--dark-line-strong);
  box-shadow:
    0 0 24px rgba(36, 200, 244, 0.16),
    inset 0 1px 0 rgba(124, 232, 255, 0.32);
}

.theme-dark .brand-mark::after {
  content: "";
  position: absolute;
  right: -2px;
  bottom: -2px;
  width: 8px;
  height: 8px;
  background: #45f0b7;
  border: 2px solid var(--dark-bg);
  border-radius: 50%;
  box-shadow: 0 0 12px rgba(69, 240, 183, 0.82);
}

.theme-dark .header-cta {
  color: var(--dark-text);
  background: linear-gradient(135deg, #0b2537, #121d3a);
  border-color: var(--dark-line-strong);
  box-shadow: inset 0 1px 0 rgba(124, 232, 255, 0.1);
}

.theme-dark .header-cta:hover {
  color: #020812;
  background: linear-gradient(135deg, var(--dark-accent-strong), #9fcfbe);
  border-color: var(--dark-accent-strong);
}

.theme-dark .theme-toggle,
.theme-dark .language-toggle {
  color: var(--dark-muted);
  background: linear-gradient(145deg, rgba(10, 27, 43, 0.96), rgba(5, 16, 28, 0.96));
  border-color: var(--dark-line-strong);
  box-shadow: inset 0 1px 0 rgba(124, 232, 255, 0.08);
}

.theme-dark .language-toggle i {
  color: #38526a;
}

.theme-dark .language-toggle:not(.is-en) [data-language-option="zh"],
.theme-dark .language-toggle.is-en [data-language-option="en"] {
  color: #020812;
  background: linear-gradient(135deg, var(--dark-accent-strong), #9fcfbe);
  box-shadow: 0 0 16px rgba(36, 200, 244, 0.26);
}

.theme-dark .theme-toggle:hover,
.theme-dark .language-toggle:hover {
  color: var(--dark-text);
  border-color: var(--dark-accent);
  box-shadow:
    0 0 22px rgba(36, 200, 244, 0.14),
    inset 0 1px 0 rgba(124, 232, 255, 0.12);
}

.theme-dark .theme-toggle {
  color: var(--dark-accent-strong);
}

.theme-dark .brand-type small,
.theme-dark .desktop-nav,
.theme-dark .mobile-nav a {
  color: var(--dark-muted);
}

.theme-dark .desktop-nav a[aria-current="location"],
.theme-dark .desktop-nav a:hover,
.theme-dark .site-footer a:hover {
  color: var(--dark-text);
}

.theme-dark .reading-progress > span {
  background: linear-gradient(90deg, var(--dark-accent), var(--dark-accent-secondary));
}

.theme-dark .hero {
  background:
    linear-gradient(rgba(36, 200, 244, 0.055) 1px, transparent 1px),
    linear-gradient(90deg, rgba(36, 200, 244, 0.055) 1px, transparent 1px),
    radial-gradient(circle at 78% 30%, rgba(124, 183, 255, 0.15), transparent 28rem),
    radial-gradient(circle at 12% 6%, rgba(36, 200, 244, 0.09), transparent 24rem),
    linear-gradient(180deg, #04101b 0%, var(--dark-bg) 100%);
  background-size: 44px 44px, 44px 44px, auto, auto, auto;
  border-color: var(--dark-line);
}

.theme-dark .hero::before {
  background: linear-gradient(180deg, var(--dark-accent), var(--dark-accent-secondary));
  box-shadow: 8px 0 34px rgba(36, 200, 244, 0.2);
}

.theme-dark .hero::after {
  content: "";
  position: absolute;
  top: -22rem;
  right: -10rem;
  width: 56rem;
  height: 56rem;
  pointer-events: none;
  background:
    conic-gradient(from 190deg, transparent 0 20%, rgba(36, 200, 244, 0.38) 33%, rgba(123, 191, 168, 0.42) 46%, transparent 62%),
    radial-gradient(circle, rgba(40, 109, 255, 0.22), transparent 62%);
  border-radius: 50%;
  filter: blur(54px);
  opacity: 0.62;
  animation: hero-energy-drift 11s ease-in-out infinite alternate;
}

.theme-dark .hero-layout {
  position: relative;
  z-index: 1;
}

.theme-dark .hero-copy::before {
  content: "";
  width: 112px;
  height: 3px;
  margin-bottom: 25px;
  display: block;
  background: linear-gradient(90deg, var(--dark-accent), var(--dark-accent-secondary), transparent);
  box-shadow: 0 0 18px rgba(36, 200, 244, 0.48);
}

.theme-dark .hero h1 {
  color: transparent;
  background: linear-gradient(108deg, #ffffff 0%, #eef9ff 48%, #91edff 72%, #b8ddd0 100%);
  -webkit-background-clip: text;
  background-clip: text;
  -webkit-text-fill-color: transparent;
  text-shadow: 0 12px 44px rgba(124, 183, 255, 0.16);
}

.theme-dark .hero h1,
.theme-dark .section-heading h2,
.theme-dark .memory-flow figcaption,
.theme-dark .flow-input-list span,
.theme-dark .flow-memory-row strong,
.theme-dark .flow-output strong,
.theme-dark .problem-item h3,
.theme-dark .memory-card-head p,
.theme-dark .memory-card h3,
.theme-dark .memory-principle strong,
.theme-dark .comparison-table tbody th,
.theme-dark .comparison-table td strong,
.theme-dark .comparison-summary strong,
.theme-dark .case-intro h3,
.theme-dark .case-task h4,
.theme-dark .case-memory h4,
.theme-dark .case-outcome strong,
.theme-dark .faq-list summary {
  color: var(--dark-text);
}

.theme-dark .hero-lede,
.theme-dark .support-list li,
.theme-dark .memory-card li,
.theme-dark .comparison-summary p,
.theme-dark .case-task p,
.theme-dark .case-memory p,
.theme-dark .case-judgement-list li {
  color: var(--dark-copy);
}

.theme-dark .button-primary {
  color: #020812;
  background: linear-gradient(135deg, var(--dark-accent-strong), #9fcfbe);
  border-color: #65dff8;
  box-shadow:
    0 10px 34px rgba(36, 200, 244, 0.22),
    0 0 28px rgba(124, 183, 255, 0.12),
    inset 0 1px 0 rgba(255, 255, 255, 0.38);
  transition: transform 180ms ease, box-shadow 180ms ease, background 180ms ease;
}

.theme-dark .button-primary:hover {
  color: #020812;
  background: linear-gradient(135deg, #cde9df, #b8ddd0);
  border-color: var(--dark-accent-strong);
  box-shadow:
    0 14px 42px rgba(36, 200, 244, 0.32),
    0 0 34px rgba(124, 183, 255, 0.2),
    inset 0 1px 0 rgba(255, 255, 255, 0.5);
  transform: translateY(-2px);
}

.theme-dark .button-secondary,
.theme-dark .support-list li,
.theme-dark .flow-input-list span,
.theme-dark .install-box button,
.theme-dark .terminal-head button {
  color: var(--dark-text);
  background: var(--dark-panel-raised);
  border-color: var(--dark-line-strong);
}

.theme-dark .button-secondary:hover {
  color: var(--dark-accent-strong);
  background: linear-gradient(135deg, rgba(36, 200, 244, 0.16), rgba(123, 191, 168, 0.16));
  border-color: var(--dark-accent);
}

.theme-dark .install-box {
  background: #020811;
  border: 1px solid var(--dark-line-strong);
  box-shadow: inset 0 1px 0 rgba(124, 232, 255, 0.07);
}

.theme-dark .memory-flow,
.theme-dark .memory-card,
.theme-dark .memory-principle,
.theme-dark .case-shell,
.theme-dark .case-task,
.theme-dark .case-outcome,
.theme-dark .faq-list details {
  background: linear-gradient(145deg, rgba(10, 27, 43, 0.96), rgba(5, 16, 28, 0.96));
  border-color: var(--dark-line-strong);
  box-shadow: inset 0 1px 0 rgba(124, 232, 255, 0.07);
}

.theme-dark .memory-flow,
.theme-dark .case-shell {
  box-shadow:
    0 28px 78px rgba(0, 0, 0, 0.36),
    0 0 58px rgba(124, 183, 255, 0.07),
    inset 0 1px 0 rgba(124, 232, 255, 0.08);
}

.theme-dark .memory-flow {
  background:
    radial-gradient(circle at 92% 4%, rgba(124, 183, 255, 0.16), transparent 24rem),
    radial-gradient(circle at 8% 94%, rgba(36, 200, 244, 0.09), transparent 20rem),
    linear-gradient(145deg, rgba(10, 27, 43, 0.98), rgba(5, 16, 28, 0.98));
  border-color: rgba(91, 196, 255, 0.5);
}

.theme-dark .flow-input,
.theme-dark .flow-output,
.theme-dark .comparison-table tbody th,
.theme-dark .case-tabs,
.theme-dark .case-caveat {
  background: #05101b;
  border-color: var(--dark-line);
}

.theme-dark .flow-memory {
  border-color: var(--dark-line-strong);
}

.theme-dark .flow-memory-head {
  color: var(--dark-text);
  background: linear-gradient(90deg, rgba(36, 200, 244, 0.13), rgba(123, 191, 168, 0.14));
  box-shadow: inset 0 -1px 0 rgba(124, 232, 255, 0.14);
}

.theme-dark .flow-memory-row b,
.theme-dark .problem-item > span {
  color: var(--dark-accent-strong);
  background: var(--dark-accent-soft);
}

.theme-dark .section-pain,
.theme-dark .section-demo,
.theme-dark .section-cases {
  background: transparent;
}

.theme-dark .section-memories,
.theme-dark .section-faq {
  background:
    radial-gradient(circle at 8% 8%, rgba(36, 200, 244, 0.12), transparent 28rem),
    radial-gradient(circle at 92% 70%, rgba(123, 191, 168, 0.13), transparent 32rem),
    #050e18;
  border-color: var(--dark-line);
}

.theme-dark .section-index {
  display: inline-flex;
  align-items: center;
  gap: 10px;
  color: var(--dark-accent-strong);
  text-shadow: 0 0 20px rgba(36, 200, 244, 0.22);
}

.theme-dark .section-index::before {
  content: "";
  width: 28px;
  height: 2px;
  background: linear-gradient(90deg, var(--dark-accent), var(--dark-accent-secondary));
  box-shadow: 0 0 12px rgba(36, 200, 244, 0.48);
}

.theme-dark .section-heading h2 {
  color: transparent;
  background: linear-gradient(100deg, #f5f9ff, #dcecff 68%, #9fc9ff);
  -webkit-background-clip: text;
  background-clip: text;
}

.theme-dark .problem-list,
.theme-dark .problem-item {
  border-color: var(--dark-line-strong);
}

.theme-dark .problem-item {
  background: rgba(7, 19, 32, 0.72);
  transition: transform 180ms ease, background 180ms ease, border-color 180ms ease, box-shadow 180ms ease;
}

.theme-dark .problem-item:hover {
  background: linear-gradient(135deg, rgba(36, 200, 244, 0.09), rgba(123, 191, 168, 0.07));
  border-color: rgba(80, 197, 255, 0.55);
  box-shadow: 0 18px 44px rgba(0, 0, 0, 0.25);
  transform: translateY(-3px);
}

.theme-dark .research-note,
.theme-dark .memory-card {
  border-top-color: var(--dark-accent);
}

.theme-dark .memory-card {
  --card-accent: var(--dark-accent);
  position: relative;
  overflow: hidden;
  background:
    radial-gradient(circle at 12% 0%, color-mix(in srgb, var(--card-accent) 18%, transparent), transparent 44%),
    linear-gradient(145deg, rgba(10, 27, 43, 0.98), rgba(5, 16, 28, 0.98));
  transition: transform 200ms ease, border-color 200ms ease, box-shadow 200ms ease;
}

.theme-dark .memory-card:nth-child(2) {
  --card-accent: #6fa7d8;
}

.theme-dark .memory-card:nth-child(3) {
  --card-accent: #7bbfa8;
}

.theme-dark .memory-card::after {
  content: "";
  position: absolute;
  top: 0;
  right: 0;
  left: 0;
  height: 3px;
  background: linear-gradient(90deg, var(--card-accent), transparent 86%);
  box-shadow: 0 0 22px color-mix(in srgb, var(--card-accent) 55%, transparent);
}

.theme-dark .memory-card:hover {
  border-color: color-mix(in srgb, var(--card-accent) 58%, var(--dark-line));
  box-shadow:
    0 24px 60px rgba(0, 0, 0, 0.32),
    0 0 38px color-mix(in srgb, var(--card-accent) 12%, transparent);
  transform: translateY(-5px);
}

.theme-dark .research-note,
.theme-dark .memory-principle,
.theme-dark .comparison-summary,
.theme-dark .case-advantage {
  background: linear-gradient(135deg, rgba(13, 34, 53, 0.98), rgba(8, 28, 44, 0.98));
  border-color: var(--dark-line-strong);
}

.theme-dark .comparison-table-wrap {
  border-color: var(--dark-line-strong);
}

.theme-dark .comparison-table thead th {
  color: var(--dark-text);
  background: var(--dark-panel-strong);
}

.theme-dark .comparison-table td,
.theme-dark .comparison-table td:nth-child(3) {
  color: var(--dark-copy);
  background: var(--dark-panel);
}

.theme-dark .comparison-table td:nth-child(3) {
  background: var(--dark-accent-soft);
}

.theme-dark .section-how {
  background:
    radial-gradient(circle at 78% 45%, rgba(124, 183, 255, 0.07), transparent 28rem),
    var(--dark-bg-deep);
  border-block: 1px solid var(--dark-line);
}

.theme-dark .steps-list,
.theme-dark .steps-list li {
  border-color: var(--dark-line-strong);
}

.theme-dark .steps-list li.is-current {
  background: linear-gradient(90deg, rgba(36, 200, 244, 0.1), rgba(123, 191, 168, 0.08));
}

.theme-dark .steps-list li.is-current > span {
  color: #020812;
  background: linear-gradient(135deg, var(--dark-accent-strong), #9fcfbe);
}

.theme-dark .case-intro > span,
.theme-dark .case-outcome p,
.theme-dark .case-caveat {
  color: var(--dark-muted);
}

.theme-dark .case-advantage p {
  color: var(--dark-copy);
}

.theme-dark .case-shell {
  background:
    radial-gradient(circle at 88% 4%, rgba(123, 191, 168, 0.14), transparent 28rem),
    radial-gradient(circle at 4% 70%, rgba(36, 200, 244, 0.08), transparent 24rem),
    linear-gradient(145deg, rgba(10, 27, 43, 0.98), rgba(5, 16, 28, 0.98));
  border-color: rgba(90, 150, 210, 0.48);
}

.theme-dark .case-tab {
  border-color: var(--dark-line-strong);
}

.theme-dark .case-tab strong {
  color: var(--dark-text);
}

.theme-dark .case-tab small {
  color: var(--dark-muted);
}

.theme-dark .case-tab:not(.is-active) > span {
  color: var(--dark-accent-strong);
  background: var(--dark-panel-strong);
  border-color: var(--dark-line-strong);
}

.theme-dark .case-tab.is-active {
  color: #ffffff;
  background: linear-gradient(135deg, #0a3547, #182554);
  border-color: #2b7998;
  box-shadow:
    inset 0 -3px 0 var(--dark-accent),
    0 0 26px rgba(36, 200, 244, 0.12);
}

.theme-dark .case-status {
  color: var(--dark-accent-strong);
  background: var(--dark-accent-soft);
  border-color: var(--dark-line);
}

.theme-dark .case-memory,
.theme-dark .case-outcome-with {
  background: var(--dark-accent-soft);
  border-color: #206a85;
}

.theme-dark .case-prompt,
.theme-dark .case-trace-flow li,
.theme-dark .case-context-tags span,
.theme-dark .case-trace-evidence span {
  color: var(--dark-text);
  background: var(--dark-panel-strong);
  border-color: var(--dark-line-strong);
}

.theme-dark .case-prompt {
  border-left-color: var(--dark-accent);
}

.theme-dark .case-trace {
  background: rgba(5, 16, 27, 0.72);
  border-color: var(--dark-line);
}

.theme-dark .case-trace h4,
.theme-dark .case-trace-flow li > strong {
  color: var(--dark-text);
}

.theme-dark .case-trace-flow li > span,
.theme-dark .case-context-tags span,
.theme-dark .case-trace-evidence span,
.theme-dark .case-trace-flow li:not(:last-child)::after {
  color: var(--dark-accent-strong);
}

.theme-dark .case-trace-evidence {
  border-color: var(--dark-line);
}

.theme-dark .case-result-list {
  color: var(--dark-muted);
}

.theme-dark .case-judgement-list code {
  color: var(--dark-text);
  background: rgba(255, 255, 255, 0.08);
}

.theme-dark .case-comparison-arrow {
  color: var(--dark-text);
  background: var(--dark-panel-strong);
}

.theme-dark .case-outcome-note {
  color: #ffd99b;
  background: rgba(236, 166, 53, 0.1);
  border-color: rgba(255, 201, 112, 0.42);
}

.theme-dark .case-video {
  background: #02070d;
  border-color: var(--dark-line-strong);
  box-shadow:
    0 24px 62px rgba(0, 0, 0, 0.38),
    0 0 38px rgba(124, 183, 255, 0.1);
}

.theme-dark .faq-list details {
  background:
    radial-gradient(circle at 100% 0%, rgba(36, 200, 244, 0.055), transparent 16rem),
    linear-gradient(145deg, rgba(8, 23, 37, 0.9), rgba(5, 15, 27, 0.9));
  border: 1px solid rgba(55, 111, 148, 0.54);
  box-shadow:
    0 12px 34px rgba(0, 0, 0, 0.16),
    inset 0 1px 0 rgba(124, 232, 255, 0.04);
}

.theme-dark .faq-list details:hover {
  border-color: rgba(76, 178, 222, 0.78);
  box-shadow:
    0 16px 38px rgba(0, 0, 0, 0.2),
    0 0 24px rgba(36, 200, 244, 0.055),
    inset 0 1px 0 rgba(124, 232, 255, 0.08);
}

.theme-dark .faq-list details[open] {
  background:
    radial-gradient(circle at 100% 0%, rgba(123, 191, 168, 0.13), transparent 20rem),
    linear-gradient(145deg, rgba(10, 31, 48, 0.98), rgba(6, 19, 33, 0.98));
  border-color: rgba(67, 196, 235, 0.82);
  box-shadow:
    0 18px 46px rgba(0, 0, 0, 0.24),
    0 0 28px rgba(36, 200, 244, 0.075),
    inset 3px 0 0 var(--dark-accent);
}

.theme-dark .faq-list summary::after {
  color: var(--dark-accent-strong);
  background: rgba(10, 31, 48, 0.9);
  border-color: rgba(66, 151, 191, 0.66);
}

.theme-dark .faq-list details:hover summary::after,
.theme-dark .faq-list details[open] summary::after {
  color: #020812;
  background: linear-gradient(135deg, var(--dark-accent-strong), #9fcfbe);
  border-color: var(--dark-accent-strong);
  box-shadow: 0 0 18px rgba(36, 200, 244, 0.22);
}

.theme-dark .section-start,
.theme-dark .site-footer {
  border-color: var(--dark-line-strong);
}

.theme-dark .section-start {
  background:
    radial-gradient(circle at 86% 10%, rgba(123, 191, 168, 0.2), transparent 32rem),
    radial-gradient(circle at 12% 82%, rgba(36, 200, 244, 0.16), transparent 28rem),
    linear-gradient(145deg, #04131f, #07122c 62%, #0c1238);
}

.theme-dark .terminal-card {
  position: relative;
  border-color: var(--dark-line-strong);
  box-shadow:
    0 28px 70px rgba(0, 0, 0, 0.42),
    0 0 48px rgba(124, 183, 255, 0.12),
    inset 0 1px 0 rgba(124, 232, 255, 0.08);
}

.theme-dark .terminal-card::before {
  content: "";
  position: absolute;
  z-index: 2;
  top: -1px;
  right: 0;
  left: 0;
  height: 2px;
  background: linear-gradient(90deg, var(--dark-accent), #6fa7d8, #b8ddd0, transparent 94%);
  box-shadow: 0 0 24px rgba(36, 200, 244, 0.44);
}

.theme-dark .terminal-head {
  color: var(--dark-copy);
  background: #071c2b;
  border-color: var(--dark-line-strong);
}

.theme-dark .terminal-card pre {
  color: var(--dark-text);
  background: #02070d;
}

.theme-dark .action-link {
  background: var(--dark-panel-raised);
  border-color: var(--dark-line-strong);
  transition: transform 180ms ease, border-color 180ms ease, box-shadow 180ms ease;
}

.theme-dark .action-link:hover {
  border-color: var(--dark-accent);
  box-shadow: 0 12px 34px rgba(36, 200, 244, 0.13);
  transform: translateY(-2px);
}

.theme-dark .site-footer {
  background: #02050b;
}

.theme-dark .toast {
  color: var(--dark-text);
  background: var(--dark-panel-strong);
  border: 1px solid var(--dark-line-strong);
}

@keyframes hero-energy-drift {
  from {
    transform: translate3d(-2%, -1%, 0) rotate(-4deg) scale(0.96);
  }

  to {
    transform: translate3d(3%, 4%, 0) rotate(6deg) scale(1.05);
  }
}

@media (max-width: 900px) {
  .theme-dark .mobile-nav {
    background: rgba(3, 8, 18, 0.99);
    border-color: var(--dark-line);
  }

  .theme-dark .menu-toggle {
    color: var(--dark-text);
    background: var(--dark-panel-raised);
    border-color: var(--dark-line-strong);
  }

  .theme-dark .mobile-nav a[aria-current="location"] {
    color: var(--dark-text);
    background: var(--dark-accent-soft);
    border-left-color: var(--dark-accent);
  }

  .theme-dark .hero::after {
    top: -22rem;
    right: -26rem;
    opacity: 0.5;
  }
}

@media (max-width: 680px) {
  .theme-dark .comparison-table tbody td {
    background: var(--dark-panel);
  }

  .theme-dark .comparison-table tbody td:nth-child(3) {
    background: var(--dark-accent-soft);
  }
}

@media (prefers-reduced-motion: reduce) {
  .theme-dark .hero::after {
    animation: none;
  }

  .theme-dark .button-primary:hover,
  .theme-dark .problem-item:hover,
  .theme-dark .memory-card:hover,
  .theme-dark .action-link:hover {
    transform: none;
  }
}

/* Ink-jade night theme */

html.theme-dark {
  --dark-bg: #080a12;
  --dark-bg-deep: #05070d;
  --dark-section: #0e1320;
  --dark-panel: #131a2a;
  --dark-panel-raised: #1a2335;
  --dark-panel-strong: #222d43;
  --dark-text: #f5f7fb;
  --dark-copy: #cbd2df;
  --dark-muted: #929daf;
  --dark-line: #2d3950;
  --dark-line-strong: #43516e;
  --dark-accent: #7bbfa8;
  --dark-accent-strong: #b8ddd0;
  --dark-accent-secondary: #6fa7d8;
  --dark-accent-soft: #19332b;
  --dark-success: #a4c879;
  --radius: 6px;
  --shadow: 0 24px 64px rgba(1, 3, 9, 0.34);
}

.theme-dark body {
  color: var(--dark-copy);
  background: var(--dark-bg);
}

.theme-dark button:focus-visible,
.theme-dark a:focus-visible,
.theme-dark summary:focus-visible,
.theme-dark [tabindex]:focus-visible {
  outline: 2px solid var(--dark-accent);
  outline-offset: 3px;
}

.theme-dark .site-header {
  color: var(--dark-text);
  background: rgba(8, 10, 18, 0.9);
  border-color: var(--dark-line);
  backdrop-filter: blur(14px);
}

.theme-dark .site-header.is-scrolled {
  box-shadow: none;
}

.theme-dark .brand-mark,
.theme-dark .header-cta,
.theme-dark .theme-toggle,
.theme-dark .language-toggle {
  background: color-mix(in srgb, var(--dark-panel-raised) 88%, transparent);
  border-color: var(--dark-line-strong);
  box-shadow: none;
}

.theme-dark .brand-mark::after {
  display: none;
}

.theme-dark .header-cta:hover {
  color: var(--dark-bg);
  background: var(--dark-accent);
  border-color: var(--dark-accent);
}

.theme-dark .language-toggle:not(.is-en) [data-language-option="zh"],
.theme-dark .language-toggle.is-en [data-language-option="en"] {
  color: var(--dark-bg);
  background: var(--dark-accent);
  box-shadow: none;
}

.theme-dark .theme-toggle:hover,
.theme-dark .language-toggle:hover {
  color: var(--dark-text);
  border-color: var(--dark-line-strong);
  box-shadow: none;
}

.theme-dark .reading-progress > span {
  background: var(--dark-accent);
}

.theme-dark .hero {
  background:
    radial-gradient(circle at 78% 4%, rgba(123, 191, 168, 0.08), transparent 34rem),
    linear-gradient(180deg, #0b0f1a 0%, var(--dark-bg) 88%);
  border-color: var(--dark-line);
}

.theme-dark .hero::before {
  width: 1px;
  background: var(--dark-line);
  box-shadow: none;
}

.theme-dark .hero::after {
  display: none;
}

.theme-dark .hero-layout {
  gap: 58px;
}

.theme-dark .hero-copy::before {
  display: none;
}

.theme-dark .hero-intro::before {
  content: "";
  width: 64px;
  height: 1px;
  margin-bottom: 24px;
  display: block;
  background: var(--dark-accent);
  box-shadow: none;
}

.theme-dark .hero h1,
.theme-dark .section-heading h2 {
  color: var(--dark-text);
  background: none;
  -webkit-text-fill-color: currentColor;
  text-shadow: none;
}

.theme-dark .hero h1 {
  font-size: clamp(56px, 6.1vw, 84px);
  letter-spacing: -0.05em;
}

.theme-dark .hero-lede {
  color: var(--dark-copy);
}

.theme-dark .button-primary {
  color: var(--dark-bg-deep);
  background: var(--dark-accent);
  border-color: var(--dark-accent);
  box-shadow: 0 12px 30px rgba(123, 191, 168, 0.15);
  transition: background 160ms ease, border-color 160ms ease, color 160ms ease;
}

.theme-dark .button-primary:hover {
  color: var(--dark-bg-deep);
  background: var(--dark-accent-strong);
  border-color: var(--dark-accent-strong);
  box-shadow: 0 14px 34px rgba(123, 191, 168, 0.2);
  transform: none;
}

.theme-dark .button-secondary,
.theme-dark .support-list li,
.theme-dark .install-box button,
.theme-dark .terminal-head button {
  color: var(--dark-text);
  background: var(--dark-panel-raised);
  border-color: var(--dark-line-strong);
}

.theme-dark .button-secondary:hover {
  color: var(--dark-accent-strong);
  background: var(--dark-accent-soft);
  border-color: var(--dark-accent);
}

.theme-dark .install-box {
  background: var(--dark-bg-deep);
  border: 1px solid var(--dark-line-strong);
  box-shadow: none;
}

.theme-dark .install-box span {
  color: var(--dark-muted);
}

.theme-dark .product-workbench {
  color: var(--dark-copy);
  background: var(--dark-panel);
  border-color: var(--dark-line-strong);
  border-radius: 7px;
  box-shadow:
    0 34px 84px rgba(1, 3, 9, 0.46),
    0 0 0 1px rgba(184, 221, 208, 0.035);
}

.theme-dark .workbench-bar {
  color: var(--dark-muted);
  background: var(--dark-panel-raised);
  border-color: var(--dark-line);
}

.theme-dark .window-controls i {
  background: #3b424b;
  border-color: #4b545e;
}

.theme-dark .window-controls i:first-child {
  background: #69727c;
}

.theme-dark .workbench-live,
.theme-dark .memory-result-head small {
  color: var(--dark-success);
}

.theme-dark .workbench-live i {
  animation: workbench-status 1.8s ease-in-out infinite;
}

.theme-dark .workbench-task {
  border-color: var(--dark-line);
}

.theme-dark .workbench-task > div > span,
.theme-dark .workbench-rail > span,
.theme-dark .memory-result-head,
.theme-dark .task-terminal-head {
  color: var(--dark-muted);
}

.theme-dark .workbench-task strong,
.theme-dark .workbench-rail li strong,
.theme-dark .memory-result blockquote,
.theme-dark .memory-result-list li {
  color: var(--dark-text);
}

.theme-dark .workbench-task p,
.theme-dark .workbench-rail li small,
.theme-dark .memory-result p {
  color: var(--dark-muted);
}

.theme-dark .workbench-rail {
  background: var(--dark-bg-deep);
  border-color: var(--dark-line);
}

.theme-dark .workbench-rail li:not(:last-child)::after {
  background: var(--dark-line-strong);
}

.theme-dark .workbench-rail li > i {
  color: var(--dark-muted);
  background: var(--dark-panel);
  border-color: var(--dark-line-strong);
}

.theme-dark .workbench-rail li.is-complete > i {
  color: var(--dark-bg-deep);
  background: var(--dark-success);
  border-color: var(--dark-success);
}

.theme-dark .workbench-rail li.is-current > i {
  color: var(--dark-accent-strong);
  border-color: var(--dark-accent);
}

.theme-dark .memory-result {
  background: color-mix(in srgb, var(--dark-success) 7%, var(--dark-panel));
  border-color: var(--dark-line);
  border-left-color: var(--dark-success);
}

.theme-dark .memory-result code {
  color: var(--dark-success);
  background: color-mix(in srgb, var(--dark-success) 9%, var(--dark-panel-raised));
  border-color: color-mix(in srgb, var(--dark-success) 30%, var(--dark-line));
}

.theme-dark .task-terminal {
  background: #07090c;
  border-color: var(--dark-line-strong);
}

.theme-dark .task-terminal-head {
  background: #11151a;
  border-color: var(--dark-line);
}

.theme-dark .task-terminal-head small,
.theme-dark .task-terminal b {
  color: var(--dark-success);
}

.theme-dark .task-terminal .terminal-result,
.theme-dark .task-terminal-meta {
  border-color: var(--dark-line);
}

.theme-dark .task-terminal code > span {
  opacity: 0;
  transform: translateY(3px);
  animation: workbench-line 260ms ease forwards;
}

.theme-dark .task-terminal code > span:nth-child(2) {
  animation-delay: 80ms;
}

.theme-dark .task-terminal code > span:nth-child(3) {
  animation-delay: 160ms;
}

.theme-dark .task-terminal code > span:nth-child(4) {
  animation-delay: 240ms;
}

.theme-dark .workbench-replay {
  color: var(--dark-copy);
  border-color: var(--dark-line);
}

.theme-dark .workbench-replay:hover {
  color: var(--dark-accent-strong);
}

.theme-dark .section-pain,
.theme-dark .section-demo,
.theme-dark .section-cases {
  background: var(--dark-bg);
}

.theme-dark .section-memories,
.theme-dark .section-faq {
  background: var(--dark-section);
  border-color: var(--dark-line);
}

.theme-dark .section-how,
.theme-dark .section-start {
  background: var(--dark-bg-deep);
  border-color: var(--dark-line);
}

.theme-dark .section-index {
  color: var(--dark-accent-strong);
  text-shadow: none;
  font-family: "SFMono-Regular", Consolas, monospace;
  font-size: 13px;
}

.theme-dark .section-index::before {
  width: 24px;
  height: 1px;
  background: var(--dark-accent);
  box-shadow: none;
}

.theme-dark .problem-list,
.theme-dark .problem-item {
  border-color: var(--dark-line);
}

.theme-dark .problem-item {
  background: transparent;
  transition: background 160ms ease, border-color 160ms ease;
}

.theme-dark .problem-item:hover {
  background: var(--dark-panel);
  border-color: var(--dark-line-strong);
  box-shadow: none;
  transform: none;
}

.theme-dark .problem-item > span,
.theme-dark .flow-memory-row b {
  color: var(--dark-accent-strong);
  background: var(--dark-accent-soft);
}

.theme-dark .research-note,
.theme-dark .memory-card,
.theme-dark .memory-principle,
.theme-dark .case-shell,
.theme-dark .case-task,
.theme-dark .case-outcome {
  background: var(--dark-panel);
  border-color: var(--dark-line);
  border-radius: 6px;
  box-shadow: none;
}

.theme-dark .memory-card {
  --card-accent: var(--dark-accent);
  transition: background 160ms ease, border-color 160ms ease;
}

.theme-dark .memory-card:nth-child(2),
.theme-dark .memory-card:nth-child(3) {
  --card-accent: var(--dark-accent);
}

.theme-dark .memory-card::after {
  height: 2px;
  background: var(--dark-accent);
  box-shadow: none;
}

.theme-dark .memory-card:hover {
  background: var(--dark-panel-raised);
  border-color: var(--dark-line-strong);
  box-shadow: none;
  transform: none;
}

.theme-dark .research-note,
.theme-dark .memory-principle,
.theme-dark .comparison-summary,
.theme-dark .case-advantage {
  background: var(--dark-panel-raised);
  border-color: var(--dark-line);
}

.theme-dark .comparison-table-wrap {
  border-color: var(--dark-line);
  border-radius: 6px;
}

.theme-dark .comparison-table thead th {
  background: var(--dark-panel-strong);
}

.theme-dark .comparison-table tbody th,
.theme-dark .comparison-table td {
  background: var(--dark-panel);
  border-color: var(--dark-line);
}

.theme-dark .comparison-table td:nth-child(3) {
  background: var(--dark-accent-soft);
}

.theme-dark .steps-list,
.theme-dark .steps-list li {
  border-color: var(--dark-line);
}

.theme-dark .steps-list li.is-current {
  background: var(--dark-panel);
}

.theme-dark .steps-list li.is-current > span {
  color: var(--dark-bg);
  background: var(--dark-accent);
}

.theme-dark .case-shell {
  border-color: var(--dark-line-strong);
}

.theme-dark .case-tabs,
.theme-dark .case-caveat {
  background: var(--dark-bg-deep);
  border-color: var(--dark-line);
}

.theme-dark .case-tab {
  border-color: var(--dark-line);
}

.theme-dark .case-tab.is-active {
  color: var(--dark-text);
  background: var(--dark-panel-strong);
  border-color: var(--dark-line-strong);
  box-shadow: inset 0 -2px 0 var(--dark-accent);
}

.theme-dark .case-status {
  color: var(--dark-accent-strong);
  background: var(--dark-accent-soft);
  border-color: var(--dark-line);
}

.theme-dark .case-memory,
.theme-dark .case-outcome-with {
  background: var(--dark-accent-soft);
  border-color: color-mix(in srgb, var(--dark-accent) 42%, var(--dark-line));
}

.theme-dark .case-trace {
  background: var(--dark-bg-deep);
  border-color: var(--dark-line);
}

.theme-dark .case-trace-flow {
  gap: 0;
  overflow: hidden;
  border: 1px solid var(--dark-line);
  border-radius: 5px;
}

.theme-dark .case-trace-flow li {
  min-height: 104px;
  background: var(--dark-panel);
  border: 0;
  border-right: 1px solid var(--dark-line);
  border-radius: 0;
}

.theme-dark .case-trace-flow li:last-child {
  border-right: 0;
}

.theme-dark .case-trace-flow li:not(:last-child)::after {
  display: none;
}

.theme-dark .case-context-tags span,
.theme-dark .case-trace-evidence span,
.theme-dark .case-outcome-note {
  border-radius: 3px;
  font-family: "SFMono-Regular", Consolas, monospace;
}

.theme-dark .case-comparison {
  grid-template-columns: 1fr 1fr;
  gap: 1px;
  overflow: hidden;
  background: var(--dark-line);
  border: 1px solid var(--dark-line);
  border-radius: 6px;
}

.theme-dark .case-comparison-arrow {
  display: none;
}

.theme-dark .case-outcome,
.theme-dark .case-outcome-without,
.theme-dark .case-outcome-with {
  border: 0;
  border-radius: 0;
  box-shadow: none;
}

.theme-dark .case-video {
  background: var(--dark-bg-deep);
  border-color: var(--dark-line);
  box-shadow: none;
}

.theme-dark .faq-list {
  gap: 0;
  border-top: 1px solid var(--dark-line);
}

.theme-dark .faq-list details,
.theme-dark .faq-list details:hover,
.theme-dark .faq-list details[open] {
  background: transparent;
  border: 0;
  border-bottom: 1px solid var(--dark-line);
  border-radius: 0;
  box-shadow: none;
  transform: none;
}

.theme-dark .faq-list details[open] {
  background: rgba(255, 255, 255, 0.018);
}

.theme-dark .faq-list summary::after,
.theme-dark .faq-list details:hover summary::after,
.theme-dark .faq-list details[open] summary::after {
  color: var(--dark-accent);
  background: transparent;
  border-color: var(--dark-line-strong);
  border-radius: 4px;
  box-shadow: none;
}

.theme-dark .section-start {
  background: var(--dark-bg-deep);
}

.theme-dark .terminal-card {
  background: var(--dark-bg-deep);
  border-color: var(--dark-line-strong);
  box-shadow: none;
}

.theme-dark .terminal-card::before {
  display: none;
}

.theme-dark .terminal-head {
  background: var(--dark-panel-raised);
  border-color: var(--dark-line);
}

.theme-dark .terminal-card pre {
  background: var(--dark-bg-deep);
}

.theme-dark .terminal-card > p {
  color: var(--dark-muted);
  background: var(--dark-panel-raised);
  border-color: var(--dark-line);
}

.theme-dark .action-links a {
  background: transparent;
  border-color: var(--dark-line);
  transition: background 160ms ease, border-color 160ms ease;
}

.theme-dark .action-links a:hover {
  background: var(--dark-panel-raised);
  border-color: var(--dark-line-strong);
  box-shadow: none;
  transform: none;
}

.theme-dark .site-footer {
  background: var(--dark-bg-deep);
  border-color: var(--dark-line);
}

.theme-dark .toast {
  background: var(--dark-panel-strong);
  border-color: var(--dark-line-strong);
  box-shadow: 0 10px 26px rgba(0, 0, 0, 0.28);
}

@keyframes workbench-status {
  0%, 100% { opacity: 0.48; }
  50% { opacity: 1; }
}

@keyframes workbench-line {
  to {
    opacity: 1;
    transform: translateY(0);
  }
}

@media (max-width: 900px) {
  .theme-dark .mobile-nav {
    background: var(--dark-bg);
    border-color: var(--dark-line);
  }

  .theme-dark .hero-layout {
    gap: 48px;
  }

  .theme-dark .case-comparison {
    grid-template-columns: 1fr;
  }

  .theme-dark .case-trace-flow li {
    border-right: 0;
    border-bottom: 1px solid var(--dark-line);
  }

  .theme-dark .case-trace-flow li:last-child {
    border-bottom: 0;
  }
}

@media (max-width: 680px) {
  .theme-dark .hero h1 {
    font-size: clamp(40px, 11vw, 52px);
  }

  .theme-dark .comparison-table tbody td,
  .theme-dark .comparison-table tbody td:nth-child(3) {
    background: var(--dark-panel);
  }

  .theme-dark .comparison-table tbody td:nth-child(3) {
    background: var(--dark-accent-soft);
  }
}

@media (prefers-reduced-motion: reduce) {
  .theme-dark .workbench-live i,
  .theme-dark .task-terminal code > span {
    animation: none;
  }

  .theme-dark .task-terminal code > span {
    opacity: 1;
    transform: none;
  }
}