/* SPDX-License-Identifier: Apache-2.0
 * (c) 2026 Lutar, Stephen P. - SZL Holdings - ORCID 0009-0001-0110-4173
 */
:root {
  color-scheme: dark;
  --ink: #05070a;
  --panel: #0d1117;
  --panel-2: #111820;
  --line: #2a3542;
  --muted: #96a2af;
  --paper: #f3f1ea;
  --acid: #c9b787;
  --cyan: #5fb3a3;
  --amber: #ffc45e;
  --rose: #ff7272;
  --violet: #b6a2ff;
  --radius: 18px;
  --mono: "SFMono-Regular", Consolas, "Liberation Mono", monospace;
  --sans: Inter, ui-sans-serif, system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
}

* { box-sizing: border-box; }

html {
  background: var(--ink);
  scroll-behavior: smooth;
}

body {
  margin: 0;
  min-width: 320px;
  color: var(--paper);
  background:
    radial-gradient(circle at 82% -10%, rgba(95, 179, 163, .1), transparent 32rem),
    linear-gradient(rgba(255, 255, 255, .018) 1px, transparent 1px),
    linear-gradient(90deg, rgba(255, 255, 255, .018) 1px, transparent 1px),
    var(--ink);
  background-size: auto, 40px 40px, 40px 40px, auto;
  font-family: var(--sans);
  line-height: 1.5;
}

a { color: inherit; }

button, a { -webkit-tap-highlight-color: transparent; }

button:focus-visible,
a:focus-visible,
[tabindex]:focus-visible {
  outline: 3px solid var(--cyan);
  outline-offset: 4px;
}

.skip-link {
  position: fixed;
  top: .75rem;
  left: .75rem;
  z-index: 100;
  padding: .65rem .9rem;
  color: var(--ink);
  background: var(--acid);
  transform: translateY(-180%);
  transition: transform .15s ease;
}

.skip-link:focus { transform: translateY(0); }

.topbar {
  position: sticky;
  top: 0;
  z-index: 20;
  display: grid;
  grid-template-columns: minmax(0, 1fr) auto auto;
  align-items: center;
  gap: 1rem;
  min-height: 72px;
  padding: .75rem clamp(1rem, 4vw, 4.5rem);
  border-bottom: 1px solid var(--line);
  background: rgba(5, 7, 10, .92);
  backdrop-filter: blur(18px);
}

.brand {
  display: inline-flex;
  align-items: center;
  gap: .8rem;
  width: fit-content;
  color: var(--paper);
  font-weight: 750;
  letter-spacing: .01em;
  text-decoration: none;
}

.brand-mark {
  display: grid;
  place-items: center;
  width: 38px;
  height: 38px;
  border: 1px solid var(--acid);
  border-radius: 10px;
  color: var(--acid);
  font: 700 .7rem var(--mono);
}

.mode-lock {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: .55rem;
  color: var(--muted);
  font: 650 .75rem var(--mono);
  letter-spacing: .09em;
}

.mode-lock strong { color: var(--acid); }

.pulse {
  width: .6rem;
  height: .6rem;
  border-radius: 50%;
  background: var(--acid);
  box-shadow: 0 0 0 .3rem rgba(201, 183, 135, .15);
}

.quiet-button {
  min-height: 42px;
  padding: .6rem .9rem;
  border: 1px solid var(--line);
  border-radius: 999px;
  color: var(--paper);
  background: transparent;
  font: 650 .75rem var(--mono);
  cursor: pointer;
}

.quiet-button:hover { border-color: var(--cyan); color: var(--cyan); }
.quiet-button:disabled { opacity: .55; cursor: progress; }

main { max-width: 1680px; margin: 0 auto; }

.hero {
  display: grid;
  grid-template-columns: minmax(0, 1.25fr) minmax(310px, .75fr);
  gap: clamp(2rem, 5vw, 6rem);
  align-items: end;
  padding: clamp(4rem, 9vw, 8.5rem) clamp(1rem, 4vw, 4.5rem) clamp(3rem, 6vw, 5rem);
}

.kicker,
.eyebrow {
  margin: 0 0 .8rem;
  color: var(--acid);
  font: 700 .72rem var(--mono);
  letter-spacing: .13em;
}

h1 {
  max-width: 15ch;
  margin: 0;
  font-size: clamp(3rem, 7.8vw, 8.2rem);
  font-weight: 680;
  letter-spacing: -.065em;
  line-height: .88;
}

h1 em {
  color: transparent;
  -webkit-text-stroke: 1px var(--paper);
  font-style: normal;
}

.hero-copy {
  max-width: 68ch;
  margin: 2rem 0 0;
  color: #c3cbd4;
  font-size: clamp(1rem, 1.4vw, 1.25rem);
}

.identity-card {
  margin: 0;
  padding: 1.2rem;
  border: 1px solid var(--line);
  border-radius: var(--radius);
  background: rgba(13, 17, 23, .82);
  box-shadow: 0 28px 80px rgba(0, 0, 0, .3);
}

.identity-card div {
  display: grid;
  grid-template-columns: minmax(0, 1fr) minmax(0, 1.3fr);
  gap: 1rem;
  align-items: center;
  min-height: 54px;
  border-bottom: 1px solid var(--line);
}

.identity-card div:last-child { border-bottom: 0; }
.identity-card dt { color: var(--muted); font-size: .82rem; }
.identity-card dd { margin: 0; overflow-wrap: anywhere; font: 650 .76rem var(--mono); text-align: right; }

.status {
  display: inline-flex;
  align-items: center;
  gap: .4rem;
  width: fit-content;
  padding: .28rem .55rem;
  border: 1px solid currentColor;
  border-radius: 999px;
  font: 750 .75rem var(--mono);
  letter-spacing: .04em;
}

.status::before {
  content: "";
  width: .4rem;
  height: .4rem;
  border-radius: 50%;
  background: currentColor;
}

.status[data-state="OBSERVED"] { color: var(--acid); }
.status[data-state="MODELED"] { color: var(--violet); }
.status[data-state="PENDING"],
.status[data-state="STALE"] { color: var(--amber); }
.status[data-state="FAILED_CLOSED"],
.status[data-state="BLOCKED"] { color: var(--rose); }
.status[data-state="UNAVAILABLE"],
.status[data-state="DISABLED"],
.status[data-state="UNKNOWN"] { color: var(--muted); }

.metric-band {
  display: grid;
  grid-template-columns: repeat(6, minmax(0, 1fr));
  border-block: 1px solid var(--line);
}

.metric-band article {
  min-height: 150px;
  padding: 1.25rem;
  border-right: 1px solid var(--line);
}

.metric-band article:last-child { border-right: 0; }
.metric-band span, .metric-band small { display: block; color: var(--muted); font-size: .72rem; }
.metric-band strong { display: block; margin: .5rem 0 .2rem; color: var(--paper); font: 650 clamp(2rem, 4vw, 3.7rem) var(--mono); letter-spacing: -.08em; }

.workspace {
  display: grid;
  grid-template-columns: 190px minmax(0, 1fr);
  gap: clamp(1.2rem, 3vw, 3rem);
  padding: clamp(1.2rem, 3vw, 3rem) clamp(1rem, 4vw, 4.5rem) 5rem;
}

.rail {
  position: sticky;
  top: 96px;
  align-self: start;
  display: grid;
  gap: .2rem;
}

.rail a {
  padding: .65rem .8rem;
  border-left: 2px solid transparent;
  color: var(--muted);
  font: 650 .78rem var(--mono);
  text-decoration: none;
}

.rail a:hover, .rail a.active { border-left-color: var(--acid); color: var(--paper); background: rgba(201, 183, 135, .055); }

.canvas { min-width: 0; }

.panel {
  margin: 0 0 1.25rem;
  padding: clamp(1.2rem, 2.5vw, 2.2rem);
  border: 1px solid var(--line);
  border-radius: var(--radius);
  background: linear-gradient(145deg, rgba(17, 24, 32, .93), rgba(9, 13, 18, .93));
  scroll-margin-top: 96px;
}

.panel-head {
  display: flex;
  align-items: flex-start;
  justify-content: space-between;
  gap: 1.5rem;
  margin-bottom: 1.6rem;
}

h2 { margin: 0; font-size: clamp(1.55rem, 3vw, 2.55rem); letter-spacing: -.045em; }
h3 { margin: .4rem 0 .6rem; font-size: 1.1rem; }
.as-of, .legend { color: var(--muted); font: .75rem var(--mono); text-align: right; }
.legend i { display: inline-block; width: .48rem; height: .48rem; margin: 0 .3rem 0 .8rem; border-radius: 50%; background: var(--muted); }
.legend i[data-state="OBSERVED"] { background: var(--acid); }

.command-grid {
  display: grid;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  gap: .75rem;
}

.state-card {
  min-height: 230px;
  padding: 1rem;
  border: 1px solid var(--line);
  border-radius: 13px;
  background: rgba(5, 7, 10, .42);
}

.state-card p { min-height: 6.5em; color: var(--muted); font-size: .83rem; }
.card-index { color: var(--cyan); font: .7rem var(--mono); }

.table-wrap { overflow-x: auto; }
.table-wrap:focus-visible { outline: 3px solid var(--cyan); outline-offset: 4px; }
table { width: 100%; border-collapse: collapse; font-size: .84rem; }
th, td { padding: .9rem .75rem; border-bottom: 1px solid var(--line); text-align: left; vertical-align: middle; }
th { color: var(--muted); font: 650 .68rem var(--mono); letter-spacing: .07em; text-transform: uppercase; }
td:nth-child(1), td:nth-child(2), td:nth-child(4), td:nth-child(5) { font-family: var(--mono); }
td:last-child { color: var(--muted); font-size: .72rem; }

.proof-graph {
  display: grid;
  grid-template-columns: repeat(7, minmax(80px, 1fr));
  align-items: center;
  gap: .6rem;
}

.graph-node {
  min-height: 132px;
  padding: 1rem;
  border: 1px solid var(--line);
  border-radius: 12px;
  background: var(--ink);
}

.graph-node span { display: block; margin-bottom: .7rem; color: var(--muted); font-size: .7rem; }
.graph-node strong { overflow-wrap: anywhere; font: .73rem var(--mono); }
.graph-node.observed { border-color: rgba(95, 179, 163, .65); }
.graph-node.reported { border-color: rgba(201, 183, 135, .7); }
.graph-node.unavailable { border-color: #596473; }
.graph-node.blocked { border-color: rgba(255, 114, 114, .7); }
.edge { position: relative; min-height: 44px; border-top: 1px dashed var(--muted); }
.edge span { position: absolute; top: .35rem; left: 50%; width: 100%; color: var(--muted); font: .68rem var(--mono); text-align: center; transform: translateX(-50%); }
.edge.blocked { border-color: var(--rose); }

.boundary-note {
  margin: 1.4rem 0 0;
  padding: .85rem 1rem;
  border-left: 3px solid var(--amber);
  color: #c9d0d8;
  background: rgba(255, 196, 94, .05);
  font: .74rem var(--mono);
  overflow-wrap: anywhere;
}

.split-panel { display: grid; grid-template-columns: minmax(0, 1.2fr) minmax(280px, .8fr); gap: 2.5rem; }
.split-panel p:not(.eyebrow) { max-width: 68ch; color: var(--muted); }
.budget-list { margin: 0; }
.budget-list div { display: grid; grid-template-columns: 1fr auto; gap: 1rem; padding: .7rem 0; border-bottom: 1px solid var(--line); }
.budget-list dt { color: var(--muted); }
.budget-list dd { margin: 0; font: 700 .72rem var(--mono); }

.atelier-panel { background: linear-gradient(135deg, rgba(21, 13, 31, .9), rgba(9, 13, 18, .93)); }
.atelier-flow { display: grid; grid-template-columns: repeat(4, minmax(0, 1fr)); gap: .7rem; margin: 0; padding: 0; list-style: none; counter-reset: none; }
.atelier-flow li { display: flex; gap: .8rem; min-height: 170px; padding: 1rem; border: 1px solid var(--line); border-radius: 12px; }
.atelier-flow > li > span { color: var(--violet); font: .72rem var(--mono); }
.atelier-flow strong { display: block; font-size: .9rem; }
.atelier-flow p { color: var(--muted); font-size: .78rem; }

.text-link { color: var(--cyan); font: .75rem var(--mono); }
.proof-list { display: grid; gap: .55rem; margin: 0; padding: 0; list-style: none; }
.proof-list li { display: grid; grid-template-columns: minmax(110px, .7fr) minmax(190px, 1.6fr) minmax(130px, .8fr) auto; gap: 1rem; padding: .8rem .9rem; border: 1px solid var(--line); border-radius: 10px; font: .75rem var(--mono); }
.proof-list code { color: var(--cyan); overflow-wrap: anywhere; }

.truth-footer {
  display: grid;
  grid-template-columns: minmax(0, 2fr) minmax(220px, .7fr);
  gap: 2rem;
  padding: 1.4rem;
  border: 1px solid var(--line);
  border-radius: var(--radius);
  color: var(--muted);
  background: #070a0e;
  font: .72rem var(--mono);
}

.truth-footer p { margin: 0; }
.truth-footer strong { color: var(--paper); }
#view-status { color: var(--acid); text-align: right; }

.noscript {
  margin: 1rem;
  padding: 1rem;
  border: 1px solid var(--amber);
  color: var(--paper);
  background: var(--panel);
}

@media (max-width: 1180px) {
  .metric-band { grid-template-columns: repeat(3, minmax(0, 1fr)); }
  .metric-band article:nth-child(3) { border-right: 0; }
  .metric-band article:nth-child(-n + 3) { border-bottom: 1px solid var(--line); }
  .command-grid, .atelier-flow { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .proof-graph { grid-template-columns: 1fr; }
  .edge { min-height: 44px; width: 1px; margin: 0 auto; border-top: 0; border-left: 1px dashed var(--muted); }
  .edge span { top: 50%; left: 1rem; width: max-content; transform: translateY(-50%); }
}

@media (max-width: 980px) {
  .proof-list li { grid-template-columns: 1fr; }
}

@media (max-width: 820px) {
  .topbar { grid-template-columns: 1fr auto; }
  .mode-lock { grid-column: 1 / -1; grid-row: 2; }
  .hero { grid-template-columns: 1fr; padding-top: 4rem; }
  h1 { font-size: clamp(3rem, 16vw, 5.6rem); }
  .workspace { grid-template-columns: 1fr; }
  .rail { position: static; display: flex; overflow-x: auto; padding-bottom: .5rem; }
  .rail a { flex: 0 0 auto; border-left: 0; border-bottom: 2px solid transparent; }
  .rail a:hover, .rail a.active { border-left-color: transparent; border-bottom-color: var(--acid); }
  .split-panel, .truth-footer { grid-template-columns: 1fr; }
  #view-status { text-align: left; }
  .proof-list li { grid-template-columns: 1fr; }
}

@media (max-width: 560px) {
  .topbar { padding-inline: .8rem; }
  .brand span:last-child { display: none; }
  .quiet-button { padding-inline: .7rem; }
  .hero { padding-inline: 1rem; }
  .metric-band { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .metric-band article:nth-child(2n) { border-right: 0; }
  .metric-band article:nth-child(3) { border-right: 1px solid var(--line); }
  .metric-band article:nth-child(-n + 4) { border-bottom: 1px solid var(--line); }
  .command-grid, .atelier-flow { grid-template-columns: 1fr; }
  .state-card, .atelier-flow li { min-height: auto; }
  .panel-head { display: grid; }
  .as-of, .legend { text-align: left; }
  .identity-card div { grid-template-columns: 1fr; gap: .25rem; padding: .65rem 0; }
  .identity-card dd { text-align: left; }
}

@media (forced-colors: active) {
  h1 em {
    color: CanvasText;
    -webkit-text-stroke: 0;
  }

  .status,
  .graph-node,
  .panel,
  .state-card {
    forced-color-adjust: auto;
  }
}

@media (prefers-reduced-motion: reduce) {
  *, *::before, *::after {
    scroll-behavior: auto !important;
    transition-duration: .01ms !important;
    animation-duration: .01ms !important;
    animation-iteration-count: 1 !important;
  }
}
