/* 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; } }