:root {
  --bg: #030c19;
  --text: #dcf4ff;
  --muted: #91bed6;
  --dim: #b2d6e9;
  --line: #203e52;
  --line2: #398fb6;
  --code: #75d8ff;
  --blue: #54cfff;
  --gold: #ffc66b;
  --gold-soft: #f4d8a4;
  --panel: #091c2c;
  --mono: ui-monospace, "SF Mono", "Cascadia Code", Menlo, Consolas, monospace;
  --sans: "Inter", system-ui, -apple-system, "Segoe UI", sans-serif;
}

* { box-sizing: border-box; }
html { scroll-behavior: smooth; }

body {
  margin: 0;
  background: var(--bg);
  color: var(--text);
  font-family: var(--sans);
  font-size: 15px;
  line-height: 1.7;
  -webkit-font-smoothing: antialiased;
}

::selection { background: #1f1f1f; }

.wrap { max-width: 620px; margin: 0 auto; padding: 0 28px; }

/* header */
header { border-bottom: 1px solid var(--line); }
.nav {
  max-width: 620px; margin: 0 auto; padding: 18px 28px;
  display: flex; align-items: center; justify-content: space-between;
}
.brand {
  font-family: var(--mono); font-size: 15px; font-weight: 500;
  letter-spacing: 0.5px; color: var(--text); text-decoration: none;
}
.links { display: flex; align-items: center; gap: 18px; }
.links a { color: var(--muted); display: inline-flex; transition: color 0.15s; }
.links a:hover { color: var(--text); }

/* contract address */
.ca { font-family: var(--mono); font-size: 12px; color: var(--dim); letter-spacing: 0.3px; }
.ca .lbl { color: var(--muted); }

/* logo */
.logo { display: flex; justify-content: center; padding: 96px 0 72px; }
.logo img { width: 200px; height: auto; display: block; }

/* intro */
.intro { padding-bottom: 8px; }
.intro p { font-size: 17px; line-height: 1.75; color: var(--text); margin: 0; letter-spacing: -0.1px; }

code {
  font-family: var(--mono); font-size: 0.88em; color: var(--gold-soft);
  background: var(--panel); border: 1px solid var(--line); border-radius: 5px; padding: 1px 6px;
}
/* Seed derivation accent */
code.f { color: var(--code); }

hr { border: none; border-top: 1px solid var(--line); margin: 48px 0; }

/* section headings */
h2 {
  font-family: var(--mono); font-size: 11px; font-weight: 500;
  letter-spacing: 1.5px; text-transform: uppercase; color: var(--muted);
  margin: 0 0 20px;
}

/* lore */
.lore p { color: var(--dim); margin: 0 0 18px; }
.lore em { font-style: normal; color: var(--text); }
.lore .cite { font-size: 13px; color: var(--muted); margin-top: 24px; }
.lore .cite a { color: var(--dim); text-decoration: none; border-bottom: 1px solid var(--line); }
.lore .cite a:hover { color: var(--text); border-bottom-color: var(--muted); }

/* diagrams */
.diagram { margin: 6px 0 30px; }
.diagram svg { width: 100%; height: auto; display: block; }
.diagram text { font-family: var(--mono); text-anchor: middle; fill: var(--dim); font-size: 12px; }
.diagram .node rect, .diagram .snode circle { fill: var(--panel); stroke: var(--line2); stroke-width: 1; }
.diagram .node.open rect { stroke-dasharray: 3 4; }
.diagram .node text, .diagram .snode text { fill: var(--text); font-size: 12.5px; }
.diagram .node .sub { fill: var(--muted); font-size: 9.5px; }
.diagram .snode.dead circle { stroke: var(--gold); }
.diagram .snode.dead text { fill: var(--muted); }
.diagram text.acc { fill: var(--code); font-size: 12px; }
.diagram .lab { fill: var(--muted); font-size: 10.5px; }
.diagram line, .diagram path { stroke: var(--blue); stroke-width: 1; }
.diagram figcaption { font-family: var(--mono); font-size: 11px; color: var(--muted); text-align: center; margin-top: 12px; line-height: 1.5; }

/* prose sections */
.why p, .ledger p { color: var(--dim); margin: 0 0 18px; }
.why p:last-child, .ledger p:last-child { margin-bottom: 0; }

/* notes / qa */
.qa { padding: 16px 0; border-top: 1px solid var(--line); }
.qa:first-of-type { border-top: none; padding-top: 0; }
.qa .q { margin: 0 0 6px; color: var(--text); font-size: 14.5px; font-weight: 600; }
.qa .a { margin: 0; color: var(--dim); font-size: 14px; }

/* how it works */
.mech .step { display: grid; grid-template-columns: 40px 1fr; gap: 18px; padding: 18px 0; border-top: 1px solid var(--line); }
.mech .step:first-of-type { border-top: none; padding-top: 0; }
.mech .step .n { font-family: var(--mono); font-size: 12px; color: var(--muted); padding-top: 3px; }
.mech h3 { margin: 0 0 6px; font-size: 14.5px; font-weight: 600; color: var(--text); }
.mech .step p { margin: 0; color: var(--dim); font-size: 14px; }

/* labelled rows (states, status) */
.srow { display: grid; grid-template-columns: 130px 1fr; gap: 16px; padding: 14px 0; border-top: 1px solid var(--line); align-items: baseline; }
.srow:first-of-type { border-top: none; }
.srow .k { font-family: var(--mono); font-size: 13px; color: var(--muted); }
.srow p { margin: 0; color: var(--dim); font-size: 14px; }

/* spec */
.spec dl { margin: 0; font-family: var(--mono); font-size: 13.5px; }
.spec dl > div {
  display: grid; grid-template-columns: 130px 1fr; gap: 16px;
  padding: 11px 0; border-top: 1px solid var(--line);
}
.spec dl > div:first-child { border-top: none; }
.spec dt { color: var(--muted); }
.spec dd { margin: 0; color: var(--dim); }

/* footer */
footer {
  max-width: 620px; margin: 96px auto 0; padding: 24px 28px;
  border-top: 1px solid var(--line);
  display: flex; justify-content: space-between;
  font-family: var(--mono); font-size: 12px; color: var(--muted);
}

@media (max-width: 560px) {
  .logo { padding: 64px 0 52px; }
  .logo img { width: 160px; }
  .intro p { font-size: 16px; }
  .spec dl > div,
  .srow { grid-template-columns: 92px 1fr; gap: 12px; }
  footer { flex-direction: column; gap: 6px; }
}

/* Navigation and small-screen readability */
h1 { margin: 0 0 12px; font-size: clamp(24px, 5vw, 32px); line-height: 1.25; letter-spacing: -0.7px; }
.intro .project-stage { color: var(--dim); font-family: var(--mono); font-size: 12px; margin-bottom: 20px; }
a:focus-visible { outline: 2px solid var(--code); outline-offset: 5px; border-radius: 3px; }
.skip-link { position: absolute; top: 8px; left: 12px; padding: 8px 12px; background: var(--text); color: var(--bg); transform: translateY(-180%); z-index: 10; }
.skip-link:focus { transform: translateY(0); }
.links { gap: 6px; }
.links a { min-width: 44px; min-height: 44px; align-items: center; justify-content: center; }
.ca { overflow-wrap: anywhere; }
.diagram { overflow-x: auto; padding: 4px 2px 8px; }
.diagram svg { min-width: 480px; }
.spec dd, .srow p { min-width: 0; overflow-wrap: anywhere; }
@media (max-width: 360px) {
  .nav, .wrap { padding-left: 18px; padding-right: 18px; }
  .spec dl > div, .srow { grid-template-columns: 1fr; gap: 4px; }
}
@media (prefers-reduced-motion: reduce) {
  html { scroll-behavior: auto; }
  .links a { transition: none; }
}

/* Display the supplied square logo without changing the original image. */
.logo { padding: 24px 0 28px; }
.logo img { width: min(100%, 440px); height: auto; }
@media (max-width: 560px) { .logo { padding: 12px 0 24px; } .logo img { width: min(100%, 360px); } }

/* TUNVIO: glacial blue and warm gold from the supplied mascot. */
body {
  min-height: 100vh;
  background-color: var(--bg);
  background-image:
    radial-gradient(ellipse 85% 650px at 8% 8%, rgba(0, 151, 245, .24), transparent 75%),
    radial-gradient(ellipse 75% 680px at 100% 22%, rgba(255, 177, 54, .16), transparent 75%),
    radial-gradient(ellipse 85% 900px at 0% 70%, rgba(25, 147, 210, .14), transparent 78%),
    linear-gradient(135deg, #031426 0%, #06101b 45%, #1b160f 100%);
}
header { background: rgba(3, 14, 27, .8); border-bottom-color: rgba(84, 207, 255, .24); }
.brand { color: var(--blue); font-weight: 700; letter-spacing: 2px; text-shadow: 0 0 20px rgba(84, 207, 255, .25); }
.ca .lbl, .ca .addr { color: var(--gold); }
.links a { color: var(--blue); }
.links a:hover { color: var(--gold); }
.logo img { mix-blend-mode: screen; }
h1 { color: var(--blue); }
@supports ((background-clip: text) or (-webkit-background-clip: text)) {
  h1 {
    background: linear-gradient(100deg, #75dcff 5%, #b8eaff 42%, #ffce7d 86%);
    -webkit-background-clip: text; background-clip: text; color: transparent;
  }
}
h2, .mech .step .n, .spec dt, .srow .k { color: var(--gold); }
.mech h3, .qa .q { color: var(--blue); }
.intro .project-stage { color: var(--gold-soft); }
.lore .cite a { color: var(--gold); border-bottom-color: rgba(255, 198, 107, .4); }
.lore .cite a:hover { color: #ffe5b8; }
hr { height: 1px; border: 0; background: linear-gradient(90deg, rgba(84, 207, 255, .5), rgba(84, 207, 255, .12) 48%, rgba(255, 198, 107, .5)); }
.diagram { border: 1px solid rgba(84, 207, 255, .2); border-radius: 12px; background: rgba(5, 21, 36, .65); padding: 18px 10px 14px; }
.diagram .node text, .diagram .snode text { fill: var(--blue); }
.diagram .node .sub, .diagram .lab { fill: var(--gold-soft); }
.diagram text.acc { fill: var(--gold); }
.diagram .snode.dead text { fill: var(--gold-soft); }
.diagram marker path { fill: var(--blue); stroke: var(--blue); }
.diagram figcaption { color: var(--dim); }
footer { border-top-color: rgba(255, 198, 107, .28); color: var(--gold-soft); }
footer > :first-child { color: var(--blue); }
::selection { background: #ffc66b; color: #071726; }
@media (forced-colors: active) {
  h1 { background: none; color: CanvasText; }
}

/* Small TUNVIO mascots drift behind the reading surface. */
body { isolation: isolate; }
#water-bears { position: fixed; inset: 0; width: 100%; height: 100%; z-index: -1; pointer-events: none; mix-blend-mode: screen; }
.wrap { background: linear-gradient(90deg, transparent, rgba(3, 12, 25, .68) 12%, rgba(3, 12, 25, .68) 88%, transparent); }
.links .twitter-button { gap: 7px; padding: 0 12px; border: 1px solid rgba(84, 207, 255, .5); border-radius: 24px; background: rgba(8, 45, 65, .65); color: var(--blue); text-decoration: none; font-family: var(--mono); font-size: 12px; }
.links .twitter-button:hover { color: var(--gold); border-color: var(--gold); }
footer { padding-bottom: 24px; }
@media (max-width: 560px) { .links .twitter-button { padding: 0 9px; } .twitter-button span { display: none; } .nav { gap: 8px; } }

/* Explicit full-viewport background layer; content always stays above it. */
#water-bears { position: fixed; inset: 0; width: 100vw; height: 100vh; z-index: 0; pointer-events: none; mix-blend-mode: normal; }
header, main.wrap, footer { position: relative; z-index: 1; }
.skip-link { z-index: 5; }
.logo { padding: 44px 0 38px; }
.logo img { width: min(78%, 290px); height: auto; mix-blend-mode: normal; background: transparent; }
@media (max-width: 560px) { .logo { padding: 32px 0 28px; } .logo img { width: min(78%, 250px); } }