/* provabl.dev */

/* Light theme (default) */
:root {
    --bg: #f8fafc;
    --bg-card: #ffffff;
    --bg-card-hover: #f1f5f9;
    --bg-code: #f1f5f9;
    --text-primary: #0f172a;
    --text-secondary: #475569;
    --text-muted: #94a3b8;
    --text-code: #1e293b;
    --accent-blue: #0369a1;
    --accent-green: #15803d;
    --accent-purple: #6d28d9;
    --accent-amber: #b45309;
    --accent-blue-soft: #e0f2fe;
    --accent-green-soft: #dcfce7;
    --accent-purple-soft: #ede9fe;
    --accent-amber-soft: #fef3c7;
    --accent-blue-mid: #7dd3fc;
    --accent-green-mid: #86efac;
    --accent-purple-mid: #c4b5fd;
    --accent-amber-mid: #fcd34d;
    --border: #e2e8f0;
    --border-strong: #cbd5e1;
    --shadow-sm: 0 1px 3px rgba(0,0,0,0.06), 0 1px 2px rgba(0,0,0,0.04);
    --shadow-md: 0 4px 12px rgba(0,0,0,0.07), 0 2px 4px rgba(0,0,0,0.04);
    --shadow-lg: 0 8px 24px rgba(0,0,0,0.08), 0 4px 8px rgba(0,0,0,0.04);
    --nav-bg: rgba(248, 250, 252, 0.92);
}

[data-theme="dark"] {
    --bg: #0c1017;
    --bg-card: #141c28;
    --bg-card-hover: #1a2535;
    --bg-code: #0f1923;
    --text-primary: #e2e8f0;
    --text-secondary: #94a3b8;
    --text-muted: #64748b;
    --text-code: #cbd5e1;
    --accent-blue: #38bdf8;
    --accent-green: #4ade80;
    --accent-purple: #a78bfa;
    --accent-amber: #fbbf24;
    --accent-blue-soft: rgba(56, 189, 248, 0.1);
    --accent-green-soft: rgba(74, 222, 128, 0.1);
    --accent-purple-soft: rgba(167, 139, 250, 0.1);
    --accent-amber-soft: rgba(251, 191, 36, 0.1);
    --accent-blue-mid: #0369a1;
    --accent-green-mid: #15803d;
    --accent-purple-mid: #6d28d9;
    --accent-amber-mid: #b45309;
    --border: rgba(255, 255, 255, 0.08);
    --border-strong: rgba(255, 255, 255, 0.14);
    --shadow-sm: 0 1px 3px rgba(0,0,0,0.3);
    --shadow-md: 0 4px 12px rgba(0,0,0,0.4);
    --shadow-lg: 0 8px 24px rgba(0,0,0,0.5);
    --nav-bg: rgba(12, 16, 23, 0.92);
}

.theme-transitioning,
.theme-transitioning *,
.theme-transitioning *::before,
.theme-transitioning *::after {
    transition: background-color 0.2s ease, color 0.2s ease,
                border-color 0.2s ease, box-shadow 0.2s ease !important;
}

*, *::before, *::after { box-sizing: border-box; margin: 0; padding: 0; }
html { scroll-behavior: smooth; }

body {
    background: var(--bg);
    color: var(--text-primary);
    font-family: 'Atkinson Hyperlegible', -apple-system, BlinkMacSystemFont, 'Segoe UI', system-ui, sans-serif;
    font-size: 1rem;
    line-height: 1.65;
    min-height: 100vh;
    -webkit-font-smoothing: antialiased;
}

.sr-only {
    position: absolute; width: 1px; height: 1px; padding: 0;
    margin: -1px; overflow: hidden; clip: rect(0,0,0,0);
    white-space: nowrap; border: 0;
}
.skip-link {
    position: absolute; left: -9999px; top: auto;
    width: 1px; height: 1px; overflow: hidden;
    z-index: 10000; padding: 0.75rem 1.25rem;
    background: var(--accent-green); color: #fff;
    font-weight: 700; text-decoration: none; border-radius: 0 0 6px 0;
}
.skip-link:focus { position: fixed; left: 0; top: 0; width: auto; height: auto; }

/* ── Navigation ────────────────────────────────────── */
.nav {
    position: sticky; top: 0; z-index: 100;
    background: var(--nav-bg);
    backdrop-filter: blur(10px);
    border-bottom: 1px solid var(--border);
}
.nav-container {
    max-width: 1100px; margin: 0 auto;
    padding: 0 1.5rem;
    display: flex; align-items: center; justify-content: space-between;
    height: 58px;
}
.nav-brand {
    display: flex; align-items: center; gap: 0.5rem;
    text-decoration: none; color: var(--text-primary);
}
.nav-wordmark {
    font-size: 1.5rem; font-weight: 800; letter-spacing: -0.03em;
}
.nav-wordmark .accent { color: var(--accent-green); }

.nav-links {
    display: flex; align-items: center; gap: 1.5rem;
}
.nav-links a {
    color: var(--text-secondary); text-decoration: none;
    font-size: 0.9rem; font-weight: 500; transition: color 0.15s;
}
.nav-links a:hover { color: var(--text-primary); }

.btn-theme {
    background: none; border: 1px solid var(--border);
    border-radius: 6px; padding: 0.35rem 0.65rem;
    cursor: pointer; color: var(--text-secondary);
    font-size: 0.95rem; transition: all 0.15s; line-height: 1;
}
.btn-theme:hover { border-color: var(--border-strong); color: var(--text-primary); }

.hamburger {
    display: none; flex-direction: column; gap: 5px;
    background: none; border: none; cursor: pointer; padding: 4px;
}
.hamburger span {
    display: block; width: 22px; height: 2px;
    background: var(--text-primary); border-radius: 2px; transition: all 0.2s;
}

/* ── Layout ─────────────────────────────────────────── */
.container { max-width: 1100px; margin: 0 auto; padding: 0 1.5rem; }

/* ── Hero ───────────────────────────────────────────── */
.hero {
    padding: 5rem 1rem 4.5rem;
    text-align: center;
}
.hero-eyebrow {
    display: inline-flex; align-items: center; gap: 0.5rem;
    padding: 0.3rem 0.85rem;
    background: var(--accent-green-soft);
    border: 1px solid var(--accent-green-mid);
    border-radius: 100px;
    font-size: 0.78rem; font-weight: 700;
    color: var(--accent-green);
    letter-spacing: 0.06em; text-transform: uppercase;
    margin-bottom: 1.75rem;
}
[data-theme="dark"] .hero-eyebrow { border-color: rgba(74, 222, 128, 0.25); }

.hero h1 {
    font-size: clamp(2rem, 5vw, 3.25rem);
    font-weight: 800;
    letter-spacing: -0.03em;
    line-height: 1.12;
    margin-bottom: 1.25rem;
    color: var(--text-primary);
}
.word-ground { color: var(--accent-blue); }
.word-attest { color: var(--accent-green); }
.word-qualify { color: var(--accent-purple); }
.word-vet     { color: var(--accent-amber); }

.hero-sub {
    font-size: 1.1rem;
    color: var(--text-secondary);
    max-width: 540px;
    margin: 0 auto 2.25rem;
    line-height: 1.7;
}

.hero-buttons {
    display: flex; gap: 0.875rem;
    justify-content: center; flex-wrap: wrap;
    margin-bottom: 3.5rem;
}
.btn {
    display: inline-flex; align-items: center; gap: 0.4rem;
    padding: 0.65rem 1.4rem; border-radius: 7px;
    font-size: 0.925rem; font-weight: 600;
    text-decoration: none; transition: all 0.15s;
    border: none; cursor: pointer; font-family: inherit;
}
.btn-primary {
    background: var(--accent-green);
    color: #fff;
    box-shadow: var(--shadow-sm);
}
.btn-primary:hover {
    filter: brightness(1.08);
    box-shadow: var(--shadow-md);
    transform: translateY(-1px);
}
.btn-secondary {
    background: var(--bg-card);
    border: 1px solid var(--border-strong);
    color: var(--text-secondary);
    box-shadow: var(--shadow-sm);
}
.btn-secondary:hover {
    border-color: var(--accent-blue);
    color: var(--accent-blue);
    transform: translateY(-1px);
    box-shadow: var(--shadow-md);
}

/* Workflow snippet in hero */
.hero-snippet {
    display: inline-block;
    background: var(--bg-code);
    border: 1px solid var(--border);
    border-radius: 10px;
    padding: 1.25rem 1.75rem;
    text-align: left;
    font-family: 'SF Mono', 'Fira Code', 'Cascadia Code', ui-monospace, monospace;
    font-size: 0.82rem;
    line-height: 2;
    color: var(--text-code);
    box-shadow: var(--shadow-sm);
    max-width: 560px;
    margin: 0 auto;
}
.sn-comment { color: var(--text-muted); }
.sn-ground  { color: var(--accent-blue); font-weight: 700; }
.sn-attest  { color: var(--accent-green); font-weight: 700; }
.sn-out     { color: var(--text-muted); display: block; padding-left: 1.25rem; line-height: 1.5; font-size: 0.78rem; }

/* ── Suite ──────────────────────────────────────────── */
.suite { padding: 3rem 0 5rem; }
.section-header { text-align: center; margin-bottom: 2.75rem; }
.section-header h2 {
    font-size: 1.65rem; font-weight: 800;
    letter-spacing: -0.025em; margin-bottom: 0.4rem;
}
.section-header p { color: var(--text-secondary); font-size: 1rem; }

.suite-grid {
    display: grid;
    grid-template-columns: 1fr 1fr;
    grid-template-rows: auto auto;
    gap: 1.25rem;
}
@media (max-width: 600px) {
    .suite-grid {
        grid-template-columns: 1fr;
        grid-template-rows: auto;
    }
}
.product-card {
    background: var(--bg-card);
    border: 1px solid var(--border);
    border-radius: 12px;
    padding: 1.75rem;
    transition: all 0.2s;
    text-decoration: none;
    color: inherit;
    display: block;
    box-shadow: var(--shadow-sm);
}
.product-card:hover {
    box-shadow: var(--shadow-lg);
    transform: translateY(-2px);
    border-color: var(--border-strong);
}
.card-blue:hover  { border-color: var(--accent-blue); }
.card-green:hover { border-color: var(--accent-green); }
.card-purple:hover{ border-color: var(--accent-purple); }
.card-amber:hover { border-color: var(--accent-amber); }

.product-tag {
    display: inline-block;
    padding: 0.2rem 0.6rem;
    border-radius: 4px;
    font-size: 0.72rem; font-weight: 700;
    letter-spacing: 0.07em; text-transform: uppercase;
    margin-bottom: 0.875rem;
}
.card-blue   .product-tag { background: var(--accent-blue-soft);   color: var(--accent-blue); }
.card-green  .product-tag { background: var(--accent-green-soft);  color: var(--accent-green); }
.card-purple .product-tag { background: var(--accent-purple-soft); color: var(--accent-purple); }
.card-amber  .product-tag { background: var(--accent-amber-soft);  color: var(--accent-amber); }

[data-theme="dark"] .card-blue   .product-tag { background: rgba(56, 189, 248, 0.12);  border: 1px solid rgba(56, 189, 248, 0.2); }
[data-theme="dark"] .card-green  .product-tag { background: rgba(74, 222, 128, 0.12);  border: 1px solid rgba(74, 222, 128, 0.2); }
[data-theme="dark"] .card-purple .product-tag { background: rgba(167, 139, 250, 0.12); border: 1px solid rgba(167, 139, 250, 0.2); }
[data-theme="dark"] .card-amber  .product-tag { background: rgba(251, 191, 36, 0.1);   border: 1px solid rgba(251, 191, 36, 0.2); }

.product-name {
    font-size: 1.25rem; font-weight: 800;
    letter-spacing: -0.02em; margin-bottom: 0.5rem;
}
.card-blue   .product-name { color: var(--accent-blue); }
.card-green  .product-name { color: var(--accent-green); }
.card-purple .product-name { color: var(--accent-purple); }
.card-amber  .product-name { color: var(--accent-amber); }

.product-desc {
    color: var(--text-secondary); font-size: 0.9rem;
    line-height: 1.65; margin-bottom: 1.25rem;
}
.product-desc code {
    font-family: 'SF Mono', 'Fira Code', ui-monospace, monospace;
    font-size: 0.82em; background: var(--bg-code);
    padding: 0.1em 0.35em; border-radius: 3px;
    border: 1px solid var(--border);
}

.product-claims { list-style: none; display: flex; flex-direction: column; gap: 0.35rem; }
.product-claims li {
    font-size: 0.84rem; color: var(--text-muted);
    display: flex; align-items: baseline; gap: 0.5rem;
}
.product-claims li::before { content: '–'; flex-shrink: 0; }
.product-claims code {
    font-family: 'SF Mono', 'Fira Code', ui-monospace, monospace;
    font-size: 0.85em; background: var(--bg-code);
    padding: 0.1em 0.3em; border-radius: 3px;
    border: 1px solid var(--border);
}

.product-cta {
    display: inline-flex; align-items: center; gap: 0.35rem;
    margin-top: 1.5rem; font-size: 0.84rem; font-weight: 700;
    text-decoration: none;
}
.card-blue   .product-cta { color: var(--accent-blue); }
.card-green  .product-cta { color: var(--accent-green); }
.card-purple .product-cta { color: var(--accent-purple); }
.card-amber  .product-cta { color: var(--accent-amber); }

/* ── Workflow ────────────────────────────────────────── */
.workflow {
    padding: 4rem 0;
    border-top: 1px solid var(--border);
}
.workflow-window {
    max-width: 700px; margin: 0 auto;
    background: var(--bg-code);
    border: 1px solid var(--border);
    border-radius: 10px;
    box-shadow: var(--shadow-md);
    overflow: hidden;
}
.window-bar {
    background: var(--bg-card);
    border-bottom: 1px solid var(--border);
    padding: 0.55rem 1rem;
    display: flex; align-items: center; gap: 0.4rem;
}
.dot { width: 10px; height: 10px; border-radius: 50%; flex-shrink: 0; }
.dot-r { background: #f87171; }
.dot-y { background: #fbbf24; }
.dot-g { background: #4ade80; }
.window-label {
    margin-left: auto; margin-right: auto;
    font-size: 0.72rem; color: var(--text-muted);
    font-family: 'SF Mono', ui-monospace, monospace;
}
.workflow-body {
    padding: 1.5rem 1.75rem;
    font-family: 'SF Mono', 'Fira Code', 'Cascadia Code', ui-monospace, monospace;
    font-size: 0.82rem; line-height: 2;
    color: var(--text-code); overflow-x: auto;
}
.wf-comment { color: var(--text-muted); }
.wf-ground  { color: var(--accent-blue);  font-weight: 700; }
.wf-attest  { color: var(--accent-green); font-weight: 700; }
.wf-vet     { color: var(--accent-amber); font-weight: 700; }
.wf-arg     { color: var(--text-secondary); }
.wf-out     {
    display: block; padding-left: 1rem;
    color: var(--text-muted); font-size: 0.78rem; line-height: 1.5;
}

/* ── Principles ──────────────────────────────────────── */
.principles { padding: 4rem 0; border-top: 1px solid var(--border); }

.principles-grid {
    display: grid;
    grid-template-columns: repeat(auto-fit, minmax(280px, 1fr));
    gap: 1.25rem;
}
.principle {
    background: var(--bg-card);
    border: 1px solid var(--border);
    border-radius: 10px;
    padding: 1.5rem;
    box-shadow: var(--shadow-sm);
}
.principle h3 {
    font-size: 0.95rem; font-weight: 700;
    color: var(--text-primary); margin-bottom: 0.5rem;
}
.principle p {
    font-size: 0.875rem; color: var(--text-secondary); line-height: 1.65;
}
.principle p code {
    font-family: 'SF Mono', 'Fira Code', ui-monospace, monospace;
    font-size: 0.85em; background: var(--bg-code);
    padding: 0.1em 0.3em; border-radius: 3px; border: 1px solid var(--border);
}

/* ── Footer ──────────────────────────────────────────── */
footer {
    border-top: 1px solid var(--border);
    padding: 2.5rem 0 2rem;
    margin-top: 4rem;
}
.footer-inner {
    display: flex; flex-wrap: wrap;
    gap: 2rem; justify-content: space-between; align-items: flex-start;
    margin-bottom: 2rem;
}
.footer-brand .nav-wordmark { font-size: 1.05rem; }
.footer-brand p { font-size: 0.82rem; color: var(--text-muted); margin-top: 0.35rem; }
.footer-links { display: flex; flex-wrap: wrap; gap: 0.5rem 1.5rem; }
.footer-links a {
    font-size: 0.84rem; color: var(--text-secondary);
    text-decoration: none; transition: color 0.15s;
}
.footer-links a:hover { color: var(--text-primary); }
.footer-bottom {
    border-top: 1px solid var(--border);
    padding-top: 1.25rem;
    display: flex; flex-wrap: wrap; gap: 0.75rem;
    justify-content: space-between; align-items: center;
    font-size: 0.78rem; color: var(--text-muted);
}
.footer-bottom a { color: var(--text-muted); text-decoration: none; }
.footer-bottom a:hover { color: var(--text-secondary); }

/* ── Responsive ──────────────────────────────────────── */
@media (max-width: 640px) {
    .nav-links {
        display: none; flex-direction: column;
        position: absolute; top: 58px; left: 0; right: 0;
        background: var(--bg); border-bottom: 1px solid var(--border);
        padding: 1rem 1.5rem 1.5rem; gap: 1rem;
    }
    .nav-links.open { display: flex; }
    .hamburger { display: flex; }
    .hero { padding: 3rem 0 2.5rem; }
    .hero-buttons { flex-direction: column; align-items: center; }
    .hero-snippet { padding: 1rem 1.25rem; font-size: 0.76rem; }
    .workflow-body { font-size: 0.75rem; padding: 1.25rem; }
}