:root {
    --bg: #0a0e14;
    --bg-card: #1f2937;
    --border: #374151;
    --border-subtle: #1a2332;
    --text: #e6edf3;
    --text-secondary: #9ca3af;
    --text-muted: #7a9ab8;
    --link: #60a5fa;
    --accent: #7ee787;
    --green: #238636;
    --green-text: #6ee7b7;
    --green-bg: #065f46;
    --red: #da3633;
    --red-text: #fca5a5;
    --red-bg: #7f1d1d;
    --amber: #d29922;
    --amber-text: #fde68a;
    --amber-bg: #713f12;
    --gray: #484f58;
    --gray-text: #9ca3af;
    --gray-bg: #374151;
    --blue: #1f6feb;
    --blue-text: #93c5fd;
    --blue-bg: #1e3a5f;
    --tag-bg: #1e3a5f;
    --tag-text: #93c5fd;
    --max-width: 960px;
    --font: -apple-system, BlinkMacSystemFont, "Segoe UI", Helvetica, Arial, sans-serif;
    --font-mono: 'JetBrains Mono', ui-monospace, SFMono-Regular, "SF Mono", Menlo, monospace;
    --font-serif: Georgia, 'Times New Roman', serif;
}

* { margin: 0; padding: 0; box-sizing: border-box; }

body {
    background: var(--bg);
    color: var(--text);
    font-family: var(--font);
    font-size: 15px;
    line-height: 1.6;
}

a { color: var(--link); text-decoration: none; }
a:hover { text-decoration: underline; }

.card-link { text-decoration: none; color: inherit; }
.card-link:hover { text-decoration: none; }

.empty-state { color: var(--text-secondary); }

/* Navigation */
.site-nav { border-bottom: 1px solid var(--border-subtle); padding: 12px 24px; }
.nav-inner { max-width: var(--max-width); margin: 0 auto; display: flex; justify-content: space-between; align-items: center; }
.nav-logo { font-weight: 700; font-size: 14px; color: var(--accent); font-family: var(--font-mono); text-decoration: none; }
.nav-logo:hover { text-decoration: none; opacity: 0.9; }
.nav-links { display: flex; gap: 20px; font-size: 13px; font-family: var(--font-mono); align-items: center; }
.nav-links a { color: var(--text-muted); }
.nav-links a:hover { color: var(--text); text-decoration: none; }
.nav-github { color: var(--text-muted); display: flex; align-items: center; }
.nav-github:hover { color: var(--text); }
.nav-github svg { fill: currentColor; }

/* Layout */
.content { max-width: var(--max-width); margin: 0 auto; padding: 32px 24px; }

/* Footer */
.site-footer { border-top: 1px solid var(--border-subtle); padding: 24px; text-align: center; color: var(--text-muted); font-size: 12px; font-family: var(--font-mono); }
.footer-inner { max-width: var(--max-width); margin: 0 auto; }

/* Badges — all 8 verdict categories */
.badge { display: inline-block; padding: 3px 10px; border-radius: 4px; font-weight: 700; font-size: 11px; text-transform: uppercase; font-family: var(--font-mono); }
.badge-proved { background: var(--green); color: white; }
.badge-proved-qualified { background: var(--amber-bg); color: var(--amber-text); }
.badge-disproved { background: var(--red-bg); color: var(--red-text); }
.badge-disproved-qualified { background: var(--red-bg); color: var(--red-text); }
.badge-partial { background: var(--amber-bg); color: var(--amber-text); }
.badge-undetermined { background: var(--gray-bg); color: var(--gray-text); }
.badge-supported { background: var(--blue-bg); color: var(--blue-text); }
.badge-supported-qualified { background: var(--blue-bg); color: var(--blue-text); }

/* Verdict symbols — scoped to verdict-banner only */
.verdict-banner .badge-proved::before { content: "\2713 "; }
.verdict-banner .badge-proved-qualified::before { content: "\2713 "; }
.verdict-banner .badge-disproved::before { content: "\2717 "; }
.verdict-banner .badge-disproved-qualified::before { content: "\2717 "; }
.verdict-banner .badge-partial::before { content: "\25D0 "; }
.verdict-banner .badge-undetermined::before { content: "? "; }
.verdict-banner .badge-supported::before { content: "\2713 "; }
.verdict-banner .badge-supported-qualified::before { content: "\2713 "; }

/* Tags */
.tag { display: inline-block; background: var(--tag-bg); color: var(--tag-text); font-size: 11px; padding: 3px 10px; border-radius: 14px; }

/* Hero */
.hero { text-align: center; padding: 48px 0 32px; }
.hero h1 { font-size: 28px; font-weight: 700; font-family: var(--font-mono); margin-bottom: 8px; }
.hero-subtitle { color: var(--text-muted); font-size: 13px; font-family: var(--font-mono); margin-bottom: 24px; }
.stats { display: flex; justify-content: center; gap: 48px; margin-bottom: 24px; }
.stat { text-align: center; }
.stat-value { font-size: 32px; font-weight: 700; color: var(--accent); font-family: var(--font-mono); }
.stat-label { font-size: 10px; color: var(--text-muted); text-transform: uppercase; letter-spacing: 2px; font-family: var(--font-mono); margin-top: 2px; }
.cta { display: inline-block; padding: 8px 20px; background: var(--green); color: white; border-radius: 6px; font-weight: 600; font-family: var(--font-mono); font-size: 13px; }
.cta:hover { text-decoration: none; opacity: 0.9; }
.cta-row { display: flex; justify-content: center; gap: 12px; flex-wrap: wrap; }
.cta-secondary { background: var(--bg-card); border: 1px solid var(--border); color: var(--text-secondary); }

/* Trust line */
.hero-trust { color: var(--text-secondary); font-size: 12px; font-family: var(--font-mono); margin-bottom: 24px; }

/* Secondary action links (not buttons) */
.cta-links { display: flex; justify-content: center; gap: 20px; margin-top: 12px; }
.cta-links a { color: var(--text-secondary); font-size: 12px; font-family: var(--font-mono); }
.cta-links a:hover { color: var(--text); }

/* GitHub stars badge */
.github-stars { display: flex; justify-content: center; margin-top: 16px; }
.github-stars img { height: 20px; }

/* Hero live proof demo (progressive enhancement) */
.hero-demo {
    display: flex;
    gap: 24px;
    align-items: flex-start;
    text-align: left;
    max-width: 640px;
    margin: 0 auto 24px;
}
.hero-pipeline-vertical {
    display: flex;
    flex-direction: column;
    gap: 8px;
    flex-shrink: 0;
    padding-top: 4px;
}
.hero-pipeline-vertical .pipeline-icon {
    width: 36px;
    height: 36px;
    border: 1px solid var(--border);
    border-radius: 8px;
    display: flex;
    align-items: center;
    justify-content: center;
    font-size: 16px;
    background: var(--bg-card);
    margin-bottom: 0;
}
.hero-pipeline-vertical .pipeline-icon.verdict-icon {
    border-color: var(--green);
    background: var(--green-bg);
    color: var(--accent);
}
.hero-pipeline-vertical .pipeline-arrow-down {
    text-align: center;
    color: var(--border);
    font-size: 10px;
    line-height: 1;
}
.hero-demo-proof {
    flex: 1;
}
.hero-demo-claim {
    font-family: var(--font-serif);
    font-size: 15px;
    color: var(--text);
    line-height: 1.6;
    margin-bottom: 12px;
    border-left: 2px solid var(--border);
    padding-left: 12px;
}
.hero-demo-label {
    color: var(--text-muted);
    font-family: var(--font-mono);
    font-size: 11px;
    display: block;
    margin-bottom: 4px;
}
.hero-demo-meta {
    display: flex;
    gap: 8px;
    align-items: center;
    margin-bottom: 12px;
    flex-wrap: wrap;
}
.hero-demo-sources {
    font-size: 12px;
    color: var(--text-secondary);
    line-height: 1.5;
}
.hero-demo-link {
    color: var(--link);
    font-size: 12px;
    font-family: var(--font-mono);
    margin-top: 8px;
    display: inline-block;
}

@media (max-width: 640px) {
    .hero-demo {
        flex-direction: column;
        align-items: stretch;
    }
    .hero-pipeline-vertical {
        display: none;
    }
}

/* How-it-works pipeline */
.pipeline { display: flex; align-items: stretch; gap: 0; margin-bottom: 32px; max-width: 720px; margin-left: auto; margin-right: auto; }
.pipeline-step { flex: 1; text-align: center; position: relative; }
.pipeline-icon { font-size: 20px; margin-bottom: 6px; }
.pipeline-label { font-size: 11px; font-family: var(--font-mono); color: var(--text); font-weight: 700; margin-bottom: 4px; }
.pipeline-desc { font-size: 10px; font-family: var(--font-mono); color: var(--text-muted); line-height: 1.4; }
.pipeline-arrow { display: flex; align-items: center; color: var(--accent); font-size: 18px; font-family: var(--font-mono); padding: 0 4px; margin-top: -8px; }

/* Interactive pipeline accordion (enhanced state) */
.pipeline-accordion { max-width: 720px; margin: 0 auto 32px; }
.pipeline-step-row {
    display: flex; align-items: center; gap: 12px;
    padding: 10px 14px; cursor: pointer;
    border: 1px solid var(--border-subtle); border-radius: 6px;
    margin-bottom: 4px; transition: border-color 0.2s;
}
.pipeline-step-row:hover,
.pipeline-step-row:focus-visible { border-color: var(--accent); outline: none; }
.pipeline-step-row .pipeline-icon { margin-bottom: 0; min-width: 28px; text-align: center; }
.pipeline-step-row .pipeline-label { font-weight: 700; }
.pipeline-step-row .pipeline-chevron { margin-left: auto; font-family: var(--font-mono); color: var(--text-muted); transition: transform 0.2s; }
.pipeline-step-row[aria-expanded="true"] .pipeline-chevron { transform: rotate(90deg); }
.pipeline-step-content {
    overflow: hidden; max-height: 0; opacity: 0;
    transition: max-height 0.35s ease, opacity 0.25s ease;
    padding: 0 14px; margin-bottom: 4px;
}
.pipeline-step-content[data-open="true"] {
    max-height: 400px; opacity: 1; padding: 12px 14px;
}
.pipeline-step-content pre {
    background: var(--bg-alt); border: 1px solid var(--border-subtle);
    border-radius: 4px; padding: 10px 12px; overflow-x: auto;
    font-size: 12px; line-height: 1.5;
}
.pipeline-step-content .source-badge {
    display: inline-block; font-size: 10px; padding: 2px 6px;
    border: 1px solid var(--border); border-radius: 3px;
    font-family: var(--font-mono); color: var(--text-muted);
    margin-left: 6px;
}
.pipeline-step-content .cit-row {
    display: flex; gap: 8px; align-items: baseline;
    font-size: 12px; line-height: 1.6; margin-bottom: 4px;
}
.pipeline-step-content .cit-row .fact-id {
    font-family: var(--font-mono); color: var(--text-muted);
    min-width: 24px;
}

/* Myth-busting cards */
.myth-subtext { font-size: 12px; font-family: var(--font-mono); color: var(--text-muted); margin-bottom: 16px; }
#myth-container { display: grid; grid-template-columns: repeat(auto-fill, minmax(260px, 1fr)); gap: 16px; margin-bottom: 24px; }
.myth-card {
    border: 1px solid var(--border-subtle); border-radius: 8px;
    padding: 16px; cursor: default;
    transition: border-color 0.3s, background-color 0.3s;
}
.myth-card-thumb { float: right; width: 64px; height: 64px; border-radius: 6px; margin: 0 0 8px 12px; object-fit: cover; }
.myth-card-claim { font-family: Georgia, 'Times New Roman', serif; font-size: 15px; line-height: 1.4; margin-bottom: 8px; color: var(--text); }
.myth-card-meta { margin-bottom: 8px; }
.myth-card-reveal-state { margin-bottom: 6px; }
.myth-card-reveal-state .badge-hidden { font-size: 10px; color: var(--text-muted); border: 1px dashed var(--border); padding: 2px 8px; border-radius: 3px; }
.myth-card-summary { font-size: 12px; font-family: var(--font-mono); color: var(--text-muted); line-height: 1.5; margin-bottom: 8px; }
.myth-card-link { font-size: 12px; font-family: var(--font-mono); color: var(--accent); }

/* Myth card — JS-enhanced hidden states */
.myth-card.myth-enhanced .myth-card-verdict-badge,
.myth-card.myth-enhanced .myth-card-summary { opacity: 0; transition: opacity 0.3s; }
.myth-card.myth-enhanced .badge-hidden { display: inline-block; }
.myth-card.myth-enhanced.myth-revealed .myth-card-verdict-badge { opacity: 1; }
.myth-card.myth-enhanced.myth-revealed .myth-card-summary { opacity: 1; }
.myth-card.myth-enhanced.myth-revealed .badge-hidden { display: none; }
.myth-card.myth-enhanced.myth-revealed { cursor: pointer; }

/* Verdict-colored borders on reveal */
.myth-card.myth-revealed[data-verdict-category="disproved"],
.myth-card.myth-revealed[data-verdict-category="disproved-qualified"] { border-color: var(--red, #e05252); background: rgba(224,82,82,0.04); }
.myth-card.myth-revealed[data-verdict-category="proved"],
.myth-card.myth-revealed[data-verdict-category="proved-qualified"] { border-color: var(--green); background: var(--green-bg); }

.myth-bottom-link { text-align: center; margin-bottom: 32px; }
.myth-bottom-link a { font-size: 12px; font-family: var(--font-mono); color: var(--accent); }

/* Section headings */
.section-heading { font-size: 11px; font-family: var(--font-mono); color: var(--accent); text-transform: uppercase; letter-spacing: 1.5px; margin: 40px 0 12px; padding-bottom: 8px; border-bottom: 1px solid var(--border-subtle); }

/* Proof cards */
.proof-card { background: var(--bg-card); border: 1px solid var(--border); border-radius: 10px; padding: 16px 18px; margin-bottom: 12px; transition: border-color 0.15s; }
.proof-card:hover { border-color: var(--text-muted); }
.proof-card h3 { font-size: 14px; font-family: var(--font-serif); font-weight: 400; line-height: 1.5; margin-bottom: 8px; }
.proof-card .meta { display: flex; gap: 8px; align-items: center; flex-wrap: wrap; }
.proof-card .date { color: var(--text-muted); font-size: 11px; font-family: var(--font-mono); margin-left: auto; }
.proof-card .source-line { color: var(--text-secondary); font-size: 11px; font-family: var(--font-mono); margin-top: 8px; }

/* Featured proof hidden state */
.featured-hidden { display: none; }

/* Verdict banners */
.verdict-banner { padding: 12px 16px; border-radius: 8px; display: flex; align-items: center; gap: 12px; margin-bottom: 16px; }
.verdict-banner.proved { background: var(--green-bg); border: 1px solid var(--green); }
.verdict-banner.proved .verdict-info { color: var(--green-text); }
.verdict-banner.disproved { background: var(--red-bg); border: 1px solid var(--red); }
.verdict-banner.disproved .verdict-info { color: var(--red-text); }
.verdict-banner.partial, .verdict-banner.proved-qualified, .verdict-banner.disproved-qualified { background: var(--amber-bg); border: 1px solid var(--amber); }
.verdict-banner.partial .verdict-info, .verdict-banner.proved-qualified .verdict-info, .verdict-banner.disproved-qualified .verdict-info { color: var(--amber-text); }
.verdict-banner.undetermined { background: var(--bg-card); border: 1px solid var(--gray); }
.verdict-banner.undetermined .verdict-info { color: var(--gray-text); }
.verdict-banner.supported, .verdict-banner.supported-qualified { background: var(--blue-bg); border: 1px solid var(--blue); }
.verdict-banner.supported .verdict-info, .verdict-banner.supported-qualified .verdict-info { color: var(--blue-text); }
.verdict-info { font-size: 12px; font-family: var(--font-mono); }

/* Trust bar */
.trust-bar { padding: 12px 14px; background: var(--bg-card); border: 1px solid var(--border); border-radius: 8px; font-size: 11px; line-height: 1.6; color: var(--text-secondary); margin-bottom: 20px; }
.trust-bar a { color: var(--link); }
.trust-bar .trust-icon { color: var(--accent); margin-right: 6px; }

/* Proof page elements */
.proof-thumbnail { float: right; width: 120px; height: 120px; border-radius: 8px; margin: 0 0 12px 16px; }
.proof-title { font-size: 18px; font-family: var(--font-serif); font-weight: 400; line-height: 1.4; margin-bottom: 8px; }
.proof-meta { margin-bottom: 28px; }
.proof-meta .date-info { color: var(--text-muted); font-size: 11px; font-family: var(--font-mono); }

/* Breadcrumb */
.breadcrumb { font-size: 11px; color: var(--text-muted); font-family: var(--font-mono); margin-bottom: 16px; }
.breadcrumb a { color: var(--link); }

/* Proof content (markdown-rendered) */
.proof-content { font-size: 13px; line-height: 1.7; color: #c9d1d9; }
.proof-content p { margin-bottom: 10px; }
.proof-content ul { padding-left: 20px; margin-bottom: 12px; }
.proof-content table { width: 100%; border-collapse: collapse; margin: 12px 0; }
.proof-content th, .proof-content td { padding: 6px 8px; border-bottom: 1px solid var(--border-subtle); text-align: left; font-size: 12px; }
.proof-content th { color: var(--text-muted); font-family: var(--font-mono); font-size: 11px; text-transform: uppercase; letter-spacing: 0.5px; }
.proof-content pre { background: var(--bg-card); padding: 12px; border-radius: 6px; overflow-x: auto; font-family: var(--font-mono); font-size: 12px; }
.proof-content code { font-family: var(--font-mono); font-size: 12px; }
.proof-content p code { background: var(--bg-card); padding: 2px 6px; border-radius: 3px; }
.proof-content a { color: var(--link); }

/* Static content (methodology, submit) — markdown-rendered headings */
.static-content { max-width: 720px; }
.static-content h1 { font-size: 22px; font-family: var(--font-mono); margin-bottom: 24px; }
.static-content h2,
.static-content .proof-content h2 { font-size: 11px; font-family: var(--font-mono); color: var(--accent); text-transform: uppercase; letter-spacing: 1.5px; margin-top: 32px; margin-bottom: 12px; padding-bottom: 8px; border-bottom: 1px solid var(--border-subtle); }
.static-content h3,
.static-content .proof-content h3 { font-size: 14px; font-family: var(--font-mono); color: var(--text); margin-top: 20px; margin-bottom: 8px; }
.static-content p { margin-bottom: 12px; }
.static-content ul, .static-content ol { margin-bottom: 12px; padding-left: 24px; }
.static-content li { margin-bottom: 4px; }

/* Proof content headings (proof detail body — NOT inside .static-content) */
.proof-content h2 { font-size: 11px; font-family: var(--font-mono); color: var(--accent); text-transform: uppercase; letter-spacing: 1.5px; margin-top: 24px; margin-bottom: 10px; padding-bottom: 8px; border-bottom: 1px solid var(--border-subtle); }
.proof-content h3 { font-size: 14px; font-family: var(--font-mono); color: var(--text); margin-top: 16px; margin-bottom: 8px; }

/* Audit trail */
.audit-section { border: 1px solid var(--border); border-radius: 6px; margin-bottom: 8px; overflow: hidden; }
.audit-header { padding: 10px 14px; background: var(--bg-card); display: flex; justify-content: space-between; align-items: center; cursor: pointer; font-size: 12px; font-family: var(--font-mono); color: #c9d1d9; }
.audit-header:hover { background: #1c2129; }
.audit-header .toggle { color: var(--text-muted); font-size: 12px; }
.audit-body { display: none; padding: 14px; font-size: 13px; line-height: 1.7; color: #c9d1d9; overflow-x: auto; }
.audit-body.open { display: block; }

/* Animated audit accordion (progressive enhancement).
   Uses visibility:hidden + max-height:0 instead of display:none so we can
   animate, while keeping collapsed content out of the tab order via
   inert attribute (set by JS). */
.audit-body.animated {
    display: block;
    max-height: 0;
    overflow: hidden;
    visibility: hidden;
    transition: max-height 0.3s ease-out, visibility 0s 0.3s, overflow 0s 0.3s;
    padding: 0 14px;
}
.audit-body.animated.open {
    padding: 14px;
    visibility: visible;
    overflow-x: auto;  /* restore horizontal scrolling for wide tables/code blocks */
    overflow-y: visible;
    transition: max-height 0.3s ease-out, visibility 0s 0s, overflow 0s 0s;
}

/* Citation verification summary */
.citation-summary-bar { margin-left: auto; display: flex; gap: 8px; align-items: center; flex-wrap: wrap; }
.cs-stat { font-size: 11px; padding: 2px 8px; border-radius: 3px; font-family: var(--font-mono); white-space: nowrap; }
.cs-clean { background: var(--green-bg); color: var(--green-text); }
.cs-notice { background: var(--amber-bg); color: var(--amber-text); }
.cs-warning { background: var(--red-bg); color: var(--red-text); }
.cs-flag-count { font-size: 11px; color: var(--amber-text); font-family: var(--font-mono); white-space: nowrap; }

.cs-all-clean { color: var(--text-secondary); font-size: 13px; margin: 0; }
.cs-intro { color: var(--text-secondary); font-size: 13px; margin: 0 0 12px 0; }

.cs-flagged-item { padding: 8px 0; border-bottom: 1px solid var(--border-subtle); }
.cs-flagged-item:last-child { border-bottom: none; }
.cs-flagged-header { display: flex; align-items: center; gap: 8px; font-size: 13px; flex-wrap: wrap; }
.cs-flagged-id { font-family: var(--font-mono); color: var(--text-muted); font-size: 12px; min-width: 28px; }
.cs-flagged-status { font-family: var(--font-mono); font-size: 11px; padding: 1px 6px; border-radius: 3px; }
.cs-status-verified { background: var(--green-bg); color: var(--green-text); }
.cs-status-partial { background: var(--amber-bg); color: var(--amber-text); }
.cs-status-not_found { background: var(--red-bg); color: var(--red-text); }
.cs-status-fetch_failed { background: var(--red-bg); color: var(--red-text); }
.cs-flagged-source { color: var(--link); font-size: 13px; text-decoration: none; }
.cs-flagged-source:hover { text-decoration: underline; }

.cs-reasons { margin: 4px 0 0 36px; padding: 0; list-style: none; }
.cs-reasons li { font-size: 12px; color: var(--text-muted); line-height: 1.6; }
.cs-reasons li::before { content: "→ "; color: var(--amber-text); }

.cs-full-details { margin-top: 16px; border-top: 1px solid var(--border-subtle); padding-top: 12px; }
.cs-full-details summary { font-size: 12px; color: var(--text-muted); cursor: pointer; font-family: var(--font-mono); }
.cs-full-details summary:hover { color: var(--link); }
.cs-full-details .proof-content { margin-top: 8px; }

/* Downloads */
.downloads { display: flex; gap: 10px; margin-top: 20px; flex-wrap: wrap; }
.download-link { background: var(--bg-card); border: 1px solid var(--border); border-radius: 6px; padding: 8px 14px; font-size: 11px; font-family: var(--font-mono); color: var(--link); }
.download-link:hover { text-decoration: none; background: #1c2129; }

/* Filters */
.filters { display: flex; gap: 12px; margin-bottom: 20px; flex-wrap: wrap; }
.filter-input { background: var(--bg-card); border: 1px solid var(--border); border-radius: 6px; padding: 8px 12px; color: var(--text); font-size: 13px; font-family: var(--font-mono); flex: 1; min-width: 200px; }
.filter-select { background: var(--bg-card); border: 1px solid var(--border); border-radius: 6px; padding: 8px 12px; color: var(--text); font-size: 13px; font-family: var(--font-mono); }

/* Enhanced catalog container (progressive enhancement) */
#proof-list-enhanced {
    position: relative;
}
/* Animated card wrapper — cards collapse/expand on filter */
.card-wrapper {
    overflow: hidden;
    opacity: 1;
    transition: max-height 0.3s ease-out, opacity 0.25s ease-out, margin-bottom 0.3s ease-out;
}
/* .card-hidden is a marker class — collapse is done via inline styles
   to avoid specificity conflicts with the inline max-height values */
.result-count {
    font-size: 12px;
    color: var(--text-muted);
    font-family: var(--font-mono);
    margin-bottom: 12px;
}

/* Pagination */
.pagination { display: flex; gap: 8px; justify-content: center; margin-top: 24px; }
.pagination a, .pagination span { padding: 6px 12px; border: 1px solid var(--border); border-radius: 4px; font-size: 13px; font-family: var(--font-mono); }
.pagination .current { background: var(--bg-card); color: var(--text); }

/* Copy button */
.copy-btn { background: var(--bg-card); border: 1px solid var(--border); color: var(--text-secondary); padding: 2px 8px; border-radius: 3px; cursor: pointer; font-size: 11px; font-family: var(--font-mono); margin-left: 8px; }
.copy-btn:hover { color: var(--text); }

/* Tag page heading */
.tag-heading { font-size: 22px; font-family: var(--font-mono); margin-bottom: 16px; }
.tag-count { color: var(--text-secondary); font-size: 13px; font-family: var(--font-mono); margin-bottom: 20px; }

/* Evidence table (structured from proof.json) */
.evidence-table { width: 100%; border-collapse: collapse; margin: 12px 0; font-size: 12px; }
.evidence-table th { color: var(--text-muted); font-family: var(--font-mono); font-size: 11px; text-transform: uppercase; letter-spacing: 0.5px; text-align: left; padding: 6px 8px; border-bottom: 1px solid var(--border-subtle); }
.evidence-table td { padding: 8px; border-bottom: 1px solid var(--border-subtle); }
.evidence-table a { color: var(--link); }
.evidence-verified { color: var(--green-text); }
.evidence-computed { color: var(--blue-text); }
.evidence-failed { color: var(--red-text); }
.evidence-unknown { color: var(--gray-text); }

/* Share bar */
.share-bar { display: flex; gap: 10px; align-items: center; margin-top: 20px; margin-bottom: 20px; flex-wrap: wrap; }
.share-bar-label { font-size: 11px; font-family: var(--font-mono); color: var(--text-muted); text-transform: uppercase; letter-spacing: 1px; }
.share-btn { background: var(--bg-card); border: 1px solid var(--border); border-radius: 6px; padding: 6px 12px; font-size: 11px; font-family: var(--font-mono); color: var(--link); cursor: pointer; text-decoration: none; display: inline-flex; align-items: center; gap: 4px; }
.share-btn:hover { background: #1c2129; text-decoration: none; }

/* Responsive — tablet */
@media (max-width: 768px) {
    .content { padding: 24px 16px; }
    .stats { gap: 24px; }
    .stat-value { font-size: 24px; }
}

/* Responsive — mobile */
@media (max-width: 640px) {
    .nav-inner { flex-direction: column; gap: 8px; }
    .nav-links { gap: 12px; font-size: 12px; }
    .hero h1 { font-size: 22px; }
    .hero-subtitle { font-size: 12px; }
    .stats { gap: 16px; }
    .stat-value { font-size: 20px; }
    .stat-label { font-size: 9px; }
    .cta-row { flex-direction: column; align-items: center; }
    .cta { width: 100%; max-width: 280px; text-align: center; }
    .cta-links { flex-direction: column; gap: 12px; align-items: center; }
    .cta-links a { padding: 8px 0; }
    .pipeline { flex-direction: column; gap: 4px; align-items: center; }
    .pipeline-step { width: 100%; max-width: 240px; display: flex; align-items: center; gap: 12px; text-align: left; }
    .pipeline-icon { margin-bottom: 0; min-width: 24px; }
    .pipeline-arrow { transform: rotate(90deg); padding: 0; font-size: 14px; }
    .filters { flex-direction: column; }
    .filter-input { min-width: unset; }
    .proof-card { padding: 12px 14px; }
    .proof-title { font-size: 16px; }
    .downloads { flex-direction: column; }
    .proof-content table { display: block; overflow-x: auto; }
    .audit-body { overflow-x: auto; }
    #myth-container { grid-template-columns: 1fr; }
    .pipeline-step-content pre { font-size: 11px; }
}