body:not([data-auth-state="signed-in"]) [data-auth-protected] {
  display: none !important;
}

body[data-auth-state="signed-in"] [data-auth-public] {
  display: none !important;
}

body[data-auth-state="loading"] [data-auth-public] {
  display: grid;
}

:root {
  --csa-bg: #f4f7fb;
  --csa-surface: #ffffff;
  --csa-surface-muted: #f8fafc;
  --csa-ink: #17202c;
  --csa-muted: #536174;
  --csa-line: #ccd7e5;
  --csa-line-soft: #d7dde5;
  --csa-accent: #0b6b75;
  --csa-accent-strong: #007181;
  --csa-pill: #ecfeff;
  --csa-pill-line: #99f6e4;
  --csa-shadow: 0 18px 42px rgba(23, 32, 44, 0.06);
}

html[data-theme="dark"] {
  color-scheme: dark;
  --csa-bg: #0d1422;
  --csa-surface: #111b2b;
  --csa-surface-muted: #162235;
  --csa-ink: #e8eef7;
  --csa-muted: #a9b6c8;
  --csa-line: #304158;
  --csa-line-soft: #26364d;
  --csa-accent: #6ee7f2;
  --csa-accent-strong: #71e5cf;
  --csa-pill: rgba(20, 184, 166, 0.16);
  --csa-pill-line: rgba(94, 234, 212, 0.34);
  --csa-shadow: 0 18px 42px rgba(0, 0, 0, 0.28);
}

html[data-theme] body {
  background: var(--csa-bg);
  color: var(--csa-ink);
}

.auth-gate {
  min-height: 100vh;
  place-items: stretch center;
  padding: clamp(16px, 2.4vw, 40px);
  background: var(--csa-bg);
}

.auth-landing {
  align-items: stretch;
  display: grid;
  gap: clamp(16px, 2vw, 28px);
  grid-template-columns: minmax(0, 1.45fr) minmax(390px, 0.75fr);
  width: min(1880px, 100%);
}

.site-controls {
  align-items: center;
  display: flex;
  flex-wrap: wrap;
  gap: 8px;
  grid-column: 1 / -1;
  justify-content: flex-end;
}

.app-controls {
  grid-column: auto;
  margin-right: 0.25rem;
}

.segmented-control {
  background: var(--csa-surface);
  border: 1px solid var(--csa-line);
  border-radius: 8px;
  display: inline-flex;
  padding: 3px;
}

.segmented-control button {
  border: 0;
  border-radius: 6px;
  background: transparent;
  color: var(--csa-muted);
  cursor: pointer;
  font: inherit;
  font-size: 0.86rem;
  font-weight: 900;
  min-height: 30px;
  padding: 5px 10px;
  transition: background-color 120ms ease, box-shadow 120ms ease, color 120ms ease, transform 120ms ease;
}

.segmented-control button.active {
  background: var(--csa-accent-strong);
  color: #ffffff;
}

.segmented-control button:hover:not(.active),
.segmented-control button:focus-visible:not(.active) {
  background: var(--csa-surface-muted);
  box-shadow: 0 0 0 3px rgba(20, 184, 166, 0.16);
  color: var(--csa-accent);
  outline: none;
  transform: translateY(-1px);
}

a[href],
button,
summary,
label.import-button,
input::file-selector-button {
  transition: background-color 120ms ease, border-color 120ms ease, box-shadow 120ms ease, color 120ms ease, transform 120ms ease;
}

a[href]:focus-visible,
button:focus-visible,
summary:focus-visible,
label.import-button:focus-within {
  outline: none;
  box-shadow: 0 0 0 3px rgba(20, 184, 166, 0.22);
}

.auth-hero {
  align-content: center;
  background: var(--csa-surface);
  border: 1px solid var(--csa-line);
  border-radius: 8px;
  display: grid;
  padding: clamp(28px, 3vw, 54px);
  box-shadow: var(--csa-shadow);
}

.auth-hero h1 {
  color: var(--csa-ink);
  font-size: clamp(3rem, 5vw, 6.2rem);
  line-height: 0.98;
  margin: 4px 0 16px;
  max-width: 1120px;
}

.auth-hero p {
  color: var(--csa-muted);
  font-size: clamp(1rem, 1.6vw, 1.28rem);
  max-width: 980px;
}

.auth-feature-grid {
  display: grid;
  gap: 12px;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  margin-top: 24px;
}

.auth-feature-grid section {
  background: var(--csa-surface-muted);
  border: 1px solid var(--csa-line-soft);
  border-radius: 8px;
  padding: 14px;
}

.auth-feature-grid strong,
.auth-feature-grid span {
  display: block;
}

.auth-feature-grid strong {
  color: var(--csa-accent);
  font-size: 0.95rem;
  margin-bottom: 4px;
}

.auth-feature-grid span {
  color: var(--csa-muted);
}

.auth-chain {
  display: flex;
  flex-wrap: wrap;
  gap: 8px;
  margin-top: 24px;
}

.auth-chain span {
  background: var(--csa-pill);
  border: 1px solid var(--csa-pill-line);
  border-radius: 999px;
  color: var(--csa-accent);
  font-size: 0.9rem;
  font-weight: 900;
  padding: 6px 10px;
}

.auth-position-grid {
  border-top: 1px solid var(--csa-line-soft);
  display: grid;
  gap: 12px;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  margin-top: 26px;
  padding-top: 22px;
}

.auth-position-grid section {
  display: grid;
  gap: 6px;
}

.auth-position-grid strong {
  color: var(--csa-accent);
  font-size: 0.92rem;
  text-transform: uppercase;
}

.auth-position-grid span {
  color: var(--csa-muted);
  line-height: 1.45;
}

.auth-ecosystem {
  border-top: 1px solid var(--csa-line-soft);
  display: grid;
  gap: 12px;
  margin-top: 26px;
  padding-top: 22px;
}

.auth-ecosystem > p {
  margin: 0;
}

.auth-ecosystem-grid {
  display: grid;
  gap: 12px;
  grid-template-columns: repeat(4, minmax(0, 1fr));
}

.auth-ecosystem-grid section {
  border: 1px solid var(--csa-line-soft);
  border-radius: 8px;
  display: grid;
  gap: 5px;
  padding: 12px;
}

.auth-ecosystem-grid strong {
  color: var(--csa-accent);
  font-size: 0.92rem;
}

.auth-ecosystem-grid span {
  color: var(--csa-muted);
  line-height: 1.42;
}

.auth-card {
  align-content: start;
  border: 1px solid var(--csa-line);
  border-radius: 8px;
  background: var(--csa-surface);
  padding: clamp(22px, 4vw, 36px);
  box-shadow: var(--csa-shadow);
}

.auth-card h1 {
  margin: 8px 0 12px;
  font-size: clamp(2rem, 6vw, 3.2rem);
}

.auth-card h2 {
  margin: 8px 0 12px;
  font-size: clamp(2rem, 4vw, 3rem);
  line-height: 1.05;
}

.auth-card p {
  color: var(--csa-muted);
}

.auth-form {
  display: grid;
  gap: 14px;
  margin-top: 20px;
}

.auth-form label {
  display: grid;
  gap: 7px;
  font-weight: 800;
}

.auth-form input {
  min-height: 46px;
  border: 1px solid var(--csa-line);
  border-radius: 8px;
  background: var(--csa-surface);
  color: var(--csa-ink);
  padding: 10px 12px;
  font: inherit;
}

.auth-form button,
.topbar-actions button {
  min-height: 42px;
}

.auth-error {
  min-height: 22px;
  margin: 0;
  color: #9b1c1c !important;
  font-weight: 800;
}

.auth-note {
  margin-bottom: 0;
  font-size: 0.94rem;
}

.auth-invite-box {
  border-top: 1px solid var(--csa-line-soft);
  display: grid;
  gap: 10px;
  margin-top: 22px;
  padding-top: 18px;
}

.auth-invite-box h3 {
  margin: 0;
  font-size: 1.2rem;
}

.auth-invite-box[hidden] {
  display: none;
}

.user-status {
  color: var(--csa-muted);
  font-size: 0.9rem;
  font-weight: 800;
}

.claims-header-actions {
  display: flex;
  align-items: center;
  justify-content: flex-end;
  gap: 12px;
  flex-wrap: wrap;
}

.claims-header-actions button {
  min-height: 42px;
}

.app-shell {
  grid-template-columns: 230px minmax(0, 1fr);
}

.workbench-app-shell {
  grid-template-columns: minmax(360px, 410px) minmax(0, 1fr);
}

.sidebar {
  position: sticky;
  top: 0;
  height: 100vh;
  overflow: auto;
  transition: width 160ms ease, padding 160ms ease;
}

.sidebar-tools {
  margin-top: 18px;
}

.sidebar .workbench-panel {
  background: rgba(255, 255, 255, 0.075);
  border-color: rgba(255, 255, 255, 0.16);
  color: #ffffff;
}

.sidebar .demo-picker {
  margin-top: 0;
}

.sidebar .demo-picker label span,
.sidebar .compact-section > summary {
  color: #67e8f9;
}

.sidebar .demo-picker p,
.sidebar .workbench-import label {
  color: rgba(255, 255, 255, 0.78);
}

.sidebar .demo-picker select,
.sidebar .workbench-import input {
  background: rgba(15, 23, 42, 0.38);
  border-color: rgba(255, 255, 255, 0.18);
  color: #ffffff;
}

.sidebar .workbench-import input::placeholder {
  color: rgba(255, 255, 255, 0.58);
}

.sidebar .workbench-import input::file-selector-button {
  color: #0f172a;
}

.sidebar .compact-section > summary::after {
  color: rgba(255, 255, 255, 0.78);
}

.sidebar .workspace-list,
.sidebar .queue-list {
  color: rgba(255, 255, 255, 0.78);
}

.sidebar-toggle {
  display: grid;
  place-items: center;
  width: 34px;
  height: 34px;
  margin: 0 0 14px auto;
  border: 1px solid rgba(255, 255, 255, 0.2);
  border-radius: 8px;
  background: rgba(255, 255, 255, 0.1);
  color: #ffffff;
  cursor: pointer;
  font: inherit;
  font-size: 1.25rem;
  font-weight: 900;
  line-height: 1;
}

.sidebar-toggle:hover {
  background: rgba(255, 255, 255, 0.18);
  transform: translateY(-1px);
}

.sidebar-toggle:focus-visible {
  background: rgba(255, 255, 255, 0.18);
}

.nav-link:hover,
.nav-link:focus-visible {
  background: rgba(255, 255, 255, 0.12);
  color: #ffffff;
  outline: none;
  transform: translateX(2px);
}

.auth-form button:hover:not(:disabled),
.auth-form button:focus-visible:not(:disabled),
.topbar-actions button:hover:not(:disabled),
.topbar-actions button:focus-visible:not(:disabled),
.claims-header-actions button:hover:not(:disabled),
.claims-header-actions button:focus-visible:not(:disabled),
.foundation-link-button:hover,
.foundation-link-button:focus-visible {
  box-shadow: 0 0 0 3px rgba(20, 184, 166, 0.2);
  transform: translateY(-1px);
}

.foundation-link-button:hover,
.foundation-link-button:focus-visible {
  background: #0b6b75;
  color: #ffffff;
  outline: none;
}

body[data-sidebar-collapsed="true"] .app-shell {
  grid-template-columns: 74px minmax(0, 1fr);
}

body[data-sidebar-collapsed="true"] .sidebar {
  padding: 16px 10px;
}

body[data-sidebar-collapsed="true"] .sidebar-toggle {
  margin-right: auto;
  transform: rotate(180deg);
}

body[data-sidebar-collapsed="true"] .brand {
  justify-content: center;
}

body[data-sidebar-collapsed="true"] .brand > div:last-child,
body[data-sidebar-collapsed="true"] .nav-label,
body[data-sidebar-collapsed="true"] .sidebar-tools {
  display: none;
}

body[data-sidebar-collapsed="true"] .nav-link {
  grid-template-columns: 1fr;
  justify-items: center;
  padding-inline: 8px;
}

body[data-sidebar-collapsed="true"] .nav-bullet {
  font-weight: 900;
}

.content.workbench-shell {
  width: 100%;
}

.engine-strip {
  background: var(--csa-surface);
  border: 1px solid var(--csa-line-soft);
  border-radius: 8px;
  display: grid;
  gap: 10px;
  grid-template-columns: minmax(170px, 0.85fr) repeat(4, minmax(0, 1fr));
  margin: 10px 0;
  padding: 12px;
}

.engine-strip section {
  border-left: 3px solid var(--csa-pill-line);
  display: grid;
  gap: 4px;
  padding-left: 10px;
}

.engine-strip strong {
  color: var(--csa-ink);
  font-size: 0.95rem;
}

.engine-strip span:not(.learn-kicker) {
  color: var(--csa-muted);
  line-height: 1.35;
}

html[data-theme="dark"] .workbench-topbar,
html[data-theme="dark"] .science-brief,
html[data-theme="dark"] .engine-strip,
html[data-theme="dark"] .workbench-panel,
html[data-theme="dark"] .workbench-dashboard > .tab-panel,
html[data-theme="dark"] .formula-band,
html[data-theme="dark"] .research-start section,
html[data-theme="dark"] .auth-feature-grid section,
html[data-theme="dark"] .auth-ecosystem-grid section,
html[data-theme="dark"] .audit-busy-card {
  background: var(--csa-surface);
  border-color: var(--csa-line-soft);
  color: var(--csa-ink);
}

html[data-theme="dark"] .workbench-tabs,
html[data-theme="dark"] select,
html[data-theme="dark"] input,
html[data-theme="dark"] textarea,
html[data-theme="dark"] pre {
  background: var(--csa-surface-muted);
  border-color: var(--csa-line);
  color: var(--csa-ink);
}

html[data-theme="dark"] .brief-grid section {
  background: var(--csa-surface-muted);
  border-color: var(--csa-line);
}

html[data-theme="dark"] .sidebar {
  background: linear-gradient(180deg, #0d1422 0%, #171444 100%);
}

html[data-theme="dark"] .learn-kicker,
html[data-theme="dark"] .compact-section > summary,
html[data-theme="dark"] .auth-feature-grid strong,
html[data-theme="dark"] .auth-position-grid strong,
html[data-theme="dark"] .auth-ecosystem-grid strong {
  color: var(--csa-accent);
}

html[data-theme="dark"] p,
html[data-theme="dark"] .auth-feature-grid span,
html[data-theme="dark"] .auth-position-grid span,
html[data-theme="dark"] .auth-ecosystem-grid span,
html[data-theme="dark"] .workbench-title p,
html[data-theme="dark"] .science-brief p,
html[data-theme="dark"] .science-brief span,
html[data-theme="dark"] .engine-strip span:not(.learn-kicker),
html[data-theme="dark"] .audit-busy-card p {
  color: var(--csa-muted);
}

@media (max-width: 980px) {
  .app-shell {
    grid-template-columns: 1fr;
  }

  .auth-landing,
  .auth-feature-grid,
  .auth-position-grid,
  .auth-ecosystem-grid,
  .engine-strip {
    grid-template-columns: 1fr;
  }

  .sidebar {
    position: static;
    height: auto;
  }

  .sidebar-toggle {
    display: none;
  }

  body[data-sidebar-collapsed="true"] .app-shell {
    grid-template-columns: 1fr;
  }

  body[data-sidebar-collapsed="true"] .brand > div:last-child,
  body[data-sidebar-collapsed="true"] .nav-label {
    display: block;
  }
}

.foundations-shell {
  max-width: none;
  width: 100%;
}

.foundations-hero {
  align-items: start;
  background: var(--csa-surface);
  border: 1px solid var(--csa-line-soft);
  border-radius: 8px;
  display: grid;
  gap: 16px;
  grid-template-columns: minmax(0, 1fr) auto;
  margin-bottom: 16px;
  padding: 18px;
}

.foundations-hero h1 {
  font-size: clamp(2.5rem, 5vw, 5.2rem);
  line-height: 1;
  margin: 8px 0 14px;
  max-width: 1100px;
}

.foundations-hero p {
  color: var(--csa-muted);
  font-size: 1.1rem;
  max-width: 980px;
}

.foundations-badge {
  align-self: start;
}

.foundations-grid {
  display: grid;
  gap: 14px;
  grid-template-columns: repeat(2, minmax(0, 1fr));
}

.foundation-card {
  background: var(--csa-surface);
  border: 1px solid var(--csa-line-soft);
  border-radius: 8px;
  padding: 18px;
}

.foundation-card.wide {
  grid-column: 1 / -1;
}

.foundation-card h2 {
  margin: 8px 0 10px;
}

.foundation-card p,
.foundation-card li,
.foundation-card dd,
.foundation-card span {
  color: var(--csa-muted);
  line-height: 1.48;
}

.foundation-card ul,
.foundation-card ol {
  margin: 12px 0 0;
  padding-left: 1.25rem;
}

.foundation-chain,
.foundation-pillar-grid {
  display: grid;
  gap: 10px;
  margin-top: 14px;
}

.foundation-chain {
  grid-template-columns: repeat(6, minmax(0, 1fr));
}

.foundation-chain span,
.foundation-pillar-grid section,
.axiom-list li,
.symbol-list dt,
.symbol-list dd {
  background: var(--csa-surface-muted);
  border: 1px solid var(--csa-line-soft);
  border-radius: 8px;
}

.foundation-chain span {
  color: var(--csa-accent);
  font-weight: 900;
  padding: 10px;
  text-align: center;
}

.foundation-pillar-grid {
  grid-template-columns: repeat(4, minmax(0, 1fr));
}

.foundation-pillar-grid section {
  padding: 12px;
}

.foundation-pillar-grid strong {
  color: var(--csa-accent);
  display: block;
  margin-bottom: 5px;
}

.foundation-overview-figure {
  margin: 16px 0 0;
}

.foundation-overview-figure a {
  display: block;
  border: 1px solid var(--csa-line-soft);
  border-radius: 8px;
  background: var(--csa-surface-muted);
  padding: 12px;
}

.foundation-overview-figure img {
  display: block;
  width: 100%;
  max-height: 620px;
  object-fit: contain;
  border-radius: 6px;
  background: #ffffff;
}

.foundation-overview-figure figcaption {
  color: var(--csa-muted);
  line-height: 1.45;
  margin-top: 10px;
}

.axiom-list {
  columns: 2;
  column-gap: 18px;
  list-style-position: inside;
  padding-left: 0 !important;
}

.axiom-list li {
  break-inside: avoid;
  margin: 0 0 8px;
  padding: 10px;
}

.symbol-list {
  display: grid;
  gap: 8px;
  grid-template-columns: max-content minmax(0, 1fr);
  margin: 14px 0 0;
}

.symbol-list dt,
.symbol-list dd {
  margin: 0;
  padding: 10px;
}

.symbol-list dt {
  color: var(--csa-accent);
  font-weight: 900;
}

.grammar-table-wrap {
  border: 1px solid var(--csa-line-soft);
  border-radius: 8px;
  margin-top: 14px;
  overflow-x: auto;
}

.grammar-table {
  border-collapse: collapse;
  min-width: 920px;
  width: 100%;
}

.grammar-table th,
.grammar-table td {
  border-bottom: 1px solid var(--csa-line-soft);
  padding: 12px;
  text-align: left;
  vertical-align: top;
}

.grammar-table th {
  background: var(--csa-surface-muted);
  color: var(--csa-accent);
  font-size: 0.82rem;
  letter-spacing: 0;
  text-transform: uppercase;
}

.grammar-table td {
  color: var(--csa-muted);
  line-height: 1.45;
}

.grammar-table td:first-child {
  color: var(--csa-accent);
  font-weight: 900;
  white-space: nowrap;
}

.grammar-table tr:last-child td {
  border-bottom: 0;
}

.foundation-link-button {
  align-items: center;
  background: #0f766e;
  border-radius: 8px;
  color: #ffffff;
  display: inline-flex;
  font-weight: 900;
  margin-top: 12px;
  min-height: 42px;
  padding: 10px 14px;
  text-decoration: none;
}

.foundations-index {
  display: grid;
  gap: 8px;
}

.foundations-index a {
  border: 1px solid rgba(255, 255, 255, 0.14);
  border-radius: 8px;
  color: rgba(255, 255, 255, 0.86);
  font-weight: 800;
  padding: 9px 10px;
  text-decoration: none;
}

.foundations-index a:hover {
  background: rgba(255, 255, 255, 0.1);
  color: #ffffff;
}

.csa-reference-panel {
  background: var(--csa-surface-muted);
  border: 1px solid var(--csa-line-soft);
  border-radius: 8px;
  margin: 12px 0;
  padding: 14px;
}

.csa-reference-panel h3 {
  margin: 0 0 8px;
}

.csa-reference-panel p {
  color: var(--csa-muted);
  margin: 0 0 10px;
}

.csa-reference-grid {
  display: grid;
  gap: 10px;
  grid-template-columns: repeat(4, minmax(0, 1fr));
}

.csa-reference-grid section {
  background: var(--csa-surface);
  border: 1px solid var(--csa-line-soft);
  border-radius: 8px;
  padding: 10px;
}

.csa-reference-grid strong {
  color: var(--csa-accent);
  display: block;
  margin-bottom: 4px;
}

.csa-reference-link {
  color: var(--csa-accent);
  display: inline-flex;
  font-weight: 900;
  margin-top: 10px;
}

@media (max-width: 980px) {
  .foundations-hero,
  .foundations-grid,
  .foundation-chain,
  .foundation-pillar-grid,
  .csa-reference-grid {
    grid-template-columns: 1fr;
  }
  .axiom-list {
    columns: 1;
  }
  .symbol-list {
    grid-template-columns: 1fr;
  }
}