:root {
  --md-primary-fg-color: #0d2538;
  --md-primary-fg-color--light: #173d58;
  --md-primary-fg-color--dark: #071824;
  --md-accent-fg-color: #137f9e;
  --gf-surface-tint: #edf6f8;
  --gf-border: #c9d9de;
  --gf-ink-soft: #405763;
}

[data-md-color-scheme="slate"] {
  --md-primary-fg-color: #0b1d2b;
  --md-primary-fg-color--light: #18394f;
  --md-primary-fg-color--dark: #06121b;
  --md-accent-fg-color: #55bad3;
  --gf-surface-tint: #102937;
  --gf-border: #294552;
  --gf-ink-soft: #a9bec7;
}

body {
  font-family: ui-sans-serif, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
}

code,
kbd,
pre {
  font-family: ui-monospace, "SFMono-Regular", Consolas, "Liberation Mono", monospace;
}

.md-header,
.md-tabs {
  background: var(--md-primary-fg-color);
}

.md-typeset h1 {
  max-width: 18ch;
  color: var(--md-default-fg-color);
  font-size: clamp(2rem, 4vw, 3.25rem);
  font-weight: 680;
  letter-spacing: -0.045em;
  line-height: 1.02;
}

.md-nav__link--active {
  color: var(--md-accent-fg-color) !important;
  font-weight: 650;
}

.md-typeset h2 {
  margin-top: 2.8rem;
  font-weight: 650;
  letter-spacing: -0.025em;
}

.md-typeset p,
.md-typeset li {
  line-height: 1.72;
}

.md-typeset a {
  text-underline-offset: 0.16em;
}

.research-hero {
  overflow: hidden;
  margin: 1.25rem 0 2.25rem;
  border: 1px solid var(--gf-border);
  border-radius: 14px;
  background: #091a28;
}

.research-hero img {
  display: block;
  width: 100%;
  max-height: 320px;
  height: auto;
  object-fit: cover;
}

.status-strip {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 1px;
  overflow: hidden;
  margin: 1.75rem 0;
  border: 1px solid var(--gf-border);
  border-radius: 12px;
  background: var(--gf-border);
}

.status-strip > div {
  min-height: 6.5rem;
  padding: 1rem 1.1rem;
  background: var(--md-default-bg-color);
}

.status-strip strong {
  display: block;
  margin-bottom: 0.35rem;
  color: var(--md-accent-fg-color);
  font-size: 1.15rem;
}

.status-strip span {
  color: var(--gf-ink-soft);
  font-size: 0.82rem;
  line-height: 1.45;
}

.md-typeset .grid.cards > ul > li {
  border-color: var(--gf-border);
  border-radius: 12px;
  box-shadow: none;
  transition: border-color 160ms ease, transform 160ms ease;
}

.md-typeset .grid.cards > ul > li:hover {
  border-color: var(--md-accent-fg-color);
  transform: translateY(-2px);
}

.proof-flow {
  display: grid;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  gap: 0.75rem;
  margin: 1.75rem 0;
}

.proof-flow > div {
  padding: 1rem;
  border: 1px solid var(--gf-border);
  border-radius: 12px;
  background: var(--gf-surface-tint);
}

.proof-flow strong {
  display: block;
  margin-bottom: 0.35rem;
}

@media (max-width: 767px) {
  .status-strip,
  .proof-flow {
    grid-template-columns: 1fr;
  }

  .md-typeset h1 {
    font-size: 2.2rem;
  }
}

@media (prefers-reduced-motion: reduce) {
  .md-typeset .grid.cards > ul > li {
    transition: none;
  }
}