:root {
    --bg: #05070d;
    --panel: rgba(255, 255, 255, 0.035);
    --line: rgba(255, 255, 255, 0.09);
    --text: #e8ecf5;
    --muted: #98a2b8;
    --accent: #4de1c1;
    --accent-2: #6a8bff;
    --font-display: "Space Grotesk", system-ui, sans-serif;
    --font-body: "Inter", system-ui, sans-serif;
    --font-mono: "JetBrains Mono", ui-monospace, "SF Mono", Menlo, monospace;
}

* { box-sizing: border-box; }

html { scroll-behavior: smooth; }

body {
    margin: 0;
    min-height: 100vh;
    background: var(--bg);
    color: var(--text);
    font-family: var(--font-body);
    line-height: 1.6;
    -webkit-font-smoothing: antialiased;
}

/* Faint engineering grid with a glow, the whole background of the page. */
.grid-glow {
    position: fixed;
    inset: 0;
    z-index: -1;
    background:
        radial-gradient(60rem 40rem at 50% -10%, rgba(106, 139, 255, 0.18), transparent 70%),
        radial-gradient(40rem 30rem at 90% 10%, rgba(77, 225, 193, 0.12), transparent 70%),
        linear-gradient(rgba(255, 255, 255, 0.035) 1px, transparent 1px) 0 0 / 56px 56px,
        linear-gradient(90deg, rgba(255, 255, 255, 0.035) 1px, transparent 1px) 0 0 / 56px 56px;
    mask-image: radial-gradient(80rem 60rem at 50% 0%, #000 40%, transparent 100%);
}

.bar {
    display: flex;
    align-items: center;
    justify-content: space-between;
    gap: 1rem;
    padding: 1.5rem clamp(1.25rem, 5vw, 4rem);
}

.brand {
    display: flex;
    align-items: center;
    gap: 0.7rem;
    color: var(--text);
    text-decoration: none;
    font-family: var(--font-display);
    font-size: 1.15rem;
    letter-spacing: 0.01em;
}

.brand b { color: var(--accent); font-weight: 700; }

.badge {
    padding: 0.3rem 0.7rem;
    border: 1px solid var(--line);
    border-radius: 999px;
    background: var(--panel);
    color: var(--muted);
    font-size: 0.78rem;
    letter-spacing: 0.08em;
    text-transform: uppercase;
}

main {
    max-width: 68rem;
    margin: 0 auto;
    padding: clamp(2rem, 6vw, 5rem) clamp(1.25rem, 5vw, 4rem) 4rem;
}

.eyebrow {
    margin: 0 0 1rem;
    color: var(--accent);
    font-family: var(--font-mono);
    font-size: 0.8rem;
    letter-spacing: 0.16em;
    text-transform: uppercase;
}

h1 {
    margin: 0 0 1.25rem;
    font-family: var(--font-display);
    font-size: clamp(2.6rem, 7vw, 4.6rem);
    font-weight: 700;
    line-height: 1.05;
    letter-spacing: -0.03em;
}

.gradient {
    background: linear-gradient(100deg, var(--accent), var(--accent-2));
    -webkit-background-clip: text;
    background-clip: text;
    color: transparent;
}

.lede b { color: var(--text); font-weight: 500; }

.lede {
    max-width: 44rem;
    margin: 0 0 2rem;
    color: var(--muted);
    font-size: clamp(1rem, 1.6vw, 1.15rem);
}

.terminal {
    margin: clamp(2.5rem, 6vw, 4rem) 0;
    border: 1px solid var(--line);
    border-radius: 1rem;
    background: rgba(8, 12, 20, 0.75);
    box-shadow: 0 30px 80px -40px rgba(0, 0, 0, 0.9);
    overflow-x: auto;
}

.terminal pre {
    margin: 0;
    padding: 1.4rem 1.5rem;
    font-family: var(--font-mono);
    font-size: 0.85rem;
    line-height: 1.75;
    color: #cdd6e6;
}

.terminal .c { color: #64748b; }
.terminal .k { color: var(--accent); }
.terminal .s { color: #8fb4ff; }

/* source -> parse -> SMIR -> ... , the engine in one line */
.pipeline {
    display: flex;
    flex-wrap: wrap;
    align-items: center;
    justify-content: center;
    gap: 0.5rem;
    margin: 0 0 clamp(2.5rem, 6vw, 4rem);
    font-family: var(--font-mono);
    font-size: 0.82rem;
    letter-spacing: 0.06em;
    text-transform: uppercase;
}

.pipeline span {
    padding: 0.4rem 0.85rem;
    border: 1px solid var(--line);
    border-radius: 999px;
    background: var(--panel);
    color: var(--muted);
}

.pipeline .hi {
    border-color: rgba(77, 225, 193, 0.5);
    color: var(--accent);
}

.pipeline i { color: rgba(255, 255, 255, 0.25); font-style: normal; }

.cards {
    display: grid;
    gap: 1rem;
    grid-template-columns: repeat(auto-fit, minmax(22rem, 1fr));
}

.cards article {
    padding: 1.4rem;
    border: 1px solid var(--line);
    border-radius: 1rem;
    background: var(--panel);
}

.cards h2 {
    margin: 0 0 0.5rem;
    font-family: var(--font-display);
    font-size: 1.05rem;
    font-weight: 500;
}

.cards p { margin: 0; color: var(--muted); font-size: 0.95rem; }

.status {
    max-width: 44rem;
    margin: clamp(2.5rem, 6vw, 4rem) auto 0;
    text-align: center;
}

.status h2 {
    margin: 0 0 0.75rem;
    font-family: var(--font-display);
    font-size: clamp(1.4rem, 3vw, 1.8rem);
    font-weight: 500;
    letter-spacing: -0.01em;
}

.status p { margin: 0; color: var(--muted); }

footer {
    display: flex;
    justify-content: center;
    gap: 0.6rem;
    padding: 2rem 1.25rem 3rem;
    color: var(--muted);
    font-size: 0.85rem;
}

footer a { color: var(--muted); }

.dot { opacity: 0.5; }

@media (prefers-reduced-motion: reduce) {
    * { transition: none !important; }
}