:root, [data-theme="light"] {
      --sys-surface-canvas: #ffffff;
      --sys-surface-panel: #f8f8f8;
      --sys-surface-raised: #f0f0f0;
      --sys-surface-hover: rgba(0,0,0,0.03);
      --sys-text-primary: #1a1a1a;
      --sys-text-secondary: #4a4a4a;
      --sys-text-muted: #8a8a8a;
      --sys-border-default: #e2e2e2;
      --sys-border-subtle: #ebebeb;
      --sys-border-strong: #c0c0c0;
      --sys-accent-primary: #0d9488;
      --sys-accent-primary-hover: #0f766e;
      --sys-accent-soft-bg: rgba(13,148,136,0.06);
      --sys-accent-soft-border: rgba(13,148,136,0.18);
      --sys-text-strong: #1e3a38;
      --nav-bg: rgba(255,255,255,0.85);
      --fig-bg: #ffffff;
      --max-w: 820px;
      --space-xs: 0.25rem; --space-sm: 0.5rem; --space-md: 0.75rem;
      --space-lg: 1rem; --space-xl: 1.5rem; --space-2xl: 2rem; --space-3xl: 3rem;
    }
    [data-theme="dark"] {
      --sys-surface-canvas: #0a0a0a;
      --sys-surface-panel: #141414;
      --sys-surface-raised: #1c1c1e;
      --sys-surface-hover: rgba(255,255,255,0.04);
      --sys-text-primary: #f0f0f0;
      --sys-text-secondary: #b0b0b0;
      --sys-text-muted: #707070;
      --sys-border-default: #252525;
      --sys-border-subtle: #1e1e1e;
      --sys-border-strong: #3a3a3a;
      --sys-accent-primary: #14b8a6;
      --sys-accent-primary-hover: #0d9488;
      --sys-accent-soft-bg: rgba(20,184,166,0.08);
      --sys-accent-soft-border: rgba(20,184,166,0.20);
      --sys-text-strong: #d4ece9;
      --nav-bg: rgba(10,10,10,0.85);
      --fig-bg: #f4f4f5;
    }

    *, *::before, *::after { box-sizing: border-box; margin: 0; padding: 0; }
    html { scroll-behavior: smooth; -webkit-font-smoothing: antialiased; }
    body {
      font-family: 'Source Serif 4', Charter, 'Iowan Old Style', Georgia, 'Times New Roman', serif;
      font-size: 14px; line-height: 1.65;
      color: var(--sys-text-primary);
      background: var(--sys-surface-canvas);
      text-rendering: optimizeLegibility;
      font-kerning: normal;
      font-optical-sizing: auto;
      transition: background 0.2s, color 0.2s;
    }

    /* Nav */
    nav { position: sticky; top: 0; z-index: 100; background: var(--nav-bg); backdrop-filter: blur(12px); -webkit-backdrop-filter: blur(12px); border-bottom: 1px solid var(--sys-border-subtle); }
    nav .nav-inner { max-width: var(--max-w); margin: 0 auto; padding: 0 var(--space-lg); display: flex; align-items: center; justify-content: space-between; height: 44px; }
    nav .nav-name { font-weight: 600; font-size: 14px; color: var(--sys-text-primary); letter-spacing: -0.01em; text-decoration: none; }
    .nav-right { display: flex; align-items: center; gap: var(--space-md); }
    nav .nav-links { display: flex; gap: var(--space-md); list-style: none; }
    nav .nav-links a { font-size: 13px; font-weight: 500; color: var(--sys-text-muted); text-decoration: none; transition: color 0.15s; }
    nav .nav-links a:hover, nav .nav-links a.active { color: var(--sys-text-primary); }
    .theme-toggle { background: none; border: 1px solid var(--sys-border-default); border-radius: 6px; width: 32px; height: 28px; cursor: pointer; display: flex; align-items: center; justify-content: center; color: var(--sys-text-muted); transition: all 0.15s; flex-shrink: 0; }
    .theme-toggle:hover { color: var(--sys-text-primary); border-color: var(--sys-border-strong); }
    .theme-toggle .icon-sun, .theme-toggle .icon-moon { display: none; }
    [data-theme="light"] .theme-toggle .icon-moon { display: block; }
    [data-theme="dark"] .theme-toggle .icon-sun { display: block; }

    /* Reading progress */
    .progress { position: fixed; top: 0; left: 0; height: 2px; width: 0; background: var(--sys-accent-primary); z-index: 200; transition: width 0.1s linear; }

    main { max-width: var(--max-w); margin: 0 auto; padding: var(--space-xl) var(--space-lg) var(--space-2xl); }

    .back-link { display: inline-block; font-size: 13px; color: var(--sys-text-muted); text-decoration: none; margin-bottom: var(--space-xl); transition: color 0.15s; }
    .back-link:hover { color: var(--sys-accent-primary); }

    /* ── Hero ── */
    .hero { text-align: center; padding-bottom: var(--space-xl); border-bottom: 1px solid var(--sys-border-subtle); }
    .hero-venue {
      display: inline-block; font-family: 'JetBrains Mono', monospace;
      font-size: 11px; letter-spacing: 0.08em; text-transform: uppercase;
      color: var(--sys-accent-primary); background: var(--sys-accent-soft-bg);
      border: 1px solid var(--sys-accent-soft-border);
      padding: 3px 10px; border-radius: 999px; margin-bottom: var(--space-md);
    }
    .hero h1 {
      font-size: 30px; font-weight: 700; letter-spacing: -0.025em; line-height: 1.22;
      margin: 0 auto var(--space-md); max-width: 18em; text-wrap: balance;
    }
    .hero-tagline {
      font-size: 16px; line-height: 1.55; color: var(--sys-text-secondary);
      max-width: 34em; margin: 0 auto var(--space-xl); text-wrap: pretty;
    }
    .hero-authors { font-size: 15px; line-height: 1.9; color: var(--sys-text-primary); margin-bottom: 6px; }
    .hero-authors .author { white-space: nowrap; }
    .hero-authors .author + .author::before { content: ', '; color: var(--sys-text-muted); }
    .hero-authors sup { font-size: 10px; color: var(--sys-accent-primary); font-weight: 700; padding-left: 1px; }
    .hero-affils { font-size: 13px; color: var(--sys-text-secondary); line-height: 1.7; }
    .hero-affils sup { font-size: 10px; color: var(--sys-accent-primary); font-weight: 700; }
    .hero-affils .sep { color: var(--sys-border-strong); padding: 0 6px; }
    .hero-note { font-size: 12px; color: var(--sys-text-muted); margin-top: 4px; }

    .hero-links { display: flex; flex-wrap: wrap; justify-content: center; gap: var(--space-sm); margin-top: var(--space-xl); }
    .hero-links a, .hero-links button {
      display: inline-flex; align-items: center; gap: 6px;
      font-family: inherit; font-size: 13.5px; font-weight: 600;
      padding: 7px 16px; border-radius: 999px; cursor: pointer;
      color: var(--sys-text-primary); background: var(--sys-surface-panel);
      border: 1px solid var(--sys-border-default); text-decoration: none;
      transition: all 0.15s;
    }
    .hero-links a:hover, .hero-links button:hover { border-color: var(--sys-accent-primary); color: var(--sys-accent-primary); background: var(--sys-accent-soft-bg); }
    .hero-links a.primary { color: #fff; background: var(--sys-accent-primary); border-color: var(--sys-accent-primary); }
    .hero-links a.primary:hover { color: #fff; background: var(--sys-accent-primary-hover); border-color: var(--sys-accent-primary-hover); }
    .hero-links svg { width: 14px; height: 14px; flex-shrink: 0; }

    /* ── Highlight stats ── */
    .stats { display: grid; grid-template-columns: repeat(auto-fit, minmax(150px, 1fr)); gap: var(--space-md); margin: var(--space-xl) 0; }
    .stat {
      padding: var(--space-lg) var(--space-md); border: 1px solid var(--sys-border-default);
      border-radius: 10px; background: var(--sys-surface-panel); text-align: center;
    }
    .stat-value { font-size: 26px; font-weight: 700; letter-spacing: -0.03em; color: var(--sys-accent-primary); line-height: 1.1; }
    .stat-label { font-size: 12px; line-height: 1.4; color: var(--sys-text-muted); margin-top: 6px; text-wrap: pretty; }

    /* ── Figures ── */
    figure { margin: var(--space-xl) 0; }
    figure img {
      display: block; width: 100%; height: auto; border-radius: 8px;
      border: 1px solid var(--sys-border-default); background: var(--fig-bg); padding: 6px;
    }
    figure a { display: block; border-bottom: none; }
    figcaption {
      font-size: 12.5px; line-height: 1.6; color: var(--sys-text-muted);
      margin-top: var(--space-sm); padding-left: var(--space-sm);
      border-left: 2px solid var(--sys-border-default); text-wrap: pretty;
    }
    figure.teaser { margin-top: var(--space-xl); }

    /* ── Overview cards (TL;DR + contents) ── */
    .overview { display: grid; gap: var(--space-lg); margin: var(--space-2xl) 0; }
    .card { padding: var(--space-xl); border: 1px solid var(--sys-border-default); border-radius: 10px; background: var(--sys-surface-panel); }
    .card.tldr { border-left: 4px solid var(--sys-accent-primary); }
    .card-title {
      display: flex; align-items: center; gap: var(--space-sm);
      margin: 0 0 var(--space-md); font-family: 'JetBrains Mono', monospace;
      font-size: 12px; font-weight: 700; letter-spacing: 0.08em; text-transform: uppercase;
      color: var(--sys-text-primary);
    }
    .card-title svg { width: 15px; height: 15px; flex-shrink: 0; }
    .tldr ul { margin: 0; padding-left: var(--space-xl); color: var(--sys-text-secondary); }
    .tldr li { margin-bottom: var(--space-sm); font-size: 14.5px; font-weight: 500; line-height: 1.65; }
    .tldr li:last-child { margin-bottom: 0; }

    .contents { display: grid; gap: 4px; margin: 0; padding: 0; list-style: none; counter-reset: toc; }
    .contents a {
      display: flex; align-items: center; gap: 10px; min-height: 34px; padding: 5px 10px;
      border-radius: 7px; color: var(--sys-text-secondary); text-decoration: none;
      transition: background 0.15s, color 0.15s;
    }
    .contents a:hover { color: var(--sys-surface-canvas); background: var(--sys-text-primary); }
    .contents .num {
      display: inline-flex; align-items: center; justify-content: center;
      width: 22px; height: 22px; flex: 0 0 22px; border-radius: 50%;
      background: var(--sys-text-primary); color: var(--sys-surface-canvas);
      font-family: 'JetBrains Mono', monospace; font-size: 11px; font-weight: 700; line-height: 1;
      transition: background 0.15s, color 0.15s;
    }
    .contents a:hover .num { background: var(--sys-surface-canvas); color: var(--sys-text-primary); }
    .contents .txt { flex: 1; min-width: 0; font-size: 14px; font-weight: 600; line-height: 1.35; }
    .contents .arw { color: var(--sys-text-muted); transition: transform 0.15s, color 0.15s; }
    .contents a:hover .arw { color: var(--sys-surface-canvas); transform: translateX(3px); }

    /* ── Abstract ── */
    .abstract { margin: var(--space-2xl) 0; }
    .abstract p { font-size: 14.5px; line-height: 1.8; color: var(--sys-text-secondary); text-align: justify; hyphens: auto; }

    /* ── Prose ── */
    .prose h2 {
      font-size: 21px; font-weight: 700; letter-spacing: -0.02em; line-height: 1.3;
      margin: var(--space-3xl) 0 var(--space-md); scroll-margin-top: 60px;
      padding-bottom: var(--space-sm); border-bottom: 1px solid var(--sys-border-subtle);
    }
    .prose h3 { font-size: 16px; font-weight: 700; margin: var(--space-xl) 0 var(--space-sm); scroll-margin-top: 60px; }
    .prose p { margin-bottom: var(--space-md); color: var(--sys-text-secondary); line-height: 1.8; font-size: 15px; }
    .prose ul, .prose ol { margin-bottom: var(--space-lg); padding-left: var(--space-xl); color: var(--sys-text-secondary); }
    .prose li { margin-bottom: 6px; line-height: 1.75; font-size: 15px; }
    .prose strong { color: var(--sys-text-strong); font-weight: 700; }
    .prose a { color: var(--sys-accent-primary); text-decoration: none; border-bottom: 1px solid var(--sys-accent-soft-border); transition: border-color 0.15s; }
    .prose a:hover { border-color: var(--sys-accent-primary); }
    .prose blockquote { border-left: 3px solid var(--sys-accent-primary); padding-left: var(--space-lg); margin: var(--space-lg) 0; color: var(--sys-text-muted); font-style: italic; }
    .prose code { font-family: 'JetBrains Mono', monospace; font-size: 12.5px; background: var(--sys-surface-raised); padding: 1px 5px; border-radius: 3px; }
    .prose pre { background: var(--sys-surface-raised); border: 1px solid var(--sys-border-default); border-radius: 8px; padding: var(--space-lg); overflow-x: auto; margin-bottom: var(--space-lg); }
    .prose pre code { background: none; padding: 0; font-size: 12.5px; line-height: 1.6; }
    .table-wrap { overflow-x: auto; margin: var(--space-lg) 0; }
    .prose table { width: 100%; border-collapse: collapse; font-size: 13.5px; line-height: 1.5; }
    .prose th, .prose td { border: 1px solid var(--sys-border-default); padding: 8px 11px; vertical-align: top; text-align: left; }
    .prose th { background: var(--sys-surface-panel); color: var(--sys-text-primary); font-weight: 700; }
    .prose td { color: var(--sys-text-secondary); }
    .prose tbody tr:nth-child(even) { background: var(--sys-surface-hover); }
    .prose hr { border: none; border-top: 1px solid var(--sys-border-default); margin: var(--space-xl) 0; }

    /* ── Citation ── */
    .cite { margin-top: var(--space-3xl); padding-top: var(--space-xl); border-top: 1px solid var(--sys-border-subtle); }
    .cite-head { display: flex; align-items: center; justify-content: space-between; gap: var(--space-md); margin-bottom: var(--space-md); }
    .cite-head .card-title { margin: 0; }
    .copy-btn {
      font-family: 'JetBrains Mono', monospace; font-size: 11px; font-weight: 700;
      letter-spacing: 0.06em; text-transform: uppercase; cursor: pointer;
      padding: 5px 12px; border-radius: 999px; color: var(--sys-text-muted);
      background: var(--sys-surface-canvas); border: 1px solid var(--sys-border-default);
      transition: all 0.15s;
    }
    .copy-btn:hover { color: var(--sys-accent-primary); border-color: var(--sys-accent-primary); }
    .cite pre { background: var(--sys-surface-panel); border: 1px solid var(--sys-border-default); border-radius: 8px; padding: var(--space-lg); overflow-x: auto; }
    .cite code { font-family: 'JetBrains Mono', monospace; font-size: 12px; line-height: 1.7; color: var(--sys-text-secondary); }

    .source-note { font-size: 12px; color: var(--sys-text-muted); margin-top: var(--space-lg); line-height: 1.6; }
    .source-note a { color: var(--sys-accent-primary); text-decoration: none; }
    .source-note a:hover { text-decoration: underline; }

    .empty { text-align: center; padding: var(--space-3xl) 0; color: var(--sys-text-muted); font-size: 13px; }
    .empty a { color: var(--sys-accent-primary); }

    footer { max-width: var(--max-w); margin: 0 auto; padding: var(--space-md) var(--space-lg); border-top: 1px solid var(--sys-border-subtle); text-align: center; font-size: 11px; color: var(--sys-text-muted); }

    @media (max-width: 600px) {
      nav .nav-links { gap: var(--space-sm); }
      nav .nav-links a { font-size: 12px; }
      .nav-right { min-width: 0; }
      nav .nav-links { overflow-x: auto; scrollbar-width: none; -ms-overflow-style: none; }
      nav .nav-links::-webkit-scrollbar { display: none; }
      nav .nav-links a { white-space: nowrap; }
      .hero h1 { font-size: 23px; }
      .hero-tagline { font-size: 15px; }
      .stat-value { font-size: 22px; }
      .prose h2 { font-size: 18px; }
      .prose p, .prose li { font-size: 14.5px; }
    }