/* docs.geoguess.es — the geoguess.es "Quiet Minimal" look for long documents: paper, ink, the action blue, Libre Caslon
   Text for reading, IBM Plex Sans for structure, Geist Mono for code and labels. Light and dark from the site's tokens. */
@font-face { font-family: 'Libre Caslon Text'; font-weight: 400; font-style: normal; font-display: swap; src: url(fonts/LibreCaslonText-400.woff2) format('woff2'); }
@font-face { font-family: 'Libre Caslon Text'; font-weight: 400; font-style: italic; font-display: swap; src: url(fonts/LibreCaslonText-400i.woff2) format('woff2'); }
@font-face { font-family: 'Libre Caslon Text'; font-weight: 700; font-style: normal; font-display: swap; src: url(fonts/LibreCaslonText-700.woff2) format('woff2'); }
@font-face { font-family: 'Libre Caslon Text'; font-weight: 400; font-style: normal; font-display: swap; src: url(fonts/LibreCaslonText-400-latin-ext.woff2) format('woff2'); unicode-range: U+0100-024F, U+1E00-1EFF; }
@font-face { font-family: 'Libre Caslon Text'; font-weight: 400; font-style: italic; font-display: swap; src: url(fonts/LibreCaslonText-400i-latin-ext.woff2) format('woff2'); unicode-range: U+0100-024F, U+1E00-1EFF; }
@font-face { font-family: 'Libre Caslon Text'; font-weight: 700; font-style: normal; font-display: swap; src: url(fonts/LibreCaslonText-700-latin-ext.woff2) format('woff2'); unicode-range: U+0100-024F, U+1E00-1EFF; }
@font-face { font-family: 'IBM Plex Sans'; font-weight: 100 700; font-style: normal; font-display: swap; src: url(fonts/IBMPlexSans-var-latin.woff2) format('woff2'); }
@font-face { font-family: 'IBM Plex Sans'; font-weight: 100 700; font-style: normal; font-display: swap; src: url(fonts/IBMPlexSans-var-latin-ext.woff2) format('woff2'); unicode-range: U+0100-024F, U+1E00-1EFF; }
@font-face { font-family: 'Geist Mono'; font-weight: 400; font-display: swap; src: url(fonts/GeistMono-400.woff2) format('woff2'); }
@font-face { font-family: 'Geist Mono'; font-weight: 500; font-display: swap; src: url(fonts/GeistMono-500.woff2) format('woff2'); }

:root {
  --paper: #F4F3EF; --paper-2: #EAE8E2; --raised: #FBFAF8; --ink: #18191B; --ink-2: #55575C; --ink-faint: #8A8C90;
  --line: #DEDCD5; --line-2: #CFCCC4; --action: #2F4A86; --action-ink: #2F4A86; --action-wash: #E3E8F3;
  --teal: #1E7C74; --teal-wash: #DDEFEC; --ochre: #8E6413; --ochre-wash: #F4E8D6; --rose: #A75474;
  --serif: 'Libre Caslon Text', Georgia, 'Times New Roman', serif;
  --sans: 'IBM Plex Sans', system-ui, -apple-system, 'Segoe UI', sans-serif;
  --mono: 'Geist Mono', ui-monospace, 'SF Mono', Menlo, monospace;
  color-scheme: light;
}
@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) {
    --paper: #0F1011; --paper-2: #1B1C1E; --raised: #17181A; --ink: #EDEBE5; --ink-2: #A3A5A9; --ink-faint: #6C6E72;
    --line: #26272A; --line-2: #323336; --action: #8FA8E0; --action-ink: #A9BDEA; --action-wash: #1A2133;
    --teal: #6CC3B8; --teal-wash: #12221F; --ochre: #D4A965; --ochre-wash: #2A2113; --rose: #E993B2; color-scheme: dark;
  }
}
:root[data-theme="dark"] {
  --paper: #0F1011; --paper-2: #1B1C1E; --raised: #17181A; --ink: #EDEBE5; --ink-2: #A3A5A9; --ink-faint: #6C6E72;
  --line: #26272A; --line-2: #323336; --action: #8FA8E0; --action-ink: #A9BDEA; --action-wash: #1A2133;
  --teal: #6CC3B8; --teal-wash: #12221F; --ochre: #D4A965; --ochre-wash: #2A2113; --rose: #E993B2; color-scheme: dark;
}

*, *::before, *::after { box-sizing: border-box; }
html { -webkit-text-size-adjust: 100%; scroll-padding-top: 72px; }
body { margin: 0; background: var(--paper); color: var(--ink); font: 400 18px/1.62 var(--serif); font-feature-settings: 'kern', 'liga'; overflow-wrap: break-word; }
a { color: var(--action-ink); text-decoration-thickness: 1px; text-underline-offset: 0.18em; }
a:hover { text-decoration-thickness: 2px; }
:focus-visible { outline: 2px solid var(--action); outline-offset: 2px; border-radius: 3px; }
.skip { position: absolute; left: -9999px; top: 8px; background: var(--raised); padding: 8px 12px; z-index: 10; font: 500 14px var(--sans); }
.skip:focus { left: 16px; }

/* top bar */
.bar { position: sticky; top: 0; z-index: 5; display: flex; align-items: center; justify-content: space-between; gap: 16px; height: 56px; padding: 0 24px;
  background: color-mix(in srgb, var(--paper) 88%, transparent); backdrop-filter: blur(10px); border-bottom: 1px solid var(--line); }
.brand { display: inline-flex; align-items: center; gap: 10px; color: var(--ink); text-decoration: none; font: 500 15px/1 var(--mono); letter-spacing: -0.01em; }
.brand .dot { color: var(--action); padding: 0 1px; }
.brand-sub { color: var(--ink-faint); font-weight: 400; padding-left: 8px; border-left: 1px solid var(--line-2); }
.bar-link { font: 500 14px var(--sans); text-decoration: none; padding: 7px 14px; border-radius: 999px; background: var(--action); color: var(--paper); }
.bar-link:hover { filter: brightness(1.08); }

/* layout: a reading column; the contents beside it from 1180 px */
.layout { max-width: 1240px; margin: 0 auto; padding: 0 24px; display: grid; grid-template-columns: minmax(0, 1fr); }
.doc { max-width: 760px; width: 100%; margin: 0 auto; padding: 40px 0 72px; }
@media (min-width: 1180px) {
  .layout { grid-template-columns: 250px minmax(0, 760px); gap: 64px; justify-content: center; }
  .layout > .toc { position: sticky; top: 80px; align-self: start; max-height: calc(100vh - 100px); overflow: auto; margin-top: 40px; }
  .doc { margin: 0; }
}
@media (max-width: 1179px) { .layout > .toc { order: 2; max-width: 760px; margin: 0 auto 40px; width: 100%; } }

/* head */
.doc-head { padding-bottom: 28px; margin-bottom: 32px; border-bottom: 1px solid var(--line); }
.eyebrow { margin: 0 0 14px; font: 500 12px/1.4 var(--mono); letter-spacing: 0.04em; text-transform: uppercase; color: var(--ink-2); }
h1 { margin: 0 0 16px; font: 400 clamp(34px, 5vw, 48px)/1.08 var(--serif); letter-spacing: -0.015em; text-wrap: balance; }
.lede { margin: 0 0 24px; font-size: 21px; line-height: 1.5; color: var(--ink-2); text-wrap: pretty; }
.nowrap { white-space: nowrap; }
.meta { margin: 0; display: grid; gap: 8px; font: 400 14.5px/1.5 var(--sans); }
.meta div { display: grid; grid-template-columns: 120px 1fr; gap: 12px; }
.meta dt { color: var(--ink-faint); font: 500 12px/1.9 var(--mono); text-transform: uppercase; letter-spacing: 0.03em; }
.meta dd { margin: 0; }
@media (max-width: 560px) { .meta div { grid-template-columns: 1fr; gap: 0; } }

/* abstract */
.abstract { background: var(--raised); border: 1px solid var(--line); border-radius: 14px; padding: 22px 26px 8px; margin: 0 0 40px; }
.abstract h2 { margin-top: 0; }
.abstract p { font-size: 17px; }

/* contents */
.toc { font: 400 14px/1.45 var(--sans); }
.toc-title { margin: 0 0 10px; font: 500 12px var(--mono); letter-spacing: 0.04em; text-transform: uppercase; color: var(--ink-faint); }
.toc ol { list-style: none; margin: 0; padding: 0; counter-reset: toc; }
.toc li { counter-increment: toc; }
.toc a { display: grid; grid-template-columns: 26px 1fr; padding: 5px 8px; border-radius: 6px; color: var(--ink-2); text-decoration: none; }
.toc li:not(.app) a::before { content: counter(toc); color: var(--ink-faint); font: 400 12.5px/1.6 var(--mono); }
.toc li.app a { grid-template-columns: 1fr; padding-left: 34px; }
.toc a:hover { background: var(--paper-2); color: var(--ink); }
@media (max-width: 1179px) { .toc { border: 1px solid var(--line); border-radius: 14px; padding: 16px 16px 10px; background: var(--raised); } }

/* text */
section { margin: 0 0 8px; }
h2 { margin: 48px 0 16px; font: 600 25px/1.25 var(--sans); letter-spacing: -0.01em; text-wrap: balance; }
h3 { margin: 32px 0 10px; font: 600 18px/1.35 var(--sans); }
.sn { display: inline-block; min-width: 2.2em; color: var(--action-ink); font: 500 0.82em var(--mono); }
h2.unnumbered { margin-top: 4px; font-size: 14px; font-family: var(--mono); font-weight: 500; text-transform: uppercase; letter-spacing: 0.04em; color: var(--ink-faint); }
p, ul, ol { margin: 0 0 16px; }
ul, ol { padding-left: 1.4em; }
li { margin: 0 0 6px; }
li::marker { color: var(--ink-faint); }
strong, b { font-weight: 700; }
.kw { font: 600 0.78em var(--sans); letter-spacing: 0.05em; color: var(--rose); }
.req { margin: 20px 0; padding: 16px 20px 2px; border-left: 3px solid var(--action); background: var(--action-wash); border-radius: 0 12px 12px 0; }
.req p { font-size: 17.5px; }
.muted { color: var(--ink-faint); }
.caption { margin-top: -8px; font: 400 13px/1.5 var(--sans); color: var(--ink-faint); }
.defs { margin: 0 0 16px; display: grid; grid-template-columns: max-content 1fr; gap: 10px 22px; }
.defs dt { font: 600 15px/1.65 var(--sans); }
.defs dd { margin: 0; }
@media (max-width: 560px) { .defs { grid-template-columns: 1fr; gap: 2px; } .defs dd { margin-bottom: 10px; } }

/* maths */
.mb { margin: 18px 0 22px; padding: 14px 18px; overflow-x: auto; overflow-y: hidden; background: var(--raised); border: 1px solid var(--line); border-radius: 12px; }
.mb .katex-display { margin: 0; }
.katex { font-size: 1.04em; }

/* tables */
table { width: 100%; border-collapse: collapse; margin: 18px 0 22px; font: 400 14.5px/1.45 var(--sans); }
th { text-align: left; font: 500 12px/1.35 var(--mono); letter-spacing: 0.02em; text-transform: uppercase; color: var(--ink-2); padding: 9px 10px; border-bottom: 1.5px solid var(--line-2); vertical-align: bottom; }
td { padding: 9px 10px; border-bottom: 1px solid var(--line); vertical-align: top; }
tbody tr:hover td { background: color-mix(in srgb, var(--paper-2) 60%, transparent); }
.r { text-align: right; }
.num { font-variant-numeric: tabular-nums; }
td b { color: var(--teal); }
.t-vec td:first-child { font: 500 13px var(--mono); color: var(--action-ink); white-space: nowrap; }
.t-vec td:last-child { font-family: var(--mono); font-size: 13px; }
@media (max-width: 700px) { table { display: block; overflow-x: auto; white-space: nowrap; } .t-goals, .t-vec { white-space: normal; } }

/* code */
code { font: 400 0.84em var(--mono); background: var(--paper-2); padding: 1px 5px; border-radius: 5px; }
pre { margin: 16px 0 22px; padding: 16px 18px; overflow-x: auto; background: var(--raised); border: 1px solid var(--line); border-radius: 12px; font-size: 16px; line-height: 1.55; }
pre code { background: none; padding: 0; font-size: 13px; }

/* references and appendices */
.refs { font-size: 16px; }
.refs li { margin-bottom: 10px; }
.appendix h2 .sn { min-width: 1.6em; }

/* the documents index */
.cards { list-style: none; padding: 0; margin: 0; display: grid; gap: 14px; }
.card { display: grid; gap: 8px; padding: 20px 22px; background: var(--raised); border: 1px solid var(--line); border-radius: 14px; color: var(--ink); text-decoration: none; }
.card:hover { border-color: var(--action); }
.card b { font: 600 20px/1.3 var(--sans); color: var(--action-ink); }
.card span { font-size: 16px; color: var(--ink-2); }
.card .card-k { font: 500 12px var(--mono); text-transform: uppercase; letter-spacing: 0.04em; color: var(--ink-faint); }

.foot { border-top: 1px solid var(--line); padding: 22px 24px 40px; font: 400 13px/1.6 var(--sans); color: var(--ink-faint); text-align: center; }
.foot p { margin: 0; }

@media (max-width: 640px) {
  body { font-size: 17px; }
  .bar { padding: 0 16px; }
  .layout { padding: 0 16px; }
  .doc { padding-top: 28px; }
  .lede { font-size: 19px; }
  .abstract { padding: 18px 18px 4px; }
  h2 { font-size: 22px; margin-top: 40px; }
}
@media print {
  .bar, .toc, .foot, .skip { display: none !important; }
  body { background: #fff; color: #000; font-size: 11pt; }
  .layout { display: block; padding: 0; }
  .doc { max-width: none; padding: 0; }
  a { color: inherit; }
  .mb, pre, .abstract, .req { break-inside: avoid; border-color: #ccc; background: none; }
  h2, h3 { break-after: avoid; }
}