:root {
  color-scheme: light;
  --kt-page-bg: #fdfaff;
  --kt-surface: #f6ecfb;
  --kt-surface-strong: #efe0f7;
  --kt-text: #201425;
  --kt-muted: #684f73;
  --kt-purple: #6f2dbd;
  --kt-purple-dark: #4c1d79;
  --kt-rule: #e2cbed;
  --kt-card: rgba(246, 236, 251, .68);
  --kt-nav: rgba(253, 250, 255, .9);
  --kt-focus: rgba(111, 45, 189, .28);
  --nav-height: 4rem;
}

:root[data-theme="dark"] {
  color-scheme: dark;
  --kt-page-bg: #140f19;
  --kt-surface: #261831;
  --kt-surface-strong: #33213f;
  --kt-text: #f3edf5;
  --kt-muted: #d2c2d8;
  --kt-purple: #d8b4fe;
  --kt-purple-dark: #d8b4fe;
  --kt-rule: rgba(216, 180, 254, .28);
  --kt-card: rgba(38, 24, 49, .72);
  --kt-nav: rgba(20, 15, 25, .9);
  --kt-focus: rgba(216, 180, 254, .32);
}

* { box-sizing: border-box; }
html { scroll-behavior: smooth; }
body {
  margin: 0;
  color: var(--kt-text);
  background:
    radial-gradient(circle at 20% 0%, rgba(216, 180, 254, .18), transparent 32rem),
    var(--kt-page-bg);
  font-family: system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
  font-size: 17px;
  line-height: 1.65;
  text-rendering: optimizeLegibility;
}
:root[data-theme="dark"] body {
  background:
    radial-gradient(circle at 20% 0%, rgba(147, 51, 234, .16), transparent 30rem),
    var(--kt-page-bg);
}

a {
  color: var(--kt-purple-dark);
  text-decoration-line: underline;
  text-decoration-thickness: .08em;
  text-underline-offset: .18em;
}
a:hover { color: var(--kt-purple); }
a:focus-visible, summary:focus-visible {
  outline: 3px solid var(--kt-focus);
  outline-offset: 3px;
  border-radius: .15rem;
}

.site-nav {
  position: sticky;
  top: 0;
  z-index: 20;
  min-height: var(--nav-height);
  border-bottom: 1px solid var(--kt-rule);
  background: var(--kt-nav);
  backdrop-filter: blur(12px);
}
.site-nav-inner {
  display: flex;
  align-items: center;
  justify-content: space-between;
  width: min(100% - 2rem, 80rem);
  min-height: var(--nav-height);
  margin: 0 auto;
}
.site-nav a { color: var(--kt-text); text-decoration: none; }
.site-nav a:hover { color: var(--kt-purple); }
.site-name { font-size: 1rem; font-weight: 500; white-space: nowrap; }
.site-actions { display: flex; align-items: center; gap: 1.25rem; font-size: 1rem; font-weight: 500; }
.pdf-link {
  display: inline-flex;
  align-items: center;
  min-height: 2.25rem;
  padding: .3rem .75rem;
  border: 1px solid var(--kt-rule);
  border-radius: 999px;
  background: var(--kt-card);
}
.appearance-switcher {
  width: 2rem;
  height: 2rem;
  padding: 0;
  border: 0;
  color: var(--kt-text);
  background: transparent;
  font: inherit;
  cursor: pointer;
}
.appearance-switcher:hover { color: var(--kt-purple); }
.appearance-switcher .sun, :root[data-theme="dark"] .appearance-switcher .moon { display: none; }
:root[data-theme="dark"] .appearance-switcher .sun { display: inline; }

.paper-header { color: var(--kt-text); }
.title-inner {
  width: min(100% - 2rem, 66rem);
  margin: 0 auto;
  padding: clamp(3rem, 7vw, 5.6rem) 0 clamp(2.5rem, 5vw, 4rem);
  border-bottom: 1px solid var(--kt-rule);
}
.translation-notice {
  margin: 0 0 clamp(2.5rem, 5vw, 4rem);
  padding: 1rem 1.15rem;
  border: 1px solid var(--kt-rule);
  border-radius: 8px;
  color: var(--kt-muted);
  background: var(--kt-card);
  font-size: .92rem;
  line-height: 1.55;
}
.translation-notice strong { color: var(--kt-text); }
.translation-notice a { font-weight: 650; }
.eyebrow {
  margin: 0 0 1rem;
  color: var(--kt-purple);
  font-size: .82rem;
  font-weight: 700;
  letter-spacing: .08em;
  text-transform: uppercase;
}
.title {
  max-width: 18ch;
  margin: 0;
  color: var(--kt-text);
  font-size: clamp(2.6rem, 6vw, 5.15rem);
  line-height: .98;
  letter-spacing: -.025em;
}
.title-metadata { display: flex; flex-wrap: wrap; gap: 1.25rem 5rem; margin-top: 2rem; }
.title-metadata > div { min-width: 12rem; }
.metadata-label {
  display: block;
  margin-bottom: .2rem;
  color: var(--kt-muted);
  font-size: .68rem;
  font-weight: 700;
  letter-spacing: .08em;
  text-transform: uppercase;
}
.title-metadata p { margin: 0; color: var(--kt-muted); }
.title-metadata a { color: var(--kt-purple-dark); }

.article-layout {
  display: grid;
  grid-template-columns: minmax(11rem, 14rem) minmax(0, 42rem) minmax(8rem, 10rem);
  justify-content: center;
  gap: clamp(1.5rem, 4vw, 3rem);
  width: min(100% - 2rem, 80rem);
  margin: 0 auto;
  padding: clamp(2.5rem, 6vw, 4.5rem) 0 5rem;
}

.toc-rail, .margin-rail { align-self: start; position: sticky; top: calc(var(--nav-height) + 1.5rem); }
.toc-rail details {
  padding: 1rem;
  border: 1px solid var(--kt-rule);
  border-radius: 8px;
  background: var(--kt-card);
}
.toc-rail summary {
  color: var(--kt-purple-dark);
  font-size: .75rem;
  font-weight: 700;
  letter-spacing: .08em;
  list-style: none;
  text-transform: uppercase;
  cursor: pointer;
}
.toc-rail summary::-webkit-details-marker { display: none; }
.toc-rail ul { margin: .8rem 0 0; padding: 0; list-style: none; }
.toc-rail ul ul { margin-top: .25rem; padding-left: .8rem; }
.toc-rail li { margin: .38rem 0; }
.toc-rail a {
  display: block;
  color: var(--kt-muted);
  font-size: .79rem;
  line-height: 1.35;
  text-decoration: none;
}
.toc-rail a:hover, .toc-rail a.is-active { color: var(--kt-purple); }

.margin-card {
  display: grid;
  gap: .35rem;
  padding: 1rem;
  border: 1px solid var(--kt-rule);
  border-radius: 8px;
  background: var(--kt-card);
  font-size: .78rem;
  line-height: 1.45;
}
.margin-card .metadata-label { color: var(--kt-muted); }
.margin-card a { text-decoration: none; }

.article-content { min-width: 0; }
.article-content > :first-child { margin-top: 0; }
.article-content p { margin: 0 0 1.15rem; }
.article-content h1, .article-content h2, .article-content h3, .article-content h4 {
  color: var(--kt-text);
  line-height: 1.2;
  scroll-margin-top: calc(var(--nav-height) + 1.5rem);
}
.article-content section.level1 > h1 {
  margin: 4rem 0 1.3rem;
  padding-top: .3rem;
  font-size: clamp(1.75rem, 4vw, 2.35rem);
  letter-spacing: -.02em;
}
.article-content section.level1:first-of-type > h1 { margin-top: 0; }
.article-content section.level2 > h2 { margin: 2.8rem 0 1rem; font-size: 1.45rem; }
.article-content section.level4 > h4 {
  display: inline;
  margin: 0;
  font-size: 1rem;
}
.article-content section.level4 > h4 + p { display: inline; }
.article-content section.level4 > h4 + p::before { content: " "; }
.article-content section.level4 { margin-bottom: 1.15rem; }
.level4 .header-section-number { display: none; }
.header-section-number { color: var(--kt-muted); font-variant-numeric: tabular-nums; }

.abstract {
  margin: 0 0 4rem;
  padding: 1.5rem 1.65rem;
  border: 1px solid var(--kt-rule);
  border-left: .35rem solid var(--kt-purple);
  border-radius: 8px;
  background: var(--kt-card);
}
.abstract h2 { margin: 0 0 .7rem; font-size: 1rem; }
.abstract p:last-child { margin-bottom: 0; }

.proposition, .definition, .assumption, .remark {
  margin: 2rem 0;
  padding: 1.25rem 1.4rem;
  border: 1px solid var(--kt-rule);
  border-left: .35rem solid var(--kt-purple-dark);
  border-radius: 8px;
  background: var(--kt-card);
  scroll-margin-top: calc(var(--nav-height) + 1.5rem);
}
.definition { border-left-color: var(--kt-purple); background: var(--kt-card); }
.proposition p:last-child, .definition p:last-child { margin-bottom: 0; }
.math.display, .equation-anchor {
  display: block;
  max-width: 100%;
  margin: 1.35rem 0;
  overflow-x: auto;
  overflow-y: hidden;
  text-align: center;
  scroll-margin-top: calc(var(--nav-height) + 1.5rem);
}
mjx-container { max-width: 100%; }

figure { margin: 2.2rem 0; }
figure img { display: block; max-width: 100%; height: auto; margin: 0 auto; }
figcaption, table caption { color: var(--kt-muted); font-size: .85rem; line-height: 1.45; }
table {
  display: block;
  width: 100%;
  margin: 2rem 0;
  overflow-x: auto;
  border-collapse: collapse;
  font-size: .88rem;
}
caption { margin-bottom: .65rem; text-align: left; }
th, td { padding: .6rem .7rem; border-bottom: 1px solid var(--kt-rule); vertical-align: top; }
th { border-top: 2px solid var(--kt-purple-dark); text-align: left; }

.article-content ul, .article-content ol { margin: 0 0 1.2rem; padding-left: 1.35rem; }
.article-content li { margin: .45rem 0; padding-left: .25rem; }
.citation a { text-decoration: none; }
.footnote-ref { text-decoration: none; }
.footnotes { margin-top: 4rem; padding-top: 1rem; border-top: 1px solid var(--kt-rule); font-size: .85rem; }
#refs { margin-top: 1.2rem; }
.csl-entry { margin: 0 0 .9rem; padding-left: 1.4rem; text-indent: -1.4rem; font-size: .87rem; }

.site-footer {
  border-top: 1px solid var(--kt-rule);
  color: var(--kt-muted);
  font-size: .78rem;
}
.site-footer-inner {
  display: flex;
  justify-content: space-between;
  gap: 1rem;
  width: min(100% - 2rem, 66rem);
  margin: 0 auto;
  padding: 1.5rem 0;
}
.site-footer p { margin: 0; }
.site-footer a { color: var(--kt-purple-dark); }

@media (max-width: 1050px) {
  .article-layout { grid-template-columns: minmax(10rem, 14rem) minmax(0, 760px); }
  .margin-rail { display: none; }
}

@media (max-width: 780px) {
  body { font-size: 15px; }
  .site-actions > a:not(.pdf-link) { display: none; }
  .title-inner { width: min(100% - 2rem, 760px); }
  .article-layout { display: block; width: min(100% - 2rem, 760px); padding-top: 1.5rem; }
  .toc-rail { position: static; margin-bottom: 2.5rem; }
  .toc-rail details { padding: .8rem 1rem; }
  .toc-rail summary::after { content: "+"; float: right; font-size: 1rem; }
  .toc-rail details[open] summary::after { content: "−"; }
  .article-content section.level1 > h1 { margin-top: 3rem; }
  .math.display, .equation-anchor { margin-right: -.5rem; margin-left: -.5rem; padding: 0 .5rem; }
}

@media print {
  .site-nav, .toc-rail, .margin-rail, .site-footer { display: none; }
  body, .paper-header { color: #000; background: #fff; }
  .article-layout { display: block; width: auto; padding: 0; }
  .article-content { max-width: none; }
  a { color: #000; text-decoration: none; }
}