.article-site-header {
  position: sticky;
  top: 0;
  z-index: 50;
  border-bottom: 1px solid hsl(var(--border) / .65);
  background: hsl(var(--background) / .95);
  backdrop-filter: blur(16px);
}

.article-nav {
  min-height: 4rem;
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 1.5rem;
}

.article-brand {
  font-size: 1.25rem;
  font-weight: 700;
  white-space: nowrap;
}

.article-nav-links {
  display: flex;
  align-items: center;
  justify-content: flex-end;
  gap: .25rem;
  flex-wrap: wrap;
}

.article-nav-links a {
  padding: .65rem .8rem;
  border-radius: .5rem;
  color: hsl(var(--foreground) / .8);
  font-size: .9rem;
  font-weight: 500;
  transition: color .2s ease, background-color .2s ease;
}

.article-nav-links a:hover,
.article-nav-links a:focus-visible,
.article-nav-links a[aria-current="page"] {
  color: hsl(var(--primary));
  background: hsl(var(--primary) / .1);
  outline: none;
}

.article-hero {
  padding: 5rem 0 4.5rem;
  background:
    radial-gradient(circle at 15% 0%, hsl(var(--primary) / .12), transparent 30rem),
    linear-gradient(to bottom, hsl(var(--background)), hsl(var(--muted) / .3));
}

.article-hero-inner {
  max-width: 64rem;
}

.article-breadcrumbs {
  display: flex;
  align-items: center;
  flex-wrap: wrap;
  gap: .45rem;
  margin-bottom: 1.75rem;
  color: hsl(var(--muted-foreground));
  font-size: .9rem;
}

.article-breadcrumbs a:hover,
.article-breadcrumbs a:focus-visible {
  color: hsl(var(--primary));
}

.article-kicker {
  display: inline-flex;
  align-items: center;
  gap: .5rem;
  margin-bottom: 1.25rem;
  padding: .45rem .8rem;
  border: 1px solid hsl(var(--primary) / .3);
  border-radius: 999px;
  background: hsl(var(--primary) / .08);
  color: hsl(var(--foreground) / .82);
  font-size: .78rem;
  font-weight: 700;
  letter-spacing: .08em;
  text-transform: uppercase;
}

.article-hero h1 {
  max-width: 19ch;
  margin-bottom: 1.25rem;
}

.article-subtitle {
  max-width: 48rem;
  color: hsl(var(--muted-foreground));
  font-size: 1.25rem;
  line-height: 1.65;
}

.article-meta {
  display: flex;
  flex-wrap: wrap;
  gap: .75rem 1.5rem;
  margin-top: 2rem;
  color: hsl(var(--foreground) / .78);
}

.article-meta span {
  display: inline-flex;
  align-items: center;
  gap: .45rem;
}

.article-shell {
  display: grid;
  grid-template-columns: minmax(0, 1fr) 18rem;
  gap: 3rem;
  align-items: start;
  padding-top: 4rem;
  padding-bottom: 5rem;
}

.paper-card {
  min-width: 0;
  padding: clamp(1.5rem, 4vw, 4rem);
  border: 1px solid hsl(var(--border));
  border-radius: 1.25rem;
  background: hsl(var(--card));
  box-shadow: 0 20px 60px hsl(var(--foreground) / .06);
}

.paper-body {
  max-width: 76ch;
  margin: 0 auto;
  color: hsl(var(--foreground) / .86);
  font-size: 1.05rem;
  line-height: 1.82;
}

.paper-body h2,
.paper-body h3,
.paper-body h4 {
  scroll-margin-top: 6rem;
  color: hsl(var(--foreground));
}

.paper-body h2 {
  margin: 3.5rem 0 1.25rem;
  padding-top: 1.25rem;
  border-top: 1px solid hsl(var(--border));
  font-size: clamp(1.65rem, 3vw, 2.2rem);
}

.paper-body h2:first-child {
  margin-top: 0;
  padding-top: 0;
  border-top: 0;
}

.paper-body h3 {
  margin: 2.5rem 0 1rem;
  font-size: 1.45rem;
}

.paper-body h4 {
  margin: 2rem 0 .8rem;
  font-size: 1.2rem;
}

.paper-body p,
.paper-body ul,
.paper-body ol,
.paper-body blockquote,
.paper-body table,
.paper-body .equation {
  margin: 0 0 1.35rem;
}

.paper-body ul,
.paper-body ol {
  padding-left: 1.5rem;
}

.paper-body ul {
  list-style: disc;
}

.paper-body ol {
  list-style: decimal;
}

.paper-body li {
  margin: .45rem 0;
  padding-left: .25rem;
}

.paper-body blockquote {
  padding: 1.25rem 1.5rem;
  border-left: 4px solid hsl(var(--primary));
  border-radius: 0 .75rem .75rem 0;
  background: hsl(var(--primary) / .07);
  color: hsl(var(--foreground) / .9);
}

.paper-body blockquote p:last-child {
  margin-bottom: 0;
}

.paper-body a {
  color: hsl(var(--primary));
  text-decoration: underline;
  text-decoration-color: hsl(var(--primary) / .4);
  text-underline-offset: .2em;
  overflow-wrap: anywhere;
}

.paper-body a:hover,
.paper-body a:focus-visible {
  text-decoration-color: currentColor;
}

.paper-body hr {
  margin: 3rem 0;
  border-color: hsl(var(--border));
}

.paper-body strong {
  color: hsl(var(--foreground));
}

.paper-body table {
  width: 100%;
  display: block;
  overflow-x: auto;
  border-collapse: collapse;
  font-size: .95rem;
}

.paper-body th,
.paper-body td {
  min-width: 10rem;
  padding: .8rem 1rem;
  border: 1px solid hsl(var(--border));
  text-align: left;
  vertical-align: top;
}

.paper-body th {
  background: hsl(var(--muted) / .65);
  color: hsl(var(--foreground));
}

.equation {
  overflow-x: auto;
  padding: 1.15rem 1.35rem;
  border: 1px solid hsl(var(--border));
  border-radius: .75rem;
  background: hsl(var(--muted) / .45);
  text-align: center;
}

.equation code,
.inline-equation {
  font-family: "Times New Roman", Georgia, serif;
  font-size: 1.05em;
  white-space: pre-wrap;
}

.article-toc {
  position: sticky;
  top: 6rem;
  max-height: calc(100vh - 7.5rem);
  overflow-y: auto;
  padding: 1.5rem;
  border: 1px solid hsl(var(--border));
  border-radius: 1rem;
  background: hsl(var(--card));
}

.article-toc h2 {
  margin-bottom: 1rem;
  font-size: .82rem;
  font-weight: 700;
  letter-spacing: .08em;
  text-transform: uppercase;
}

.article-toc ol {
  display: grid;
  gap: .5rem;
  list-style: none;
}

.article-toc li[data-level="3"] {
  padding-left: .85rem;
}

.article-toc a {
  display: block;
  color: hsl(var(--muted-foreground));
  font-size: .82rem;
  line-height: 1.35;
  transition: color .2s ease;
}

.article-toc a:hover,
.article-toc a:focus-visible {
  color: hsl(var(--primary));
}

.article-footer {
  border-top: 1px solid hsl(var(--border));
  background: hsl(var(--card));
}

.article-footer-inner {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 1.5rem;
  min-height: 8rem;
  color: hsl(var(--muted-foreground));
}

.article-back-link {
  color: hsl(var(--primary));
  font-weight: 600;
}

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

  .article-toc {
    position: static;
    grid-row: 1;
    max-height: none;
  }
}

@media (max-width: 767px) {
  .article-nav {
    align-items: flex-start;
    padding-top: .9rem;
    padding-bottom: .9rem;
  }

  .article-brand {
    white-space: normal;
  }

  .article-nav-links a:not([aria-current="page"]) {
    display: none;
  }

  .article-hero {
    padding: 3.5rem 0 3rem;
  }

  .article-meta {
    display: grid;
  }

  .article-shell {
    gap: 1.5rem;
    padding-top: 2rem;
  }

  .paper-card {
    border-radius: 1rem;
  }

  .paper-body {
    font-size: 1rem;
  }

  .article-footer-inner {
    align-items: flex-start;
    flex-direction: column;
    justify-content: center;
  }
}

@media print {
  .article-site-header,
  .article-toc,
  .article-footer {
    display: none;
  }

  .article-hero {
    padding: 1rem 0 2rem;
    background: none;
  }

  .article-shell {
    display: block;
    padding: 0;
  }

  .paper-card {
    padding: 0;
    border: 0;
    box-shadow: none;
  }
}