/* bayesianlogic.si: one stylesheet, no web fonts, no scripts. Light and dark from the system setting. */
:root {
  --paper: #f6f4ef;
  --surface: #ffffff;
  --sunk: #efece5;
  --ink: #1c1e20;
  --muted: #5a5f65;
  --rule: #d8d3c8;
  --accent: #1d5c57;
  --accent-ink: #ffffff;
  --holds: #2f6b3a;
  --aside: #8c3a2b;
  --rests: #5a5f65;
  --serif: "Iowan Old Style", "Palatino Linotype", Palatino, "Book Antiqua", Georgia, serif;
  --sans: system-ui, -apple-system, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif;
  --mono: ui-monospace, "SF Mono", Menlo, Consolas, "Liberation Mono", monospace;
  color-scheme: light dark;
}
@media (prefers-color-scheme: dark) {
  :root {
    --paper: #131517;
    --surface: #1b1e21;
    --sunk: #202428;
    --ink: #e8e5de;
    --muted: #a2a7ac;
    --rule: #33383d;
    --accent: #79bdb3;
    --accent-ink: #0f1a19;
    --holds: #8cc79a;
    --aside: #e39a87;
    --rests: #a2a7ac;
  }
}

*, *::before, *::after { box-sizing: border-box; }
html { -webkit-text-size-adjust: 100%; text-size-adjust: 100%; }
body {
  margin: 0;
  background: var(--paper);
  color: var(--ink);
  font: 17px/1.6 var(--sans);
}
img, svg { max-width: 100%; }
a { color: var(--accent); text-underline-offset: 0.18em; }
a:hover { text-decoration-thickness: 2px; }
:focus-visible { outline: 2px solid var(--accent); outline-offset: 2px; }
code, kbd { font-family: var(--mono); font-size: 0.88em; overflow-wrap: anywhere; }
h1, h2, h3 { font-family: var(--serif); font-weight: 600; line-height: 1.2; margin: 0 0 0.6em; }
h1 { font-size: clamp(2rem, 5vw, 3.1rem); letter-spacing: -0.01em; }
h2 { font-size: clamp(1.5rem, 3vw, 2rem); }
h3 { font-size: 1.2rem; }
p { margin: 0 0 1em; }

.skip { position: absolute; left: -999px; top: 0; }
.skip:focus { left: 16px; top: 8px; background: var(--surface); padding: 6px 10px; z-index: 10; }

.wrap { max-width: 70rem; margin: 0 auto; padding: 0 16px; }
@media (min-width: 720px) { .wrap { padding: 0 32px; } }
.measure { max-width: 42rem; }
/* A section that is a single column keeps the page's left edge. */
.wrap.measure { max-width: 70rem; }
.wrap.measure > * { max-width: 42rem; }

/* Header */
.site-head { border-bottom: 1px solid var(--rule); background: var(--paper); }
.site-head .wrap { display: flex; flex-wrap: wrap; align-items: center; justify-content: space-between; gap: 8px 24px; padding-top: 14px; padding-bottom: 14px; }
.brand { display: inline-flex; align-items: center; gap: 10px; color: var(--ink); text-decoration: none; font-family: var(--serif); font-size: 1.25rem; font-weight: 600; }
.brand svg { width: 28px; height: 28px; color: var(--accent); flex: none; }
.site-nav { display: flex; flex-wrap: wrap; gap: 4px 18px; font-size: 0.95rem; }
.site-nav a { color: var(--muted); text-decoration: none; }
.site-nav a:hover { color: var(--ink); text-decoration: underline; }

/* Sections */
section { padding: 56px 0; border-bottom: 1px solid var(--rule); }
section:last-of-type { border-bottom: 0; }
.kicker { display: block; font-size: 0.8rem; letter-spacing: 0.08em; text-transform: uppercase; color: var(--muted); margin-bottom: 10px; }
.hero { padding: 72px 0 56px; }
.hero .lead { font-size: 1.2rem; color: var(--ink); max-width: 40rem; }
.hero .actions { display: flex; flex-wrap: wrap; gap: 12px; margin-top: 24px; }
.btn { display: inline-block; padding: 10px 18px; border-radius: 4px; text-decoration: none; font-weight: 600; border: 1px solid var(--accent); }
.btn-solid { background: var(--accent); color: var(--accent-ink); }
.btn-line { color: var(--accent); }
.muted { color: var(--muted); }
.small { font-size: 0.9rem; }

.grid { display: grid; gap: 24px; }
@media (min-width: 860px) { .grid-2 { grid-template-columns: 1fr 1fr; } .grid-3 { grid-template-columns: repeat(3, 1fr); } }

.principles { list-style: none; padding: 0; margin: 0; display: grid; gap: 20px; }
@media (min-width: 720px) { .principles { grid-template-columns: 1fr 1fr; } }
.principles li { border-top: 2px solid var(--ink); padding-top: 12px; }
.principles h3 { font-size: 1.05rem; margin-bottom: 0.3em; }
.principles p { margin: 0; color: var(--muted); }

/* The derivation */
.case { background: var(--surface); border: 1px solid var(--rule); border-radius: 6px; padding: 20px; margin: 24px 0; }
@media (min-width: 720px) { .case { padding: 28px; } }
.case-claim { font-family: var(--serif); font-size: 1.2rem; margin: 0 0 4px; }
.case-gloss { color: var(--muted); margin: 0 0 16px; }
.facts { display: grid; grid-template-columns: max-content 1fr; gap: 6px 16px; margin: 0 0 20px; }
.facts dt { color: var(--muted); }
.facts dd { margin: 0; }
.derivation { background: var(--sunk); border-radius: 4px; padding: 14px 14px 14px 10px; font: 0.84rem/1.55 var(--mono); overflow-wrap: anywhere; }
.derivation .ln { margin: 0 0 4px; padding-left: calc(var(--lvl, 0) * 1.4em + 1.4em); text-indent: -1.4em; }
.derivation .l0 { --lvl: 0; }
.derivation .l1 { --lvl: 1; }
.derivation .l2 { --lvl: 2; }
.derivation .l3 { --lvl: 3; }
.derivation .head { font-weight: 700; }
.derivation .mk { display: inline-block; width: 1.4em; text-indent: 0; font-weight: 700; }
.derivation .rests .mk { color: var(--rests); }
.derivation .holds .mk { color: var(--holds); }
.derivation .aside .mk { color: var(--aside); }
.derivation .tag { color: var(--accent); white-space: nowrap; }
.derivation .omitted { color: var(--muted); font-style: italic; }
.derivation .foot { color: var(--muted); }
.legend { list-style: none; padding: 0; margin: 16px 0 0; display: grid; gap: 6px; font-size: 0.92rem; }
.legend .mk { font-family: var(--mono); font-weight: 700; display: inline-block; width: 1.4em; }
.legend .holds { color: var(--holds); }
.legend .aside { color: var(--aside); }
.legend .rests { color: var(--rests); }
.notice-list { padding-left: 1.2em; }
.notice-list li { margin-bottom: 0.6em; }
details.more { margin-top: 16px; }
details.more > summary { cursor: pointer; font-weight: 600; color: var(--accent); }
details.more[open] > summary { margin-bottom: 8px; }

blockquote.partner { margin: 0; padding: 0 0 0 18px; border-left: 3px solid var(--accent); }

/* Footer and imprint */
.site-foot { background: var(--sunk); border-top: 1px solid var(--rule); padding: 40px 0 24px; font-size: 0.92rem; }
.site-foot h2 { font-size: 1.05rem; }
.imprint { display: grid; grid-template-columns: max-content 1fr; gap: 4px 14px; margin: 0; }
.imprint dt { color: var(--muted); }
.imprint dd { margin: 0; }
.foot-bottom { display: flex; flex-wrap: wrap; justify-content: space-between; gap: 8px; margin-top: 28px; padding-top: 16px; border-top: 1px solid var(--rule); color: var(--muted); }
@media (max-width: 480px) { .imprint, .facts { grid-template-columns: 1fr; } .imprint dd, .facts dd { margin-bottom: 6px; } }

/* Prose pages (privacy) */
.prose { padding: 48px 0 64px; }
.prose h2 { font-size: 1.35rem; margin-top: 1.6em; }

/* API reference */
.api { padding: 40px 0 64px; }
.api-layout { display: grid; gap: 32px; }
.api-layout > * { min-width: 0; }
@media (min-width: 1000px) { .api-layout { grid-template-columns: 15rem minmax(0, 1fr); } .api-toc { position: sticky; top: 16px; align-self: start; max-height: calc(100vh - 32px); overflow: auto; } }
.api-toc { font-size: 0.88rem; }
.api-toc ul { list-style: none; padding: 0; margin: 0 0 16px; }
.api-toc li { margin: 2px 0; }
.api-toc a { color: var(--muted); text-decoration: none; }
.api-toc a:hover { color: var(--ink); text-decoration: underline; }
.callout { background: var(--surface); border: 1px solid var(--rule); border-left: 3px solid var(--accent); border-radius: 4px; padding: 14px 18px; margin: 0 0 24px; }
.op, .schema { border-top: 1px solid var(--rule); padding: 20px 0; scroll-margin-top: 16px; }
.op-line { display: flex; flex-wrap: wrap; align-items: baseline; gap: 6px 12px; margin-bottom: 8px; }
.method { font: 700 0.78rem/1 var(--mono); padding: 4px 7px; border-radius: 3px; background: var(--ink); color: var(--paper); }
.path { font: 600 0.95rem var(--mono); overflow-wrap: anywhere; }
.badge { font-size: 0.78rem; padding: 2px 8px; border-radius: 999px; border: 1px solid var(--rule); color: var(--muted); white-space: nowrap; }
.badge-partner { border-color: var(--aside); color: var(--aside); }
.tbl-wrap { overflow-x: auto; }
table { border-collapse: collapse; width: 100%; font-size: 0.9rem; margin: 8px 0 16px; }
th, td { text-align: left; vertical-align: top; padding: 7px 10px 7px 0; border-bottom: 1px solid var(--rule); }
th { color: var(--muted); font-weight: 600; }
td code { white-space: nowrap; }
td .desc code { white-space: normal; }
.req { color: var(--aside); font-size: 0.8rem; }
.endpoints td:first-child { white-space: nowrap; }