:root {
  color-scheme: light;
  --bg: #ffffff;
  --surface: #ffffff;
  --surface-muted: #f6f7f9;
  --surface-selected: #e7ebf1;
  --text: #262a35;
  --muted: #7a808c;
  --border: #d8dce3;
  --grid: #e6e9ef;
  --green: #168a67;
  --blue: #2563d9;
  --purple: #6f42c1;
  --orange: #c66a0a;
  --red: #c2413b;
  --focus: #1677d2;
  --sidebar-width: 14.5rem;
  --content-max: 82rem;
  font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
}

:root[data-theme="dark"] {
  color-scheme: dark;
  --bg: #0e1117;
  --surface: #0e1117;
  --surface-muted: #151922;
  --surface-selected: #262d3a;
  --text: #f3f4f6;
  --muted: #9ba1ad;
  --border: #353b45;
  --grid: #2b313b;
  --blue: #6f99f4;
  --green: #42ba91;
  --purple: #a985e6;
  --orange: #e89a43;
}

@media (prefers-color-scheme: dark) {
  :root:not([data-theme]) {
    color-scheme: dark;
    --bg: #0e1117;
    --surface: #0e1117;
    --surface-muted: #151922;
    --surface-selected: #262d3a;
    --text: #f3f4f6;
    --muted: #9ba1ad;
    --border: #353b45;
    --grid: #2b313b;
    --blue: #6f99f4;
    --green: #42ba91;
    --purple: #a985e6;
    --orange: #e89a43;
  }
}

* { box-sizing: border-box; }
html, body { min-height: 100%; margin: 0; background: var(--bg); color: var(--text); }
body { font-size: 15px; line-height: 1.55; letter-spacing: 0; }
button, select { font: inherit; letter-spacing: 0; }
button, select, [tabindex] { outline-offset: 3px; }
:focus-visible { outline: 3px solid var(--focus); }
a { color: inherit; }
.material-symbols-rounded { font-size: 1.22rem; line-height: 1; vertical-align: -0.18em; }

.app-loading, .fatal-state { min-height: 100vh; display: grid; place-items: center; }
.loading-state { color: var(--muted); text-align: center; }
.loading-mark { display: inline-block; width: 1.2rem; height: 1.2rem; border: 2px solid var(--border); border-top-color: var(--green); border-radius: 50%; animation: spin 0.8s linear infinite; }
@keyframes spin { to { transform: rotate(360deg); } }

.app-shell { min-height: 100vh; }
.sidebar { position: fixed; inset: 0 auto 0 0; z-index: 30; width: var(--sidebar-width); padding: 5.4rem 1.25rem 1.4rem; border-right: 1px solid var(--border); background: var(--surface); transition: transform 220ms ease; }
.app-shell.sidebar-collapsed .sidebar { transform: translateX(-100%); }
.sidebar-toggle { position: fixed; z-index: 40; top: 0.8rem; left: 0.8rem; display: grid; place-items: center; width: 2.25rem; height: 2.25rem; padding: 0; border: 0; border-radius: 6px; color: var(--muted); background: transparent; cursor: pointer; }
.sidebar-toggle:hover { color: var(--text); background: var(--surface-muted); }
.sidebar-brand { display: flex; gap: 0.5rem; align-items: flex-start; margin-bottom: 1.4rem; font-weight: 700; line-height: 1.25; }
.sidebar-brand .material-symbols-rounded { margin-top: 0.1rem; }
.sidebar-nav { display: grid; gap: 0.32rem; }
.nav-link { display: flex; align-items: center; gap: 0.5rem; width: 100%; padding: 0 0.5rem; border: 0; border-radius: 6px; color: var(--muted); background: transparent; cursor: pointer; font-size: 0.875rem; line-height: 2; text-align: left; }
.nav-link:hover { color: var(--text); background: var(--surface-muted); }
.nav-link.active { color: var(--text); background: var(--surface-selected); font-weight: 600; }
.sidebar-footer { position: absolute; left: 1.25rem; right: 1.25rem; bottom: 1.4rem; }
.theme-control { margin-bottom: 1.15rem; }
.theme-label { display: block; margin-bottom: 0.4rem; color: var(--muted); font-size: 0.74rem; }
.theme-options { display: grid; grid-template-columns: repeat(3, 1fr); gap: 0.2rem; padding: 0.2rem; border: 1px solid var(--border); border-radius: 7px; background: var(--surface-muted); }
.theme-choice { display: grid; justify-items: center; gap: 0.12rem; min-width: 0; padding: 0.35rem 0.15rem; border: 0; border-radius: 5px; color: var(--muted); background: transparent; cursor: pointer; font-size: 0.66rem; line-height: 1.1; }
.theme-choice .material-symbols-rounded { font-size: 1rem; }
.theme-choice:hover { color: var(--text); }
.theme-choice[aria-pressed="true"] { color: var(--text); background: var(--surface); box-shadow: 0 1px 3px rgb(0 0 0 / 14%); font-weight: 600; }
.sidebar-disclosure { color: var(--muted); font-size: 0.8rem; }
.sidebar-disclosure strong { display: block; margin-bottom: 0.55rem; font-weight: 500; }

.page-main { min-width: 0; margin-left: var(--sidebar-width); transition: margin-left 220ms ease; }
.app-shell.sidebar-collapsed .page-main { margin-left: 0; }
.page-content { width: 100%; max-width: var(--content-max); margin: 0 auto; padding: 1.65rem 1.15rem 3rem; }
.app-shell.sidebar-collapsed #page-root.page-content { padding-top: 3.5rem; }
.page-header { margin-bottom: 2rem; }
.page-header h1 { margin: 0; font-size: 1.75rem; line-height: 1.2; }
.page-header p { margin: 0.1rem 0 0; color: var(--muted); }

.home-main { min-height: 100vh; display: grid; align-items: center; }
.home-content { width: 100%; max-width: 76rem; margin: 0 auto; padding: 1rem 2.6rem; text-align: center; }
.home-hero { margin-bottom: 2.9rem; }
.home-hero h1 { margin: 0; font-size: clamp(2.25rem, 4vw, 3.4rem); line-height: 1.08; }
.home-subtitle { margin: 0.55rem 0 0; font-size: 1.08rem; }
.home-context { margin: 0.7rem 0 0; color: var(--muted); font-size: 0.88rem; }
.home-grid { display: grid; grid-template-columns: repeat(3, 1fr); gap: 1rem; text-align: left; }
.home-card { min-height: 10.5rem; padding: 1rem 1.1rem; border: 1px solid var(--border); border-radius: 8px; color: var(--text); background: var(--surface); cursor: pointer; }
.home-card:hover { border-color: color-mix(in srgb, var(--card-color) 52%, var(--border)); background: var(--surface-muted); }
.home-card-title { display: flex; justify-content: center; align-items: center; gap: 0.55rem; min-height: 3.2rem; font-size: 1.02rem; font-weight: 700; }
.home-card-title .material-symbols-rounded { color: var(--card-color); font-size: 1.45rem; }
.home-card p { margin: 1.15rem 0 0; color: var(--muted); }

.section { margin: 0 0 2.6rem; }
.section h2 { margin: 0 0 0.8rem; font-size: 1.65rem; line-height: 1.25; }
.section h3 { margin: 1.4rem 0 0.65rem; font-size: 1.16rem; }
.section p { margin: 0.6rem 0; }
.caption { color: var(--muted); font-size: 0.87rem; }
.glossary { display: inline; color: var(--blue); cursor: help; }
.glossary-tooltip { position: fixed; z-index: 100; width: max-content; max-width: min(22rem, calc(100vw - 1rem)); padding: 0.48rem 0.62rem; border: 1px solid var(--border); border-radius: 6px; color: var(--text); background: var(--surface); box-shadow: 0 5px 18px rgb(0 0 0 / 18%); font-size: 0.8rem; font-weight: 400; line-height: 1.4; pointer-events: none; }
.glossary-tooltip[hidden] { display: none; }

.process-table, .data-table { width: 100%; border-collapse: collapse; border: 1px solid var(--border); }
.process-table th, .process-table td, .data-table th, .data-table td { padding: 0.72rem 0.8rem; border-bottom: 1px solid var(--border); text-align: left; vertical-align: top; }
.process-table th, .data-table th { background: var(--surface-muted); font-size: 0.86rem; }
.process-table td:first-child { width: 9rem; font-weight: 650; }
.table-wrap { max-width: 100%; overflow-x: auto; }

.chart { width: 100%; min-height: 355px; margin: 0.7rem 0 1rem; }
.chart.tall { min-height: 470px; }
.chart.compact { min-height: 300px; }
.chart-error, .notice { padding: 0.8rem 1rem; border: 1px solid var(--border); border-radius: 7px; background: var(--surface-muted); }
.notice.warning { color: var(--orange); }

.filter-panel, .formula-strip, .evidence-profile, .method-card { border: 1px solid var(--border); border-radius: 8px; background: var(--surface); }
.filter-panel { display: grid; grid-template-columns: minmax(15rem, 3.2fr) minmax(10rem, 1.55fr) minmax(8rem, 1.1fr); gap: 0.8rem; padding: 0.85rem; border-color: color-mix(in srgb, var(--green) 44%, var(--border)); align-items: end; transition: border-color 160ms ease, box-shadow 160ms ease; }
.filter-panel:focus-within { border-color: var(--green); box-shadow: 0 0 0 2px color-mix(in srgb, var(--green) 13%, transparent); }
.control { display: grid; gap: 0.28rem; color: var(--muted); font-size: 0.84rem; }
.control select { width: 100%; min-height: 2.4rem; padding: 0 2rem 0 0.65rem; border: 1px solid var(--border); border-radius: 6px; color: var(--text); background: var(--surface); }
.advanced-wrap { position: relative; }
.advanced-button { width: 100%; min-height: 2.4rem; border: 1px solid var(--border); border-radius: 6px; color: var(--text); background: var(--surface); cursor: pointer; }
.advanced-panel { position: absolute; right: 0; top: calc(100% + 0.4rem); z-index: 25; width: min(23rem, 86vw); padding: 1rem; border: 1px solid var(--border); border-radius: 8px; background: var(--surface); box-shadow: 0 12px 30px rgb(0 0 0 / 18%); }
.advanced-panel[hidden] { display: none; }
.advanced-panel h3 { margin: 0.15rem 0; font-size: 0.95rem; }
.advanced-panel .control { margin-top: 0.75rem; }

.formula-strip { display: grid; grid-template-columns: 2.3fr 2.2fr 1fr 1fr 1.3fr; gap: 1rem; margin: 1rem 0 1.35rem; padding: 1rem; }
.formula-cell small { display: block; margin-bottom: 0.3rem; color: var(--muted); }
.formula-cell p { margin: 0; }
.formula-main { overflow-x: auto; }
.formula-footer { grid-column: 1 / -1; color: var(--muted); font-size: 0.84rem; }

.explorer-layout { display: grid; grid-template-columns: minmax(0, 1.75fr) minmax(16rem, 0.82fr); gap: 1.25rem; align-items: start; }
.tabs { display: flex; gap: 0.2rem; border-bottom: 1px solid var(--border); margin-bottom: 1.5rem; }
.tab-button { padding: 0.72rem 0.45rem; margin-right: 0.7rem; border: 0; border-bottom: 2px solid transparent; color: var(--muted); background: transparent; cursor: pointer; }
.tab-button.active { color: var(--text); border-color: var(--green); }
.metrics { display: grid; grid-template-columns: repeat(5, minmax(0, 1fr)); gap: 0.75rem; margin: 1rem 0 1.2rem; }
.metric { min-width: 0; }
.metric-label { color: var(--muted); font-size: 0.82rem; overflow-wrap: anywhere; }
.metric-value { margin-top: 0.12rem; font-size: 1.28rem; line-height: 1.25; }
.evidence-profile { position: sticky; top: 1rem; padding: 0.9rem; }
.evidence-profile h2 { margin: 0; font-size: 1.08rem; }
.evidence-item { display: grid; grid-template-columns: 1.35rem 1fr; gap: 0.45rem; padding: 0.6rem 0 0.75rem; border-top: 1px solid var(--border); }
.evidence-item:first-of-type { margin-top: 0.6rem; }
.evidence-item .material-symbols-rounded { font-size: 1.08rem; }
.evidence-item p { margin: 0.12rem 0; font-size: 0.87rem; line-height: 1.35; }
.evidence-item small { color: var(--muted); font-size: 0.74rem; line-height: 1.35; }
.evidence-green { color: var(--green); } .evidence-blue { color: var(--blue); }
.evidence-purple { color: var(--purple); } .evidence-orange { color: var(--orange); }
.research-warning { margin-top: 0.65rem; padding: 0.65rem; border-radius: 7px; color: var(--orange); background: color-mix(in srgb, var(--orange) 10%, transparent); font-size: 0.82rem; }

.method-progress { display: grid; grid-template-columns: 12rem 1fr 12rem; align-items: center; gap: 1rem; margin: 1rem 0; text-align: center; }
.method-progress button { min-height: 2.55rem; border: 1px solid var(--border); border-radius: 7px; color: var(--text); background: var(--surface); cursor: pointer; }
.method-progress button:disabled { opacity: 0.42; cursor: default; }
.method-grid { display: grid; grid-template-columns: 1fr 1.15fr; gap: 2.4rem; }
.method-concept h2 { margin: 0; font-size: 1.55rem; }
.lookahead { margin-top: 1rem; padding: 0.8rem 1rem; border-radius: 7px; color: var(--blue); background: color-mix(in srgb, var(--blue) 11%, transparent); }
.method-tabs { display: flex; border-bottom: 1px solid var(--border); }
.method-tab { flex: 1; padding: 0.75rem; border: 0; border-bottom: 2px solid transparent; color: var(--muted); background: transparent; cursor: pointer; }
.method-tab.active { color: var(--text); border-color: var(--red); }
.method-view { padding-top: 1rem; }
.method-card { padding: 0.8rem; }
.record-list { display: grid; gap: 0.9rem; margin: 0; }
.record-field { display: grid; grid-template-columns: minmax(10rem, 0.8fr) 2fr; gap: 1rem; padding-bottom: 0.7rem; border-bottom: 1px solid var(--border); }
.record-field dt { font-weight: 650; }
.record-field dd { margin: 0; }
.sequence-list { display: grid; grid-template-columns: repeat(auto-fill, minmax(7.5rem, 1fr)); gap: 0.35rem; padding: 0; margin: 0; list-style: none; }
.sequence-item { display: flex; justify-content: space-between; gap: 0.6rem; padding: 0.3rem 0.45rem; border-radius: 5px; background: var(--surface-muted); }
.sequence-index { color: var(--muted); }
pre { overflow-x: auto; padding: 1rem; border: 1px solid var(--border); border-radius: 7px; background: var(--surface-muted); }

@media (max-width: 900px) {
  .sidebar { box-shadow: 8px 0 30px rgb(0 0 0 / 20%); }
  .home-content { padding-inline: 1rem; }
  .home-grid { grid-template-columns: 1fr; }
  .home-card { min-height: 8.3rem; }
  .filter-panel { grid-template-columns: 1fr 1fr; }
  .advanced-wrap { grid-column: 1 / -1; }
  .formula-strip { grid-template-columns: 1fr 1fr; }
  .formula-main, .formula-footer { grid-column: 1 / -1; }
  .explorer-layout { grid-template-columns: 1fr; }
  .evidence-profile { position: static; }
  .metrics { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .method-grid { grid-template-columns: 1fr; }
  .method-progress { grid-template-columns: 1fr auto 1fr; }
}

@media (max-width: 620px) {
  .page-main { margin-left: 0; }
  .app-shell:not(.sidebar-collapsed)::after { content: ""; position: fixed; inset: 0; z-index: 20; background: rgb(0 0 0 / 28%); }
  .page-content { padding: 3.2rem 0.85rem 2rem; }
  .home-hero h1 { font-size: 2.35rem; }
  .home-context { font-size: 0.78rem; }
  .filter-panel { grid-template-columns: 1fr; }
  .advanced-wrap { grid-column: auto; }
  .formula-strip { grid-template-columns: 1fr; }
  .formula-main, .formula-footer { grid-column: auto; }
  .tabs { overflow-x: auto; }
  .tab-button { white-space: nowrap; }
  .metrics { grid-template-columns: 1fr 1fr; }
  .process-table, .process-table tbody, .process-table tr, .process-table td { display: block; }
  .process-table thead { display: none; }
  .process-table tr { padding: 0.6rem 0; border-bottom: 1px solid var(--border); }
  .process-table td { display: grid; grid-template-columns: 7rem 1fr; border: 0; padding: 0.35rem 0.7rem; }
  .process-table td::before { content: attr(data-label); color: var(--muted); font-size: 0.8rem; }
  .method-progress { grid-template-columns: 1fr 1fr; }
  .method-progress span { grid-column: 1 / -1; grid-row: 1; }
  .record-field { grid-template-columns: 1fr; gap: 0.35rem; }
}