/* VeriLM Landing Page — self-contained, no dependency on app.css */

/* ===== Variables ===== */
:root {
    --lp-bg: #fafaf8;
    --lp-text: #1a1a18;
    --lp-text-body: #4a4a46;
    --lp-text-muted: #666;
    --lp-text-faint: #999;
    --lp-text-faintest: #bbb;
    --lp-accent: #2d5a3d;
    --lp-accent-hover: #234a31;
    --lp-border: #e0dfdb;
    --lp-card-bg: #fff;
    --lp-card-shadow: 0 2px 12px rgba(0,0,0,0.04);
    --lp-showcase-bg: #f7f7f5;

    --lp-font-serif: 'Source Serif 4', 'Georgia', serif;
    --lp-font-sans: 'DM Sans', -apple-system, sans-serif;
    --lp-font-mono: 'JetBrains Mono', monospace;

    --lp-max-width: 1200px;
    --lp-page-width: 1200px;
    --lp-nav-max-width: 1200px;
    --lp-showcase-max-width: 1200px;
}

/* ===== Reset ===== */
*, *::before, *::after { box-sizing: border-box; margin: 0; padding: 0; }

body {
    min-height: 100vh;
    background: var(--lp-bg);
    font-family: var(--lp-font-serif);
    color: var(--lp-text);
    -webkit-font-smoothing: antialiased;
}

/* ===== Nav ===== */
.lp-nav {
    display: flex;
    justify-content: space-between;
    align-items: center;
    padding: 24px 48px;
    max-width: var(--lp-nav-max-width);
    margin: 0 auto;
}

.lp-nav-brand {
    display: flex;
    align-items: center;
    gap: 10px;
    text-decoration: none;
}

.lp-nav-logo-img {
    height: 80px;
    width: auto;
    object-fit: contain;
}

.lp-nav-brand-name {
    font-family: var(--lp-font-sans);
    font-weight: 600;
    font-size: 20px;
    letter-spacing: -0.02em;
    color: var(--lp-text);
    line-height: 1.15;
}

.lp-nav-brand-tagline {
    font-family: var(--lp-font-sans);
    font-size: 10px;
    color: var(--lp-text-muted);
    letter-spacing: 0.02em;
    line-height: 1.15;
}

.lp-nav-signin {
    font-family: var(--lp-font-sans);
    font-size: 14px;
    color: var(--lp-text-muted);
    text-decoration: none;
    border-bottom: 1px solid #ccc;
}

.lp-nav-signin:hover {
    color: var(--lp-text);
    border-bottom-color: var(--lp-text);
}

/* OAuth social-login links in the nav (rendered only when configured) */
.lp-nav-oauth {
    font-family: var(--lp-font-sans);
    font-size: 14px;
    color: var(--lp-text);
    text-decoration: none;
    padding: 6px 12px;
    border: 1px solid #ccc;
    border-radius: 6px;
    transition: border-color 0.2s, background 0.2s;
}

.lp-nav-oauth:hover {
    border-color: var(--lp-text);
    background: rgba(0, 0, 0, 0.03);
}

/* ===== Sign-up incentive — hero callout card (shows on every tab) ===== */
/* .lp-section.lp-promo (two classes) so these beat .lp-section's padding
   shorthand regardless of source order. The headline already supplies ~48px
   of space below it (its own 28px margin-bottom + the hero's 20px padding),
   so we use ZERO top padding here to keep the gap above the card (~48px)
   close to the gap below it (44px). Don't add top padding back without
   re-checking that balance. */
.lp-section.lp-promo {
    padding-top: 0;
    padding-bottom: 44px;
    text-align: center;
}

.lp-promo-card {
    display: block;
    max-width: 620px;
    margin: 0 auto;
    background: linear-gradient(160deg, #f0f6f1, #e6f0e8);
    border: 1px solid #cfe0d4;
    border-radius: 16px;
    padding: 26px 30px;
    box-shadow: 0 6px 20px rgba(45, 90, 61, 0.08);
}

.lp-promo-amount {
    display: block;
    font-family: var(--lp-font-serif);
    font-size: 30px;
    font-weight: 700;
    color: var(--lp-accent);
    letter-spacing: -0.01em;
    margin-bottom: 4px;
}

.lp-promo-sub {
    font-family: var(--lp-font-sans);
    font-size: 15px;
    color: var(--lp-text-body);
    margin-bottom: 18px;
}

.lp-promo-actions {
    display: flex;
    gap: 12px;
    justify-content: center;
    flex-wrap: wrap;
}

.lp-promo-btn {
    display: inline-flex;
    align-items: center;
    gap: 9px;
    background: #fff;
    color: var(--lp-text);
    text-decoration: none;
    border: 1px solid var(--lp-border);
    border-radius: 8px;
    padding: 11px 18px;
    font-family: var(--lp-font-sans);
    font-size: 15px;
    font-weight: 600;
    box-shadow: 0 1px 3px rgba(0, 0, 0, 0.06);
    transition: border-color 0.15s, box-shadow 0.15s, transform 0.15s;
}

.lp-promo-btn:hover {
    border-color: var(--lp-accent);
    box-shadow: 0 3px 10px rgba(45, 90, 61, 0.15);
    transform: translateY(-1px);
}

.lp-promo-btn svg {
    flex-shrink: 0;
}

@media (max-width: 600px) {
    .lp-promo-amount { font-size: 25px; }
    .lp-promo-actions { flex-direction: column; }
    .lp-promo-btn { justify-content: center; }
}

/* ===== Sections (shared) ===== */
.lp-section {
    max-width: var(--lp-max-width);
    margin: 0 auto;
    padding: 44px 48px;
}

.lp-section-heading {
    font-size: 14px;
    font-family: var(--lp-font-sans);
    font-weight: 600;
    text-transform: uppercase;
    letter-spacing: 0.1em;
    color: var(--lp-text-faint);
    margin-bottom: 36px;
}

.lp-divider {
    max-width: var(--lp-max-width);
    margin: 0 auto;
    padding: 0 48px;
}

.lp-divider-line {
    height: 1px;
    background: var(--lp-border);
}

/* ===== Hero (shared above tabs) ===== */
.lp-hero {
    max-width: var(--lp-page-width);
    padding-top: 16px;
    padding-bottom: 20px;
}

/* ===== Tabs ===== */
.lp-tabs-container {
    max-width: var(--lp-page-width);
    margin: 0 auto;
    padding: 0 48px;
}

.lp-tabs-row {
    display: flex;
    gap: 4px;
    border-bottom: 1px solid var(--lp-border);
}

.lp-tab {
    font-family: var(--lp-font-sans);
    font-size: 14px;
    font-weight: 500;
    color: var(--lp-text-faint);
    background: transparent;
    border: 1px solid transparent;
    border-bottom: 1px solid var(--lp-border);
    border-top-left-radius: 8px;
    border-top-right-radius: 8px;
    padding: 10px 20px;
    margin-bottom: -1px;
    cursor: pointer;
    position: relative;
    transition: color 0.15s, background 0.15s;
}

.lp-tab:hover {
    color: var(--lp-text-muted);
}

.lp-tab--active {
    font-weight: 600;
    color: var(--lp-text);
    background: var(--lp-card-bg);
    border-color: var(--lp-border);
    border-bottom-color: var(--lp-card-bg);
}

.lp-tab:focus-visible {
    outline: 2px solid var(--lp-accent);
    outline-offset: -2px;
}

/* Tab content panels */
.lp-tab-content {
    display: none;
}

.lp-tab-content--active {
    display: block;
}

.lp-tab-panel {
    background: var(--lp-card-bg);
    border-top: none;
}

/* ===== Deep Research tab ===== */
.lp-tab-panel .lp-section--wide {
    max-width: var(--lp-page-width);
}

.lp-research-h1 {
    font-family: var(--lp-font-serif);
    font-size: 36px;
    font-weight: 500;
    line-height: 1.2;
    margin: 0 0 12px;
    color: var(--lp-text);
}

.lp-research-context {
    font-family: var(--lp-font-sans);
    font-size: 16px;
    color: #555;
    line-height: 1.6;
    margin: 0 0 16px;
    max-width: 680px;
}

.lp-research-hint {
    font-family: var(--lp-font-sans);
    font-size: 14px;
    color: var(--lp-text-muted);
    line-height: 1.6;
    margin: 0 0 28px;
    max-width: 680px;
}

/* Coming Soon box */
.lp-coming-soon {
    background: #f7f5f0;
    border: 1px solid var(--lp-border);
    border-left: 3px solid var(--lp-text);
    border-radius: 6px;
    padding: 16px 20px;
    display: flex;
    align-items: center;
    justify-content: space-between;
    gap: 20px;
    flex-wrap: wrap;
}

.lp-coming-soon-label {
    font-family: var(--lp-font-sans);
    font-size: 11px;
    font-weight: 600;
    letter-spacing: 0.1em;
    text-transform: uppercase;
    color: var(--lp-text-faint);
    margin-bottom: 4px;
}

.lp-coming-soon-line {
    font-family: var(--lp-font-sans);
    font-size: 15px;
    color: var(--lp-text);
    font-weight: 500;
}

.lp-coming-soon-cta {
    font-family: var(--lp-font-sans);
    font-size: 14px;
    font-weight: 600;
    background: var(--lp-text);
    color: #fff;
    padding: 10px 18px;
    border: none;
    border-radius: 6px;
    cursor: pointer;
    white-space: nowrap;
    transition: background 0.2s;
}

.lp-coming-soon-cta:hover {
    background: #333;
}

/* Iframe embed */
.lp-research-iframe-wrap {
    max-width: var(--lp-page-width);
    margin: 0 auto;
    padding: 0 48px 60px;
}

.lp-research-iframe {
    width: 100%;
    height: 1400px;
    border: 1px solid var(--lp-border);
    border-radius: 10px;
    background: var(--lp-card-bg);
}

/* Daily Driver iframe is shorter — fits on a single laptop screen and
   scrolls internally. The full project rendering is taller than this,
   so internal scrolling is the intended behavior. */
.lp-research-iframe--daily {
    height: 70vh;
    min-height: 520px;
    max-height: 760px;
}

.lp-hero-title {
    font-size: 44px;
    font-weight: 300;
    line-height: 1.2;
    letter-spacing: -0.02em;
    margin-bottom: 28px;
    color: var(--lp-text);
    text-align: center;
}

.lp-hero-desc {
    font-size: 19px;
    line-height: 1.7;
    color: var(--lp-text-body);
    margin-bottom: 40px;
}

.lp-cta-row {
    display: flex;
    gap: 16px;
    align-items: center;
    flex-wrap: wrap;
}

.lp-btn-primary {
    font-family: var(--lp-font-sans);
    font-size: 15px;
    font-weight: 500;
    padding: 14px 32px;
    background: var(--lp-accent);
    color: #fff;
    border: none;
    border-radius: 6px;
    cursor: pointer;
    letter-spacing: 0.01em;
    transition: background 0.2s;
    text-decoration: none;
    display: inline-block;
}

.lp-btn-primary:hover {
    background: var(--lp-accent-hover);
}

.lp-btn-secondary {
    font-family: var(--lp-font-sans);
    font-size: 15px;
    font-weight: 500;
    color: var(--lp-accent);
    text-decoration: none;
    border-bottom: 1px solid var(--lp-accent);
}

.lp-btn-secondary:hover {
    color: var(--lp-accent-hover);
    border-bottom-color: var(--lp-accent-hover);
}

.lp-beta-note {
    font-family: var(--lp-font-sans);
    font-size: 13px;
    color: var(--lp-text-faint);
    margin-top: 16px;
}

/* ===== How It Works ===== */
.lp-how-steps {
    display: flex;
    gap: 0;
    margin-bottom: 48px;
}

.lp-step {
    flex: 1;
    padding-right: 24px;
    padding-left: 24px;
    border-left: 1px solid var(--lp-border);
}

.lp-step:first-child {
    padding-left: 0;
    border-left: none;
}

.lp-step:last-child {
    padding-right: 0;
}

.lp-step-num {
    font-family: var(--lp-font-mono);
    font-size: 11px;
    font-weight: 500;
    border-radius: 4px;
    padding: 4px 10px;
    display: inline-block;
    margin-bottom: 14px;
    border: 1px solid;
}

.lp-step-num--scope {
    color: #2d5a3d;
    background: #eef4f0;
    border-color: #d0e2d6;
}

.lp-step-num--analysis {
    color: #4a6a8a;
    background: #eef2f7;
    border-color: #cddae8;
}

.lp-step-num--synthesis {
    color: #8b6914;
    background: #fdf8ec;
    border-color: #e8dbb8;
}

.lp-step-title {
    font-family: var(--lp-font-sans);
    font-size: 16px;
    font-weight: 600;
    margin-bottom: 10px;
    color: var(--lp-text);
}

.lp-step-desc {
    font-size: 14px;
    line-height: 1.65;
    color: var(--lp-text-muted);
    font-family: var(--lp-font-sans);
}

.lp-callout {
    background: var(--lp-card-bg);
    border: 1px solid var(--lp-border);
    border-radius: 8px;
    padding: 24px 28px;
    display: flex;
    gap: 20px;
    align-items: flex-start;
}

.lp-callout-icon {
    font-family: var(--lp-font-mono);
    font-size: 16px;
    color: #4a6a8a;
    flex-shrink: 0;
    margin-top: 2px;
}

.lp-callout-text {
    font-family: var(--lp-font-sans);
    font-size: 14px;
    line-height: 1.65;
    color: #555;
    margin: 0;
}

.lp-callout-text strong {
    color: var(--lp-text);
}

/* ===== Showcase ===== */
.lp-showcase {
    max-width: var(--lp-showcase-max-width);
}

.lp-showcase-intro {
    max-width: var(--lp-max-width);
    margin: 0 auto 40px;
}

.lp-showcase-intro .lp-section-heading {
    margin-bottom: 16px;
}

.lp-showcase-subtitle {
    font-family: var(--lp-font-sans);
    font-size: 15px;
    color: #888;
    margin: 0;
}

.lp-showcase-cards {
    display: flex;
    flex-direction: column;
    gap: 24px;
    max-width: var(--lp-showcase-max-width);
    margin: 0 auto;
}

.lp-showcase-card {
    background: var(--lp-card-bg);
    border: 1px solid var(--lp-border);
    border-radius: 10px;
    overflow: hidden;
    box-shadow: var(--lp-card-shadow);
}

.lp-showcase-header {
    background: var(--lp-showcase-bg);
    padding: 32px 32px 28px;
}

.lp-showcase-header--compact {
    padding: 24px 24px 20px;
}

.lp-showcase-footer {
    padding: 14px 24px;
    border-top: 1px solid var(--lp-border);
}

.lp-showcase-footer p {
    font-family: var(--lp-font-sans);
    font-size: 13px;
    color: #888;
    margin: 0;
}

.lp-showcase-footer strong {
    color: var(--lp-text-muted);
}

.lp-showcase-footer--compact {
    padding: 12px 20px;
}

.lp-showcase-footer--compact p {
    font-size: 12px;
}

.lp-showcase-two-up {
    display: grid;
    grid-template-columns: 1fr 1fr;
    gap: 24px;
}

.lp-showcase-label {
    font-family: var(--lp-font-sans);
    font-size: 11px;
    font-weight: 600;
    text-transform: uppercase;
    letter-spacing: 0.08em;
    color: var(--lp-text-faint);
    margin-bottom: 12px;
}

.lp-showcase-title {
    font-family: var(--lp-font-serif);
    font-size: 17px;
    font-weight: 600;
    line-height: 1.5;
    color: var(--lp-text);
    margin-bottom: 20px;
    max-width: 780px;
}

.lp-showcase-title--sm {
    font-size: 13px;
    margin-bottom: 14px;
}

/* Confidence box */
.lp-confidence-box {
    background: #fdf8ec;
    border: 1px solid #e8dbb8;
    border-radius: 8px;
    padding: 18px 22px;
}

.lp-confidence-box--compact {
    border-radius: 6px;
    padding: 12px 14px;
}

.lp-confidence-label {
    font-family: var(--lp-font-sans);
    font-size: 14px;
    font-weight: 600;
    margin-bottom: 14px;
}

.lp-confidence-label--compact {
    font-size: 12px;
    margin-bottom: 6px;
}

.lp-confidence-value {
    color: #d4930d;
}

.lp-confidence-desc {
    font-family: var(--lp-font-sans);
    font-size: 11px;
    color: var(--lp-text-muted);
    line-height: 1.55;
}

.lp-check-list {
    display: flex;
    flex-direction: column;
    gap: 8px;
}

.lp-check-item {
    display: flex;
    align-items: flex-start;
    gap: 8px;
    font-family: var(--lp-font-sans);
    font-size: 13px;
    color: #444;
    line-height: 1.5;
}

.lp-check-icon {
    color: var(--lp-accent);
    font-size: 14px;
    margin-top: 1px;
    flex-shrink: 0;
}

.lp-check-item--fail {
    color: #888;
}

.lp-check-item--fail .lp-check-icon {
    color: #888;
}

.lp-confidence-note {
    font-family: var(--lp-font-sans);
    font-size: 12px;
    color: var(--lp-text-faint);
    margin-top: 14px;
}

/* Trust table — standalone section */
.lp-trust-heading {
    font-size: 14px;
    font-family: var(--lp-font-sans);
    font-weight: 600;
    text-transform: uppercase;
    letter-spacing: 0.1em;
    color: var(--lp-text-faint);
    margin-bottom: 20px;
}

.lp-trust-title {
    font-family: var(--lp-font-serif);
    font-size: 28px;
    font-weight: 400;
    line-height: 1.3;
    margin-bottom: 36px;
    color: var(--lp-text);
}

.lp-trust-card {
    background: var(--lp-card-bg);
    border: 1px solid var(--lp-border);
    border-radius: 10px;
    overflow: hidden;
    box-shadow: var(--lp-card-shadow);
}

.lp-trust-body {
    background: var(--lp-showcase-bg);
    padding: 24px 32px 24px;
}

.lp-trust-framing {
    font-family: var(--lp-font-sans);
    font-size: 14px;
    color: #777;
    margin: 0 0 16px 0;
    line-height: 1.5;
}

.lp-trust-table {
    width: 100%;
    border-collapse: collapse;
    font-family: var(--lp-font-sans);
    font-size: 14px;
}

.lp-trust-th {
    text-align: center;
    padding: 10px 12px;
    font-weight: 600;
    color: var(--lp-text-faint);
    font-size: 12px;
    text-transform: uppercase;
    letter-spacing: 0.05em;
    font-family: var(--lp-font-sans);
    border-bottom: 2px solid var(--lp-border);
}

.lp-trust-th--left {
    text-align: left;
    padding-left: 0;
}

.lp-trust-row {
    border-bottom: 1px solid #e8e7e3;
}

.lp-trust-model {
    padding: 14px 12px 14px 0;
    font-weight: 500;
    color: var(--lp-text);
    font-family: var(--lp-font-sans);
}

.lp-trust-cell {
    padding: 14px 12px;
    text-align: center;
}

.lp-trust-cell--fail {
    background: #fcecea;
}

.lp-trust-mono {
    font-family: var(--lp-font-mono);
    font-size: 13px;
}

.lp-trust-mono--red {
    color: #b91c1c;
    font-weight: 500;
}

.lp-trust-mono--gray {
    color: #888;
}

.lp-trust-mono--green {
    font-weight: 600;
    color: #2d5a3d;
}

.lp-trust-check {
    color: #2d8a4e;
    font-size: 14px;
    font-weight: 600;
}

.lp-trust-x {
    color: #b91c1c;
    font-weight: 600;
}

.lp-trust-row--verilm td {
    border-top: 2px solid #2d5a3d;
}

.lp-trust-model--verilm {
    font-weight: 700;
    color: #2d5a3d;
    padding: 16px 12px 16px 0;
    font-family: var(--lp-font-sans);
}

.lp-trust-cell--verilm {
    padding: 16px 12px;
    text-align: center;
}

.lp-trust-footer {
    padding: 16px 32px 20px;
    border-top: 1px solid var(--lp-border);
}

.lp-trust-footer p {
    font-family: var(--lp-font-sans);
    font-size: 13px;
    color: #777;
    margin: 0;
    line-height: 1.6;
}

.lp-trust-demo-link {
    margin-top: 16px;
}

.lp-trust-demo-link a {
    font-family: var(--lp-font-sans);
    font-size: 13px;
    color: #2d5a3d;
    text-decoration: none;
    border-bottom: 1px solid #2d5a3d;
}

.lp-trust-demo-link a:hover {
    color: var(--lp-accent-hover);
    border-bottom-color: var(--lp-accent-hover);
}

/* Proof cards — Confidently Wrong / Caught and Corrected */
.lp-proof-cards {
    display: grid;
    grid-template-columns: 1fr 1fr;
    gap: 24px;
    align-items: stretch;
    max-width: var(--lp-showcase-max-width);
    margin: 0 auto;
}

.lp-proof-card {
    background: var(--lp-card-bg);
    border: 1px solid var(--lp-border);
    border-radius: 10px;
    overflow: hidden;
    box-shadow: var(--lp-card-shadow);
    display: flex;
    flex-direction: column;
}

.lp-proof-body {
    background: var(--lp-showcase-bg);
    padding: 24px 24px 20px;
    flex: 1;
}

.lp-proof-label {
    font-family: var(--lp-font-sans);
    font-size: 13px;
    font-weight: 700;
    text-transform: uppercase;
    letter-spacing: 0.05em;
    margin-bottom: 16px;
}

.lp-proof-label--error {
    color: #b91c1c;
}

.lp-proof-label--verified {
    color: #2d5a3d;
    text-transform: none;
}

.lp-proof-sublabel {
    font-family: var(--lp-font-sans);
    font-size: 10px;
    font-weight: 600;
    text-transform: uppercase;
    letter-spacing: 0.08em;
    color: var(--lp-text-faint);
    margin-bottom: 8px;
}

.lp-proof-quote {
    font-family: var(--lp-font-serif);
    font-size: 13px;
    font-weight: 600;
    line-height: 1.55;
    color: var(--lp-text);
    margin-bottom: 16px;
}

.lp-proof-confidence {
    background: #e8f5ec;
    border: 1px solid #c3dfcb;
    border-radius: 6px;
    padding: 12px 14px;
}

.lp-proof-confidence-label {
    font-family: var(--lp-font-sans);
    font-size: 12px;
    font-weight: 600;
    margin-bottom: 6px;
}

.lp-proof-confidence-value {
    color: #2d8a4e;
}

.lp-proof-confidence-desc {
    font-family: var(--lp-font-sans);
    font-size: 11px;
    color: #555;
    line-height: 1.55;
}

.lp-proof-findings {
    display: flex;
    flex-direction: column;
    gap: 10px;
    margin-bottom: 14px;
}

.lp-proof-finding {
    display: flex;
    align-items: flex-start;
    gap: 8px;
    font-family: var(--lp-font-sans);
    font-size: 12px;
    line-height: 1.55;
    color: #444;
}

.lp-proof-finding-icon {
    font-weight: 600;
    flex-shrink: 0;
    margin-top: 1px;
}

.lp-proof-finding-icon--pass {
    color: #2d8a4e;
}

.lp-proof-finding-icon--fail {
    color: #b91c1c;
}

.lp-proof-note {
    font-family: var(--lp-font-sans);
    font-size: 11px;
    font-style: italic;
    color: #888;
    margin: 0;
    line-height: 1.5;
}

.lp-proof-footer {
    padding: 14px 20px;
    border-top: 1px solid var(--lp-border);
}

.lp-proof-footer p {
    font-family: var(--lp-font-sans);
    font-size: 12px;
    color: #888;
    margin: 0;
    line-height: 1.55;
}

.lp-proof-footer strong {
    color: var(--lp-text);
}

/* Bridge text (above proof cards) */
.lp-bridge {
    max-width: var(--lp-max-width);
    margin: 0 auto 32px;
}

.lp-bridge-text {
    font-family: var(--lp-font-sans);
    font-size: 17px;
    font-weight: 500;
    color: var(--lp-text);
    line-height: 1.5;
    margin: 0;
}

/* Explainer text (below proof cards) */
.lp-explainer {
    max-width: var(--lp-max-width);
    margin: 28px auto 0;
}

.lp-explainer-text {
    font-family: var(--lp-font-sans);
    font-size: 14px;
    color: #777;
    line-height: 1.6;
    margin: 0;
}

/* The uncomfortable truth */
.lp-truth-text {
    font-family: var(--lp-font-sans);
    font-size: 15px;
    color: var(--lp-text-body);
    line-height: 1.75;
    margin: 0 0 20px 0;
}

.lp-truth-text strong {
    color: var(--lp-text);
}

.lp-truth-ref {
    font-size: 11px;
    color: var(--lp-text-faint);
    margin-left: 1px;
}

.lp-truth-coda {
    font-family: var(--lp-font-sans);
    font-size: 15px;
    font-weight: 600;
    color: var(--lp-text);
    margin: 0 0 24px 0;
}

.lp-truth-footnotes {
    margin-top: 12px;
}

.lp-truth-footnote {
    font-family: var(--lp-font-sans);
    font-size: 11px;
    color: #aaa;
    margin: 0 0 10px 0;
    line-height: 1.6;
}

.lp-truth-footnote:last-child {
    margin-bottom: 0;
}

.lp-truth-footnote sup {
    margin-right: 2px;
}

.lp-truth-footnote-link {
    color: var(--lp-text-faint);
    text-decoration: underline;
}

.lp-truth-footnote-link:hover {
    color: var(--lp-text-muted);
}

/* Model tabs in showcase */
.lp-model-tabs {
    display: flex;
    align-items: center;
    gap: 8px;
    margin-bottom: 14px;
}

.lp-model-tab {
    font-family: var(--lp-font-sans);
    font-size: 11px;
    color: #aaa;
}

.lp-model-tab--active {
    font-weight: 600;
    color: #fff;
    background: #7c5cbf;
    border-radius: 4px;
    padding: 3px 8px;
}

/* Code verification */
.lp-verify-title {
    font-family: var(--lp-font-sans);
    font-size: 13px;
    font-weight: 600;
    color: var(--lp-text);
    margin-bottom: 16px;
}

.lp-verify-status {
    display: flex;
    align-items: center;
    gap: 8px;
    margin-bottom: 14px;
}

.lp-verify-status-icon {
    color: var(--lp-accent);
    font-size: 14px;
}

.lp-verify-status-text {
    font-family: var(--lp-font-sans);
    font-size: 12px;
    font-weight: 600;
    color: var(--lp-text);
}

.lp-verify-detail {
    font-family: var(--lp-font-sans);
    font-size: 11px;
    color: #555;
    line-height: 1.6;
    padding-left: 22px;
    margin-bottom: 12px;
}

.lp-verify-detail:last-child {
    margin-bottom: 0;
}

/* ===== Problem section ===== */
.lp-problem-text {
    font-size: 17px;
    line-height: 1.8;
    color: var(--lp-text-body);
    margin-bottom: 20px;
}

.lp-problem-text:last-child {
    margin-bottom: 0;
}

/* ===== Where It Matters ===== */
.lp-where .lp-section-heading {
    margin-bottom: 32px;
}

.lp-where-grid {
    display: grid;
    grid-template-columns: 1fr 1fr;
    gap: 28px 48px;
}

.lp-where-title {
    font-family: var(--lp-font-sans);
    font-size: 15px;
    font-weight: 600;
    margin-bottom: 10px;
    color: var(--lp-text);
}

.lp-where-desc {
    font-size: 14px;
    line-height: 1.7;
    color: var(--lp-text-muted);
    font-family: var(--lp-font-sans);
}

/* ===== Capabilities ===== */
.lp-capabilities .lp-section-heading {
    margin-bottom: 32px;
}

.lp-capabilities-grid {
    display: grid;
    grid-template-columns: 1fr 1fr;
    gap: 20px;
}

.lp-capability-card {
    background: var(--lp-card-bg);
    border: 1px solid var(--lp-border);
    border-radius: 8px;
    padding: 18px 22px;
}

.lp-capability-text {
    font-family: var(--lp-font-sans);
    font-size: 14px;
    line-height: 1.6;
    color: #555;
    margin: 0;
}

.lp-capability-text strong {
    color: var(--lp-text);
}

/* ===== Bottom CTA ===== */
.lp-bottom-cta-text {
    font-size: 19px;
    line-height: 1.7;
    color: var(--lp-text-body);
    margin-bottom: 32px;
    max-width: 580px;
}

/* ===== Single Model: two-column rows (prose + graphic / prose + table) ===== */
.lp-iceberg-row,
.lp-leapfrog-row,
.lp-posture-row {
    display: grid;
    grid-template-columns: 1fr 1fr;
    gap: 40px;
    align-items: center;
    padding-top: 28px;
    padding-bottom: 28px;
}

.lp-iceberg-prose,
.lp-leapfrog-prose,
.lp-posture-prose {
    display: flex;
    flex-direction: column;
    gap: 10px;
}

.lp-iceberg-image,
.lp-leapfrog-image {
    display: block;
    width: 100%;
    height: auto;
    border-radius: 12px;
    box-shadow: 0 4px 16px rgba(0, 0, 0, 0.08);
}

/* ===== Single Model: 4-row posture table ===== */
.lp-posture-table {
    width: 100%;
    border-collapse: collapse;
    font-family: var(--lp-font-sans);
    font-size: 15px;
    line-height: 1.5;
}

.lp-posture-table th,
.lp-posture-table td {
    padding: 14px 16px;
    text-align: left;
    border-bottom: 1px solid var(--lp-border);
    vertical-align: top;
}

.lp-posture-table tbody tr:last-child th,
.lp-posture-table tbody tr:last-child td {
    border-bottom: none;
}

.lp-posture-table thead th {
    font-weight: 600;
    color: var(--lp-text-muted);
    text-transform: uppercase;
    font-size: 12px;
    letter-spacing: 0.05em;
    border-bottom: 2px solid var(--lp-border);
    padding-top: 4px;
    padding-bottom: 12px;
}

.lp-posture-table tbody th {
    font-weight: 600;
    color: var(--lp-text);
    width: 22%;
}

.lp-posture-table tbody td {
    color: var(--lp-text);
}

.lp-posture-th--verilm {
    color: #1e40af !important;
}

.lp-posture-td--verilm {
    background: rgba(59, 130, 246, 0.06);
    color: #1e3a8a;
    font-weight: 500;
}

/* ===== Deep Research: single centered proof chart ===== */
.lp-dr-chart-single {
    display: flex;
    justify-content: center;
    padding-top: 12px;
    padding-bottom: 4px;
}

.lp-dr-chart-image {
    display: block;
    width: 100%;
    max-width: 1000px;
    height: auto;
    border-radius: 12px;
    box-shadow: 0 4px 16px rgba(0, 0, 0, 0.08);
}

/* Snapshot wrap + "Try a Live Version" overlay — positions a callout in the
   white-space band between the scorecard and the report body of the static
   Deep Research snapshot. Percentage-based top so it scales with image. */
.lp-dr-snapshot-wrap {
    position: relative;
    display: inline-block;
    width: 100%;
    max-width: 1000px;
}

.lp-dr-snapshot-overlay {
    position: absolute;
    top: 16%;
    left: 50%;
    transform: translateX(-50%);
    background: var(--lp-accent);
    color: #fff;
    padding: 10px 22px;
    border-radius: 6px;
    font-family: var(--lp-font-sans);
    font-size: 16px;
    font-weight: 600;
    letter-spacing: 0.01em;
    box-shadow: 0 4px 14px rgba(0, 0, 0, 0.2);
    pointer-events: none;
    white-space: nowrap;
}

.lp-dr-chart-caption {
    max-width: 900px;
    margin: 0 auto;
    text-align: center;
}

/* ===== Multiple right-side nav links (Home + About + Sign in) ===== */
.lp-nav-links {
    display: flex;
    gap: 32px;
    align-items: center;
}

.lp-nav-link {
    font-family: var(--lp-font-sans);
    font-size: 14px;
    color: var(--lp-text-muted);
    text-decoration: none;
}

.lp-nav-link:hover {
    color: var(--lp-text);
}

/* ===== About / Why VeriLM page ===== */
.lp-about-content {
    max-width: 900px;
    margin: 0 auto;
}

.lp-about-title {
    font-family: var(--lp-font-serif);
    font-size: 36px;
    font-weight: 500;
    line-height: 1.2;
    margin: 0 0 32px;
    color: var(--lp-text);
}

.lp-about-para {
    font-family: var(--lp-font-serif);
    font-size: 18px;
    line-height: 1.7;
    color: var(--lp-text-body);
    margin: 0 0 20px;
}

.lp-about-list {
    font-family: var(--lp-font-serif);
    font-size: 18px;
    line-height: 1.7;
    color: var(--lp-text-body);
    margin: 0 0 24px;
    padding-left: 24px;
}

.lp-about-list li {
    margin-bottom: 16px;
}

/* ===== Inline link inside hero-desc prose ===== */
.lp-inline-link {
    color: var(--lp-accent);
    text-decoration: underline;
    text-decoration-color: rgba(45, 90, 61, 0.4);
    text-underline-offset: 3px;
}

.lp-inline-link:hover {
    text-decoration-color: var(--lp-accent);
}

/* ===== Methodology page ===== */
.lp-meth-section-h2 {
    font-family: var(--lp-font-serif);
    font-size: 26px;
    font-weight: 500;
    margin: 48px 0 20px;
    color: var(--lp-text);
}

.lp-meth-section-h3 {
    font-family: var(--lp-font-serif);
    font-size: 20px;
    font-weight: 500;
    margin: 28px 0 12px;
    color: var(--lp-text);
}

/* Vertical tabs for the 4-step grading process */
.lp-vtabs {
    display: grid;
    grid-template-columns: 240px 1fr;
    gap: 32px;
    margin: 12px 0 24px;
}

.lp-vtabs-labels {
    display: flex;
    flex-direction: column;
    gap: 4px;
    border-right: 1px solid var(--lp-border);
    padding-right: 16px;
}

.lp-vtab-label {
    display: flex;
    align-items: center;
    gap: 12px;
    padding: 12px 14px;
    background: transparent;
    border: none;
    border-radius: 6px;
    cursor: pointer;
    text-align: left;
    font-family: var(--lp-font-sans);
    color: var(--lp-text-muted);
    transition: background 0.15s, color 0.15s;
}

.lp-vtab-label:hover {
    background: rgba(0, 0, 0, 0.03);
    color: var(--lp-text);
}

.lp-vtab-label--active {
    background: rgba(45, 90, 61, 0.08);
    color: var(--lp-accent);
}

.lp-vtab-num {
    display: inline-flex;
    align-items: center;
    justify-content: center;
    width: 28px;
    height: 28px;
    border-radius: 50%;
    background: var(--lp-border);
    color: var(--lp-text);
    font-weight: 600;
    font-size: 14px;
    flex-shrink: 0;
    transition: background 0.15s, color 0.15s;
}

.lp-vtab-label--active .lp-vtab-num {
    background: var(--lp-accent);
    color: #fff;
}

.lp-vtab-title {
    font-size: 15px;
    font-weight: 500;
}

.lp-vtabs-content {
    min-height: 180px;
}

.lp-vtab-panel {
    display: none;
}

.lp-vtab-panel--active {
    display: block;
}

.lp-vtab-h3 {
    font-family: var(--lp-font-serif);
    font-size: 22px;
    font-weight: 500;
    margin: 0 0 12px;
    color: var(--lp-text);
}

/* Verdicts table */
.lp-verdicts-table {
    width: 100%;
    border-collapse: collapse;
    font-family: var(--lp-font-serif);
    font-size: 16px;
    line-height: 1.6;
    margin: 12px 0 24px;
}

.lp-verdicts-table thead th {
    font-family: var(--lp-font-sans);
    font-size: 12px;
    font-weight: 600;
    text-transform: uppercase;
    letter-spacing: 0.05em;
    color: var(--lp-text-muted);
    text-align: left;
    padding: 8px 12px;
    border-bottom: 2px solid var(--lp-border);
}

.lp-verdicts-table tbody th,
.lp-verdicts-table tbody td {
    padding: 14px 12px;
    text-align: left;
    vertical-align: top;
    border-bottom: 1px solid var(--lp-border);
    color: var(--lp-text-body);
}

.lp-verdicts-table tbody tr:last-child th,
.lp-verdicts-table tbody tr:last-child td {
    border-bottom: none;
}

.lp-verdict-cell {
    font-weight: 600;
    white-space: nowrap;
    width: 36%;
}

.lp-verdict-verified {
    color: #1e5d33;
}

.lp-verdict-unsupported {
    color: #b03a2e;
}

.lp-verdict-unresolved {
    color: #6b7280;
}

/* Accuracy formula box — LaTeX-style fraction layout */
.lp-formula-box {
    background: var(--lp-showcase-bg);
    border: 1px solid var(--lp-border);
    border-radius: 8px;
    padding: 28px 28px;
    margin: 12px 0 20px;
    text-align: center;
}

.lp-formula {
    display: inline-flex;
    align-items: center;
    gap: 14px;
    font-family: var(--lp-font-serif);
    font-size: 24px;
    color: var(--lp-text);
    font-style: italic;
    margin: 0;
}

.lp-formula-lhs {
    /* "Accuracy" left of equals sign */
}

.lp-formula-eq {
    font-style: normal;
}

.lp-formula-frac {
    display: inline-flex;
    flex-direction: column;
    /* stretch (not center) so the numerator's border-bottom spans the full
       width of the wider denominator — proper LaTeX fraction-bar behavior. */
    align-items: stretch;
    line-height: 1.2;
}

.lp-formula-num {
    padding: 0 14px 6px;
    text-align: center;
    border-bottom: 1.5px solid var(--lp-text);
}

.lp-formula-den {
    padding: 6px 14px 0;
    text-align: center;
}

/* Methodology page charts */
.lp-meth-chart-image {
    display: block;
    width: 100%;
    height: auto;
    border-radius: 8px;
    margin: 16px 0;
    box-shadow: 0 2px 12px rgba(0, 0, 0, 0.06);
}

/* Methodology footnote */
.lp-meth-footnote {
    font-family: var(--lp-font-sans);
    font-size: 14px;
    line-height: 1.6;
    color: var(--lp-text-muted);
    margin: 32px 0 24px;
    padding: 16px 20px;
    background: var(--lp-showcase-bg);
    border-left: 3px solid var(--lp-border);
    border-radius: 4px;
}

/* Responsive: stack vertical tabs on narrow viewports */
@media (max-width: 768px) {
    .lp-vtabs {
        grid-template-columns: 1fr;
    }
    .lp-vtabs-labels {
        flex-direction: row;
        overflow-x: auto;
        border-right: none;
        border-bottom: 1px solid var(--lp-border);
        padding-right: 0;
        padding-bottom: 12px;
    }
    .lp-vtab-label {
        flex-shrink: 0;
    }
}

/* Responsive: stack rows on narrow viewports */
@media (max-width: 900px) {
    .lp-iceberg-row,
    .lp-leapfrog-row,
    .lp-posture-row {
        grid-template-columns: 1fr;
        gap: 24px;
    }
}

/* ===== Comparison section ===== */
.lp-comparison {
    padding-top: 64px;
    padding-bottom: 64px;
    border-top: 1px solid var(--lp-border);
}

.lp-comparison-framing {
    font-family: var(--lp-font-sans);
    font-size: 16px;
    color: var(--lp-text-muted);
    line-height: 1.6;
    margin: 0 0 28px;
}

.lp-compare-table {
    width: 100%;
    border-collapse: separate;
    border-spacing: 4px;
    font-family: var(--lp-font-sans);
    table-layout: fixed;
}

.lp-compare-table th,
.lp-compare-table td {
    padding: 12px 14px;
    vertical-align: top;
    text-align: left;
    border-radius: 6px;
    font-size: 13px;
    line-height: 1.45;
}

/* Top corner cell (no header text, no background fill) */
.lp-ct-corner {
    background: transparent;
}

/* Header row */
.lp-compare-table thead tr:first-child th {
    background: #2a2a28;
    color: #fff;
    font-weight: 600;
    font-size: 12px;
    letter-spacing: 0.02em;
}
.lp-compare-table thead tr:first-child th.lp-ct-corner {
    background: transparent;
}

/* Column-description row */
.lp-ct-desc-row th,
.lp-ct-desc-row td {
    background: #f3f1ec;
    color: var(--lp-text-muted);
    font-style: italic;
    font-size: 12px;
    font-weight: 400;
}

/* Product / Tier column (left-most) */
.lp-ct-product {
    background: #e9e5dc;
    color: var(--lp-text);
    font-weight: 600;
    font-size: 14px;
    font-style: normal;
}
.lp-ct-product--external {
    background: #d8d3c8;  /* slightly darker — signals "not a VeriLM tier" */
}

/* Cell bodies */
.lp-ct-cell {
    font-weight: 500;
}
.lp-ct-mark {
    display: inline-block;
    width: 18px;
    font-weight: 700;
    margin-right: 4px;
}
.lp-ct-label {
    font-weight: 600;
}
.lp-ct-desc {
    display: block;
    font-weight: 400;
    font-size: 12px;
    color: inherit;
    opacity: 0.85;
    margin-top: 4px;
    line-height: 1.4;
}

/* State cells */
.lp-ct-yes {
    background: #dff3e3;
    color: #1e5d33;
}
.lp-ct-no {
    background: #f8d7d7;
    color: #8a1f24;
}
.lp-ct-partial {
    background: #fbe9c8;
    color: #7a521b;
}

/* Smaller screens — let the table scroll horizontally */
@media (max-width: 920px) {
    .lp-comparison {
        padding-left: 24px;
        padding-right: 24px;
    }
    .lp-compare-table {
        display: block;
        overflow-x: auto;
        white-space: nowrap;
    }
}

/* ===== Footer ===== */
.lp-footer {
    border-top: 1px solid var(--lp-border);
    padding: 24px 48px;
    max-width: var(--lp-page-width);
    margin: 0 auto;
    display: flex;
    justify-content: space-between;
    align-items: center;
}

.lp-footer-copyright {
    font-family: var(--lp-font-sans);
    font-size: 13px;
    color: var(--lp-text-faint);
}

.lp-footer-tagline {
    font-family: var(--lp-font-sans);
    font-size: 13px;
    color: var(--lp-text-faintest);
}

/* ===== Modal ===== */
.lp-modal-overlay {
    position: fixed;
    inset: 0;
    background: rgba(0,0,0,0.4);
    display: flex;
    align-items: center;
    justify-content: center;
    z-index: 1000;
    opacity: 0;
    pointer-events: none;
    transition: opacity 0.2s;
}

.lp-modal-overlay--visible {
    opacity: 1;
    pointer-events: auto;
}

.lp-modal {
    background: #fff;
    border-radius: 12px;
    padding: 40px 36px;
    max-width: 460px;
    width: 90%;
    position: relative;
}

.lp-modal-close {
    position: absolute;
    top: 16px;
    right: 16px;
    background: none;
    border: none;
    font-size: 20px;
    color: var(--lp-text-faint);
    cursor: pointer;
}

.lp-modal-close:hover {
    color: var(--lp-text);
}

.lp-modal-title {
    font-family: var(--lp-font-sans);
    font-size: 20px;
    font-weight: 600;
    margin-bottom: 8px;
    color: var(--lp-text);
}

.lp-modal-subtitle {
    font-family: var(--lp-font-sans);
    font-size: 14px;
    color: #888;
    margin-bottom: 28px;
    line-height: 1.5;
}

.lp-form-fields {
    display: flex;
    flex-direction: column;
    gap: 18px;
}

.lp-form-label {
    font-family: var(--lp-font-sans);
    font-size: 13px;
    font-weight: 500;
    color: #555;
    display: block;
    margin-bottom: 6px;
}

.lp-form-input,
.lp-form-textarea {
    width: 100%;
    padding: 10px 14px;
    border: 1px solid #ddd;
    border-radius: 6px;
    font-size: 14px;
    font-family: var(--lp-font-sans);
    outline: none;
    box-sizing: border-box;
    transition: border-color 0.2s;
}

.lp-form-input:focus,
.lp-form-textarea:focus {
    border-color: var(--lp-accent);
}

.lp-form-textarea {
    resize: vertical;
}

.lp-form-submit {
    font-family: var(--lp-font-sans);
    font-size: 15px;
    font-weight: 500;
    padding: 12px 24px;
    background: var(--lp-accent);
    color: #fff;
    border: none;
    border-radius: 6px;
    cursor: pointer;
    margin-top: 4px;
    transition: background 0.2s;
}

.lp-form-submit:hover {
    background: var(--lp-accent-hover);
}

.lp-modal-success {
    text-align: center;
    padding: 20px 0;
    display: none;
}

.lp-modal-success-icon {
    font-size: 32px;
    margin-bottom: 16px;
}

.lp-modal-success h3 {
    font-family: var(--lp-font-sans);
    font-size: 18px;
    font-weight: 600;
    margin-bottom: 8px;
    color: var(--lp-text);
}

.lp-modal-success p {
    font-family: var(--lp-font-sans);
    font-size: 14px;
    color: #888;
    line-height: 1.6;
}

/* ===== Responsive: Tablet (max-width: 768px) ===== */
@media (max-width: 768px) {
    .lp-nav {
        padding: 16px 24px;
    }

    .lp-tabs-container {
        padding: 0 24px;
    }

    .lp-research-h1 {
        font-size: 28px;
    }

    .lp-research-iframe-wrap {
        padding: 0 24px 40px;
    }

    .lp-research-iframe {
        height: 1000px;
    }

    .lp-coming-soon {
        flex-direction: column;
        align-items: flex-start;
    }

    .lp-section {
        padding: 36px 24px;
    }

    .lp-divider {
        padding: 0 24px;
    }

    .lp-hero {
        padding-top: 40px;
        padding-bottom: 16px;
    }

    .lp-hero-title {
        font-size: 36px;
    }

    .lp-how-steps {
        flex-direction: column;
        gap: 32px;
    }

    .lp-step {
        padding-left: 0;
        padding-right: 0;
        border-left: none;
        border-top: 1px solid var(--lp-border);
        padding-top: 24px;
    }

    .lp-step:first-child {
        border-top: none;
        padding-top: 0;
    }

    .lp-showcase {
        max-width: 100%;
        padding-left: 24px;
        padding-right: 24px;
    }

    .lp-showcase-two-up {
        grid-template-columns: 1fr;
    }

    .lp-proof-cards {
        grid-template-columns: 1fr;
    }

    .lp-trust-body {
        padding: 20px 24px 20px;
    }

    .lp-trust-footer {
        padding: 14px 24px 18px;
    }

    .lp-where-grid {
        grid-template-columns: 1fr;
        gap: 28px;
    }

    .lp-capabilities-grid {
        grid-template-columns: 1fr;
    }

    .lp-footer {
        padding: 24px;
    }
}

/* ===== Responsive: Mobile (max-width: 480px) ===== */
@media (max-width: 480px) {
    .lp-nav {
        padding: 14px 16px;
    }

    .lp-tabs-container {
        padding: 0 16px;
    }

    .lp-tab {
        font-size: 13px;
        padding: 8px 14px;
    }

    .lp-research-h1 {
        font-size: 24px;
    }

    .lp-research-iframe-wrap {
        padding: 0 16px 32px;
    }

    .lp-research-iframe {
        height: 800px;
    }

    .lp-section {
        padding: 28px 16px;
    }

    .lp-divider {
        padding: 0 16px;
    }

    .lp-hero {
        padding-top: 28px;
        padding-bottom: 12px;
    }

    .lp-hero-title {
        font-size: 30px;
    }

    .lp-hero-desc {
        font-size: 17px;
    }

    .lp-cta-row {
        flex-direction: column;
        align-items: stretch;
    }

    .lp-btn-primary {
        text-align: center;
    }

    .lp-btn-secondary {
        text-align: center;
    }

    .lp-showcase {
        padding-left: 16px;
        padding-right: 16px;
    }

    .lp-showcase-header {
        padding: 20px 16px 16px;
    }

    .lp-showcase-footer {
        padding: 12px 16px;
    }

    .lp-trust-body {
        padding: 16px 16px 16px;
    }

    .lp-trust-title {
        font-size: 24px;
    }

    .lp-trust-table {
        font-size: 13px;
    }

    .lp-trust-th {
        font-size: 10px;
        padding: 8px 6px;
    }

    .lp-trust-cell,
    .lp-trust-model {
        padding: 10px 6px;
    }

    .lp-trust-model--verilm {
        padding: 12px 6px 12px 0;
    }

    .lp-trust-cell--verilm {
        padding: 12px 6px;
    }

    .lp-trust-mono {
        font-size: 12px;
    }

    .lp-trust-footer {
        padding: 12px 16px 16px;
    }

    .lp-callout {
        padding: 16px 18px;
        gap: 14px;
    }

    .lp-footer {
        flex-direction: column;
        gap: 8px;
        padding: 20px 16px;
    }

    .lp-modal {
        width: 95%;
        padding: 28px 20px;
    }

    .lp-bottom-cta-text {
        font-size: 17px;
    }

    .lp-problem-text {
        font-size: 16px;
    }
}