/* KYLLO documentation — restrained visual identity.
   Status is always shown as text, never by colour alone. */
:root { --kyllo-accent: #1f4e79; --kyllo-ok: #1a7f37; --kyllo-warn: #9a6700; --kyllo-bad: #b3261e; --kyllo-unknown: #57606a; }
.md-typeset a { text-decoration: underline; text-underline-offset: 2px; }
/* Verification status badges: text + colour, usable inline in Markdown
   via `PROVEN`{.status-proven} etc. (attr_list extension). */
.status-proven, .status-tested, .status-checked, .status-failed, .status-unknown,
.status-valid, .status-invalid, .status-unverified {
  display: inline-block; font-size: .78em; font-weight: 700; letter-spacing: .02em;
  padding: .05em .5em; border-radius: 3px; border: 1px solid currentColor; white-space: nowrap;
}
.status-proven, .status-valid { color: var(--kyllo-ok); background: #e6f4ea; }
.status-tested, .status-checked { color: var(--kyllo-accent); background: #e8f0fe; }
.status-failed, .status-invalid { color: var(--kyllo-bad); background: #fce8e6; }
.status-unknown, .status-unverified { color: var(--kyllo-unknown); background: #f0f0f0; }
/* Keep long-form reading comfortable; avoid oversized headings. */
.md-typeset h1 { font-size: 1.6rem; }
.md-typeset table:not([class]) { font-size: .85rem; }

/* Status words in tables must not break mid-word (e.g. UNVERIFIED). */
.md-typeset table code { white-space: nowrap; }