/* Local, dependency-free styles for the Kähler–Einstein Fano manuscript. */
:root {
  color-scheme: light;
  --paper: #ffffff;
  --canvas: #f7f8fa;
  --ink: #202b38;
  --muted: #596777;
  --navy: #18364b;
  --link: #075e72;
  --line: #d9e0e5;
  --soft: #edf4f6;
  --focus: #b45a13;
  --reading-size: 1.125rem;
  --ui: system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
  --prose: Georgia, "Times New Roman", serif;
}
* { box-sizing: border-box; }
html { scroll-padding-top: 1.5rem; }
body { margin: 0; background: var(--canvas); color: var(--ink); font-family: var(--ui); line-height: 1.55; }
a { color: var(--link); text-decoration-thickness: .065em; text-underline-offset: .17em; }
a:hover { color: #043f4c; text-decoration-thickness: .11em; }
a:focus-visible, button:focus-visible, input:focus-visible, summary:focus-visible, [tabindex]:focus-visible {
  outline: 3px solid var(--focus); outline-offset: 4px; border-radius: 2px;
}
button, input { font: inherit; }
button { cursor: pointer; }
button:disabled { cursor: default; opacity: .45; }
button, .button-link {
  background: #fff; color: var(--navy); border: 1px solid #bac8d1;
  border-radius: 5px; min-height: 2.5rem; padding: .45rem .7rem;
}
button:hover:not(:disabled), .button-link:hover { background: var(--soft); }
[hidden] { display: none !important; }
.skip-link { position: absolute; top: .5rem; left: 1rem; z-index: 50; transform: translateY(-200%); padding: .6rem 1rem; background: white; border: 2px solid var(--navy); }
.skip-link:focus { transform: none; }
.site-header { background: var(--paper); border-bottom: 1px solid var(--line); padding: 1.1rem max(1.25rem, calc((100vw - 1440px)/2)); display: flex; align-items: center; justify-content: space-between; gap: 1.5rem; }
.site-brand { color: var(--navy); text-decoration: none; font-weight: 650; font-size: 1rem; letter-spacing: -.015em; }
.site-brand small { display: block; color: var(--muted); font-weight: 400; font-size: .78rem; letter-spacing: .02em; margin-top: .1rem; }
.header-links { display: flex; gap: 1.2rem; flex-wrap: wrap; align-items: center; font-size: .88rem; }
.header-links a { white-space: nowrap; }
.toolbar { max-width: 1440px; margin: 0 auto; padding: .8rem 1.25rem; display: flex; align-items: center; justify-content: space-between; gap: 1rem; font-size: .85rem; }
.breadcrumb { color: var(--muted); min-width: 0; overflow-wrap: anywhere; }
.breadcrumb a { color: var(--muted); }
.reading-controls { display: flex; gap: .3rem; align-items: center; flex-shrink: 0; }
.reading-controls .control-label { margin-right: .3rem; color: var(--muted); }
.reading-controls button { min-width: 2.6rem; padding: .3rem .55rem; }
#nav-toggle { display: none; }
.layout { display: grid; grid-template-columns: minmax(200px, 260px) minmax(0, 1fr); gap: 3rem; max-width: 1440px; margin: 0 auto; padding: 0 1.25rem 3rem; align-items: start; }
.sidebar { position: sticky; top: 1rem; max-height: calc(100vh - 2rem); overflow-y: auto; padding: 1.1rem 0 1.5rem; font-size: .87rem; scrollbar-width: thin; }
.sidebar h2, .sidebar .nav-title { margin: 0 0 .8rem; font-size: .75rem; letter-spacing: .06em; text-transform: uppercase; color: var(--muted); font-weight: 650; }
.sidebar ul, .sidebar ol { list-style: none; margin: 0; padding: 0; }
.sidebar li { margin: .15rem 0; }
.sidebar a { display: block; padding: .45rem .65rem; border-left: 3px solid transparent; border-radius: 0 4px 4px 0; text-decoration: none; color: #415063; }
.sidebar a:hover { color: var(--navy); background: #edf0f3; }
.sidebar a[aria-current="page"], .sidebar a[aria-current="location"], .sidebar a.current { color: var(--navy); background: #e7eff3; border-left-color: var(--link); font-weight: 600; }
.sidebar .nav-divider { border-top: 1px solid var(--line); margin: 1.1rem 0 .75rem; }
.sidebar .subsections { margin-top: .75rem; padding-top: .75rem; border-top: 1px solid var(--line); }
.sidebar .subsections a { font-size: .82rem; }
.article { min-width: 0; max-width: 100%; background: var(--paper); border: 1px solid var(--line); border-radius: 8px; padding: clamp(1.2rem, 3.3vw, 3.25rem); font-family: var(--prose); font-size: var(--reading-size); line-height: 1.75; }
.article > :not(.wide), .article > section > :not(.wide) { max-width: 76ch; }
.article h1, .article h2, .article h3, .article h4, .article h5 { font-family: var(--ui); color: var(--navy); line-height: 1.3; font-weight: 650; overflow-wrap: anywhere; }
.article h1 { margin: .35rem 0 1rem; font-size: clamp(1.65rem, 2.55vw, 2.2rem); letter-spacing: -.025em; }
.article h2 { margin: 2.25rem 0 .9rem; font-size: 1.4rem; letter-spacing: -.015em; }
.article h3 { margin: 1.8rem 0 .7rem; font-size: 1.15rem; }
.article h4 { margin: 1.5rem 0 .5rem; font-size: 1.05rem; }
.article p { margin: 0 0 1.1em; }
.article li { margin-bottom: .5em; }
.article li > p { margin-bottom: .4em; }
.article ul, .article ol { padding-left: 1.6em; }
.article blockquote { margin: 1.2rem 0; padding: .3rem 1.2rem; border-left: 3px solid var(--line); }
.article img, .article svg { max-width: 100%; height: auto; }
.article pre { overflow-x: auto; font-size: .85em; padding: 1rem; background: #f5f6f7; border: 1px solid var(--line); }
.article code { font-size: .85em; overflow-wrap: anywhere; }
.article hr { border: 0; border-top: 1px solid var(--line); margin: 2rem 0; }
.section-header { margin-bottom: 1.8rem; padding-bottom: 1.2rem; border-bottom: 1px solid var(--line); }
.eyebrow { font-family: var(--ui); font-size: .78rem; color: var(--muted); font-weight: 600; letter-spacing: .045em; text-transform: uppercase; margin: 0 0 .5rem; }
.section-meta { font-family: var(--ui); font-size: .84rem; color: var(--muted); display: flex; gap: .4rem 1rem; flex-wrap: wrap; margin: .8rem 0 0; }
.section-meta a { color: var(--muted); }
.lead { font-size: 1.12em; color: #3e4d5b; }
.notice { font-family: var(--ui); font-size: .88rem; line-height: 1.6; background: #f1f5f7; border-left: 3px solid #7794a5; padding: .85rem 1rem; margin: 1.5rem 0; }
.notice p:last-child { margin-bottom: 0; }
.theorem, .lemma, .proposition, .corollary, .conjecture, .definition, .question, .remark, .example {
  margin: 1.6rem 0; padding: 1rem 1.15rem; border: 1px solid var(--line); border-left: 3px solid #718e9c; border-radius: 0 4px 4px 0; background: #fcfdfe;
}
.definition, .remark, .example { background: transparent; border-left-color: #a8b6be; }
.theorem > :last-child, .lemma > :last-child, .proposition > :last-child, .corollary > :last-child, .conjecture > :last-child, .definition > :last-child, .question > :last-child, .remark > :last-child, .example > :last-child { margin-bottom: 0; }
.theorem-title { font-family: var(--ui); font-size: .94em; font-weight: 650; color: var(--navy); }
.proof { margin: 1.25rem 0 1.75rem; }
.proof-title { font-weight: 650; }
.qed { float: right; }
math { font-family: "Cambria Math", "STIX Two Math", "Latin Modern Math", serif; font-size: 1em; }
math[display="block"] { max-width: 100%; overflow-x: auto; overflow-y: hidden; margin: 1.1em 0; padding: .2em 0 .4em; }
.math-block { max-width: 100%; overflow-x: auto; overflow-y: hidden; padding: .3rem 0 .55rem; margin: 1.1em 0; }
.math-block math[display="block"] { margin: 0; overflow: visible; }
.math-block:focus-visible, .table-wrap:focus-visible { outline-offset: 1px; }
.inline-math-scroll { display: block; max-width: 100%; overflow-x: auto; overflow-y: hidden; padding: .3rem 0 .5rem; margin: .6em 0; }
.inline-math-scroll math[display="inline"] { display: block; min-width: max-content; max-width: none; width: max-content; }
.inline-math-scroll:focus-visible { outline-offset: 1px; }
.math-block, .inline-math-scroll, .table-wrap { scrollbar-width: thin; scrollbar-color: #7f9baa #e9eff2; }
.scroll-hint { display: block; margin: -.45rem 0 1.15rem; text-align: right; font: normal .72rem/1.4 var(--ui); color: var(--muted); }
.equation { position: relative; }
.equation-number { float: right; padding-left: 1em; color: var(--muted); }
.table-wrap { max-width: 100%; overflow-x: auto; margin: 1.5rem 0; padding-bottom: .4rem; }
table { border-collapse: collapse; max-width: 100%; font-size: .92em; line-height: 1.5; }
th, td { padding: .55rem .8rem; text-align: left; vertical-align: top; border-bottom: 1px solid var(--line); }
th { font-family: var(--ui); font-weight: 600; color: var(--navy); border-top: 1px solid #8c9ca6; border-bottom-color: #8c9ca6; }
caption { text-align: left; padding-bottom: .7rem; font-family: var(--ui); font-size: .9em; }
.article :target { scroll-margin-top: 1.5rem; }
.article span:target, .article a:target, .article div:target, .article li:target { background-color: #fff8e5; }
.page-nav { display: grid; grid-template-columns: 1fr 1fr; gap: 1.25rem; border-top: 1px solid var(--line); padding-top: 1.4rem; margin-top: 3rem; font-family: var(--ui); font-size: .9rem; }
.page-nav a { text-decoration: none; }
.page-nav a:hover .nav-text { text-decoration: underline; }
.page-nav .next { text-align: right; }
.page-nav .nav-label { display: block; font-size: .72rem; color: var(--muted); text-transform: uppercase; letter-spacing: .05em; margin-bottom: .2rem; }
.site-footer { max-width: 1440px; padding: 1rem 1.25rem 2rem; margin: 0 auto; font-size: .78rem; color: var(--muted); }
.site-footer a { color: var(--muted); }
.index-layout { max-width: 1100px; margin: 0 auto; padding: 1rem 1.25rem 3rem; }
.index-layout .article { padding: clamp(1.2rem, 4vw, 3.5rem); }
.search-box { max-width: 100%; margin: 1.6rem 0 1rem; font-family: var(--ui); }
.search-box label { display: block; font-size: .86rem; font-weight: 600; margin-bottom: .4rem; }
.search-box input { width: 100%; max-width: 38rem; border: 1px solid #9aabb6; border-radius: 5px; padding: .75rem .85rem; font-size: 1rem; background: white; color: var(--ink); }
.search-help, #search-status { font-family: var(--ui); font-size: .82rem; color: var(--muted); margin: .45rem 0 1rem; }
.index-list { list-style: none; margin: 0; padding: 0 !important; font-family: var(--ui); }
.index-list li { margin: 0; border-bottom: 1px solid #e6eaed; }
.index-list a { display: block; padding: .65rem .5rem; text-decoration: none; font-size: .95rem; line-height: 1.5; }
.index-list a:hover { background: #f1f6f8; }
.index-list .section-number { display: inline-block; min-width: 2.4em; color: var(--muted); font-variant-numeric: tabular-nums; }
.index-list .page-ref { font-size: .8rem; color: var(--muted); white-space: nowrap; margin-left: .4rem; }
.toc-group { margin: 2rem 0; }
.toc-group h2 { font-size: 1.15rem; margin: 0 0 .55rem; }
.toc-group .part-label { color: var(--muted); font-weight: 400; }
.visually-hidden { position: absolute !important; width: 1px; height: 1px; padding: 0; margin: -1px; overflow: hidden; clip: rect(0,0,0,0); white-space: nowrap; border: 0; }
@media (max-width: 1050px) {
  .layout { grid-template-columns: 215px minmax(0,1fr); gap: 1.5rem; }
  .article { padding: 1.6rem; }
}
@media (max-width: 760px) {
  .site-header { padding: .9rem 1rem; align-items: flex-start; gap: .8rem; }
  .site-brand { font-size: .9rem; }
  .site-brand small { font-size: .72rem; }
  .header-links { gap: .4rem .85rem; justify-content: flex-end; font-size: .8rem; }
  .toolbar { padding: .7rem 1rem; flex-wrap: wrap; gap: .65rem; }
  .breadcrumb { flex-basis: 100%; font-size: .78rem; order: 3; }
  .reading-controls { margin-left: auto; }
  .reading-controls .control-label { display: none; }
  .layout { display: block; padding: 0 .65rem 2rem; }
  .sidebar { position: static; max-height: none; padding: .5rem .5rem 1.4rem; }
  .js-ready #nav-toggle { display: inline-block; }
  .js-ready .sidebar:not(.is-open) { display: none; }
  .article { border-radius: 6px; padding: 1.35rem 1.05rem; line-height: 1.7; }
  .article h1 { font-size: 1.7rem; }
  .article h2 { font-size: 1.3rem; }
  .theorem, .lemma, .proposition, .corollary, .conjecture, .definition, .question, .remark, .example { padding: .8rem .8rem; margin: 1.3rem 0; }
  .index-layout { padding: .7rem .65rem 2rem; }
  .index-layout .article { padding: 1.35rem 1.05rem; }
  .page-nav { gap: .8rem; font-size: .85rem; }
  .site-footer { padding: .5rem 1rem 1.5rem; }
}
@media (prefers-reduced-motion: no-preference) {
  a, button { transition: background-color .15s ease, color .15s ease; }
}
@media print {
  :root { --reading-size: 11pt; }
  body { background: white; color: black; }
  .site-header, .toolbar, .sidebar, .page-nav, .site-footer, .search-box, #search-status, .skip-link, .scroll-hint { display: none !important; }
  .layout, .index-layout { display: block; padding: 0; max-width: none; }
  .article { border: 0; padding: 0; max-width: none; }
  .article h1 { font-size: 20pt; }
  .article h2 { font-size: 15pt; }
  .article h3 { font-size: 12pt; }
  .article h1, .article h2, .article h3, .theorem-title { break-after: avoid; }
  .theorem, .lemma, .proposition, .corollary { background: transparent; }
  a { color: black; }
  .math-block, .table-wrap, math[display="block"] { overflow: visible; }
}

@font-face{font-family:KE Math;src:url(latinmodern-math.otf) format("opentype");font-display:swap}math{font-family:KE Math,Latin Modern Math,serif}.math-block{display:block;position:relative}.math-block math{min-width:max-content;max-width:none;width:100%;}.math-block .equation-number{float:none;display:block;text-align:right;font: .8rem var(--ui);padding:0 .2rem .35rem}.article p{overflow-wrap:break-word}.article math[display="inline"]{max-width:100%}.article .part-preface-title{font-size:1.15rem;margin-top:1.4rem}.unresolved-reference{font-weight:bold}.theorem-title{font-style:normal}