/* "All warfare is based on deception." — Sun Tzu */

.tech-hero {
    padding: 160px 0 80px;
    text-align: center;
    position: relative;
    overflow: hidden;
}

.tech-hero::before {
    content: '';
    position: absolute;
    top: 0;
    left: 50%;
    transform: translateX(-50%);
    width: 200%;
    height: 100%;
    background:
        radial-gradient(ellipse 60% 40% at 50% 0%, rgba(99, 102, 241, 0.2) 0%, transparent 50%),
        radial-gradient(ellipse 40% 30% at 30% 20%, rgba(139, 92, 246, 0.1) 0%, transparent 50%),
        radial-gradient(ellipse 40% 30% at 70% 20%, rgba(217, 70, 239, 0.1) 0%, transparent 50%);
    pointer-events: none;
}

.tech-hero-content {
    position: relative;
    z-index: 1;
}

.tech-badge {
    display: inline-block;
    padding: 8px 20px;
    background: rgba(99, 102, 241, 0.1);
    border: 1px solid rgba(99, 102, 241, 0.3);
    border-radius: 100px;
    font-size: 12px;
    font-weight: 600;
    color: var(--accent-primary);
    text-transform: uppercase;
    letter-spacing: 0.1em;
    margin-bottom: 24px;
}

.tech-hero h1 {
    font-size: clamp(36px, 6vw, 64px);
    font-weight: 800;
    margin-bottom: 20px;
    letter-spacing: -0.02em;
}

.tech-hero-subtitle {
    font-size: 18px;
    color: var(--text-secondary);
    max-width: 700px;
    margin: 0 auto;
    line-height: 1.7;
}

.toc-section {
    padding: 60px 0;
    background: var(--bg-secondary);
    border-top: 1px solid var(--border-color);
    border-bottom: 1px solid var(--border-color);
}

.toc-grid {
    display: grid;
    grid-template-columns: repeat(4, 1fr);
    gap: 12px;
}

.toc-grid.toc-compact {
    max-width: 900px;
    margin: 0 auto;
    grid-template-columns: repeat(3, 1fr) !important;
}

@media (min-width: 1200px) {
    .toc-grid {
        grid-template-columns: repeat(6, 1fr);
    }
}

.toc-item {
    display: flex;
    flex-direction: column;
    padding: 20px;
    background: var(--bg-card);
    border: 1px solid var(--border-color);
    border-radius: var(--radius-md);
    text-decoration: none;
    transition: all var(--transition-normal);
    position: relative;
    overflow: hidden;
}

.toc-item::before {
    content: '';
    position: absolute;
    top: 0;
    left: 0;
    width: 3px;
    height: 100%;
    background: var(--accent-gradient);
    opacity: 0;
    transition: opacity var(--transition-normal);
}

.toc-item:hover {
    border-color: var(--border-color-hover);
    transform: translateY(-2px);
}

.toc-item:hover::before {
    opacity: 1;
}

.toc-number {
    font-size: 11px;
    font-weight: 700;
    color: var(--accent-primary);
    font-family: 'JetBrains Mono', monospace;
    margin-bottom: 8px;
}

.toc-title {
    font-size: 14px;
    font-weight: 600;
    color: var(--text-primary);
    margin-bottom: 4px;
}

.toc-desc {
    font-size: 12px;
    color: var(--text-muted);
}

.tech-section {
    padding: 100px 0;
    position: relative;
}

.tech-section.alt-bg {
    background: var(--bg-secondary);
}

.section-header-left {
    margin-bottom: 48px;
}

.section-number {
    display: inline-block;
    font-size: 12px;
    font-weight: 700;
    color: var(--accent-primary);
    font-family: 'JetBrains Mono', monospace;
    margin-bottom: 12px;
    padding: 4px 12px;
    background: rgba(99, 102, 241, 0.1);
    border-radius: var(--radius-sm);
}

.section-header-left h2 {
    font-size: clamp(28px, 4vw, 40px);
    font-weight: 700;
    margin-bottom: 16px;
}

.section-header-left p {
    font-size: 17px;
    color: var(--text-secondary);
    max-width: 700px;
    line-height: 1.7;
}

.pipeline-visual {
    display: flex;
    align-items: stretch;
    gap: 0;
    padding: 40px;
    background: var(--bg-card);
    border: 1px solid var(--border-color);
    border-radius: var(--radius-xl);
    overflow-x: auto;
    margin-bottom: 40px;
}

.pipeline-stage {
    flex: 1;
    min-width: 180px;
    padding: 24px;
    text-align: center;
    position: relative;
    opacity: 0;
    transform: translateY(20px);
    animation: fadeInUp 0.6s ease forwards;
}

.pipeline-stage[data-stage="1"] { animation-delay: 0.1s; }
.pipeline-stage[data-stage="2"] { animation-delay: 0.3s; }
.pipeline-stage[data-stage="3"] { animation-delay: 0.5s; }
.pipeline-stage[data-stage="4"] { animation-delay: 0.7s; }

@keyframes fadeInUp {
    to {
        opacity: 1;
        transform: translateY(0);
    }
}

.stage-icon {
    width: 56px;
    height: 56px;
    margin: 0 auto 16px;
    display: flex;
    align-items: center;
    justify-content: center;
    background: rgba(99, 102, 241, 0.15);
    border: 2px solid rgba(99, 102, 241, 0.3);
    border-radius: 50%;
    transition: all var(--transition-normal);
}

.stage-icon svg {
    width: 24px;
    height: 24px;
    color: var(--accent-primary);
}

.pipeline-stage:hover .stage-icon {
    background: rgba(99, 102, 241, 0.25);
    border-color: var(--accent-primary);
    transform: scale(1.1);
}

.pipeline-stage h3 {
    font-size: 18px;
    font-weight: 600;
    margin-bottom: 8px;
}

.pipeline-stage p {
    font-size: 13px;
    color: var(--text-secondary);
    margin-bottom: 12px;
}

.stage-detail {
    padding-top: 12px;
    border-top: 1px solid var(--border-color);
}

.stage-detail code {
    font-family: 'JetBrains Mono', monospace;
    font-size: 11px;
    color: var(--text-muted);
    background: var(--bg-tertiary);
    padding: 4px 10px;
    border-radius: var(--radius-sm);
}

.pipeline-arrow {
    display: flex;
    align-items: center;
    justify-content: center;
    width: 48px;
    flex-shrink: 0;
}

.pipeline-arrow svg {
    width: 24px;
    height: 24px;
    color: var(--accent-primary);
    animation: arrowPulse 2s ease-in-out infinite;
}

@keyframes arrowPulse {
    0%, 100% { opacity: 0.5; transform: translateX(0); }
    50% { opacity: 1; transform: translateX(4px); }
}

.comparison-box {
    background: var(--bg-tertiary);
    border: 1px solid var(--border-color);
    border-radius: var(--radius-lg);
    overflow: hidden;
}

.comparison-header {
    padding: 16px 24px;
    background: var(--bg-card);
    border-bottom: 1px solid var(--border-color);
}

.comparison-header h4 {
    font-size: 14px;
    font-weight: 600;
    color: var(--text-primary);
}

.comparison-content {
    display: grid;
    grid-template-columns: 1fr 1fr;
    gap: 0;
}

.comparison-item {
    padding: 24px;
}

.comparison-item.bad {
    border-right: 1px solid var(--border-color);
}

.comparison-label {
    display: inline-block;
    font-size: 11px;
    font-weight: 700;
    text-transform: uppercase;
    letter-spacing: 0.05em;
    margin-bottom: 12px;
    padding: 4px 10px;
    border-radius: var(--radius-sm);
}

.comparison-item.bad .comparison-label {
    background: rgba(239, 68, 68, 0.15);
    color: var(--error);
}

.comparison-item.good .comparison-label {
    background: rgba(34, 197, 94, 0.15);
    color: var(--success);
}

.comparison-item p {
    font-size: 14px;
    color: var(--text-secondary);
    margin-bottom: 12px;
    font-family: 'JetBrains Mono', monospace;
}

.comparison-result {
    font-size: 13px;
    color: var(--text-muted);
}

.lang-grid {
    display: grid;
    grid-template-columns: repeat(8, 1fr);
    gap: 12px;
    margin-bottom: 48px;
}

.lang-card {
    padding: 16px;
    background: var(--bg-card);
    border: 1px solid var(--border-color);
    border-radius: var(--radius-md);
    text-align: center;
    transition: all var(--transition-normal);
}

.lang-card.featured {
    border-color: rgba(99, 102, 241, 0.3);
    background: rgba(99, 102, 241, 0.05);
}

.lang-card:hover {
    transform: translateY(-4px);
    border-color: var(--accent-primary);
    box-shadow: 0 8px 24px rgba(99, 102, 241, 0.2);
}

.lang-icon {
    font-size: 24px;
    display: block;
    margin-bottom: 8px;
}

.lang-name {
    display: block;
    font-size: 13px;
    font-weight: 600;
    color: var(--text-primary);
    margin-bottom: 4px;
}

.lang-detail {
    font-size: 10px;
    color: var(--text-muted);
}

.code-demo {
    background: var(--bg-card);
    border: 1px solid var(--border-color);
    border-radius: var(--radius-lg);
    overflow: hidden;
}

.code-demo.collapsible {
    margin-bottom: 24px;
}

.code-demo.collapsible summary {
    list-style: none;
    cursor: pointer;
    display: flex;
    justify-content: space-between;
    align-items: center;
}

.code-demo.collapsible summary::-webkit-details-marker {
    display: none;
}

.code-demo.collapsible .collapse-icon {
    font-size: 12px;
    color: var(--text-muted);
    transition: transform var(--transition-normal);
}

.code-demo.collapsible[open] .collapse-icon {
    transform: rotate(180deg);
}

.code-demo.collapsible:not([open]) .code-demo-header {
    border-bottom: none;
}

.code-demo-header {
    padding: 12px 20px;
    background: var(--bg-tertiary);
    border-bottom: 1px solid var(--border-color);
}

.code-demo-title {
    font-size: 12px;
    font-weight: 600;
    color: var(--text-secondary);
}

.code-demo-content {
    padding: 24px;
    font-family: 'JetBrains Mono', monospace;
    font-size: 13px;
    line-height: 1.8;
    overflow-x: auto;
    margin: 0;
    background: transparent;
}

.code-demo-content .code-comment {
    color: var(--text-muted);
}

.code-demo-content .code-keyword {
    color: var(--accent-primary);
}

.code-demo-content .code-highlight {
    color: var(--warning);
    background: rgba(234, 179, 8, 0.1);
    padding: 2px 4px;
    border-radius: 3px;
}

.code-demo-content .code-success {
    color: var(--success);
}

.code-demo-content .code-warning {
    color: var(--warning);
}

.code-demo-content .code-error {
    color: var(--error);
}

.code-graph-section {
    margin-top: 48px;
    padding: 32px;
    background: var(--bg-card);
    border: 1px solid var(--border-color);
    border-radius: var(--radius-lg);
}

.code-graph-section h4 {
    font-size: 18px;
    font-weight: 600;
    margin-bottom: 8px;
}

.code-graph-desc {
    font-size: 14px;
    color: var(--text-secondary);
    margin-bottom: 24px;
}

.code-graph-visual {
    display: grid;
    grid-template-columns: repeat(3, 1fr);
    gap: 16px;
}

.graph-column {
    background: var(--bg-tertiary);
    border: 1px solid var(--border-color);
    border-radius: var(--radius-md);
    overflow: hidden;
}

.graph-header {
    display: flex;
    align-items: center;
    gap: 8px;
    padding: 12px 16px;
    background: var(--bg-secondary);
    border-bottom: 1px solid var(--border-color);
}

.graph-icon {
    font-size: 16px;
}

.graph-title {
    font-size: 13px;
    font-weight: 600;
    color: var(--text-primary);
}

.graph-content {
    padding: 16px;
    margin: 0;
    font-family: 'JetBrains Mono', monospace;
    font-size: 11px;
    line-height: 1.7;
    overflow-x: auto;
    background: transparent;
}

@media (max-width: 768px) {
    .code-graph-visual {
        grid-template-columns: 1fr;
    }
}

.taint-demo {
    display: flex;
    flex-direction: column;
    gap: 0;
    margin-bottom: 48px;
}

.taint-file {
    background: var(--bg-card);
    border: 1px solid var(--border-color);
    border-radius: var(--radius-lg);
    overflow: hidden;
}

.taint-file-header {
    display: flex;
    align-items: center;
    justify-content: space-between;
    padding: 12px 20px;
    background: var(--bg-tertiary);
    border-bottom: 1px solid var(--border-color);
}

.file-name {
    font-family: 'JetBrains Mono', monospace;
    font-size: 12px;
    color: var(--text-secondary);
}

.file-badge {
    font-size: 10px;
    font-weight: 700;
    text-transform: uppercase;
    letter-spacing: 0.05em;
    padding: 4px 10px;
    border-radius: 100px;
}

.file-badge.source {
    background: rgba(234, 179, 8, 0.15);
    color: var(--warning);
}

.file-badge.transform {
    background: rgba(99, 102, 241, 0.15);
    color: var(--accent-primary);
}

.file-badge.sink {
    background: rgba(239, 68, 68, 0.15);
    color: var(--error);
}

.taint-code {
    padding: 16px 20px;
    margin: 0;
    font-family: 'JetBrains Mono', monospace;
    font-size: 13px;
    line-height: 1.8;
    background: transparent;
}

.taint-flow-arrow {
    display: flex;
    align-items: center;
    justify-content: center;
    padding: 16px;
    position: relative;
}

.flow-line {
    position: absolute;
    width: 2px;
    height: 100%;
    background: linear-gradient(180deg, var(--accent-primary) 0%, var(--accent-secondary) 100%);
    left: 50%;
    transform: translateX(-50%);
}

.flow-line::after {
    content: '';
    position: absolute;
    bottom: 0;
    left: 50%;
    transform: translateX(-50%);
    width: 0;
    height: 0;
    border-left: 6px solid transparent;
    border-right: 6px solid transparent;
    border-top: 8px solid var(--accent-secondary);
}

.flow-label {
    background: var(--bg-secondary);
    padding: 4px 12px;
    font-size: 11px;
    color: var(--text-muted);
    border-radius: 100px;
    position: relative;
    z-index: 1;
}

.feature-highlight {
    display: grid;
    grid-template-columns: repeat(3, 1fr);
    gap: 20px;
    margin-top: 40px;
}

.highlight-item {
    display: flex;
    gap: 16px;
    padding: 24px;
    background: var(--bg-card);
    border: 1px solid var(--border-color);
    border-radius: var(--radius-lg);
    transition: all var(--transition-normal);
}

.highlight-item:hover {
    border-color: rgba(99, 102, 241, 0.3);
    transform: translateY(-2px);
}

.highlight-icon {
    font-size: 28px;
    flex-shrink: 0;
}

.highlight-content h4 {
    font-size: 15px;
    font-weight: 600;
    margin-bottom: 6px;
}

.highlight-content p {
    font-size: 13px;
    color: var(--text-secondary);
    line-height: 1.6;
}

.highlight-content code {
    background: var(--bg-tertiary);
    padding: 2px 6px;
    border-radius: 4px;
    font-size: 11px;
}

.guard-types {
    display: grid;
    grid-template-columns: repeat(4, 1fr);
    gap: 16px;
    margin-bottom: 48px;
}

.guard-type {
    padding: 24px;
    background: var(--bg-card);
    border: 1px solid var(--border-color);
    border-radius: var(--radius-lg);
    text-align: center;
    transition: all var(--transition-normal);
}

.guard-type:hover {
    transform: translateY(-4px);
    box-shadow: 0 12px 32px rgba(0, 0, 0, 0.3);
}

.guard-icon {
    width: 56px;
    height: 56px;
    margin: 0 auto 16px;
    display: flex;
    align-items: center;
    justify-content: center;
    font-size: 24px;
    border-radius: 50%;
}

.guard-icon.auth { background: transparent; }
.guard-icon.authz { background: transparent; }
.guard-icon.owner { background: transparent; }
.guard-icon.valid { background: transparent; }

.guard-type h4 {
    font-size: 14px;
    font-weight: 600;
    margin-bottom: 6px;
    font-family: 'JetBrains Mono', monospace;
}

.guard-type p {
    font-size: 12px;
    color: var(--text-muted);
    margin-bottom: 12px;
}

.guard-type code {
    display: block;
    font-size: 11px;
    color: var(--text-secondary);
    background: var(--bg-tertiary);
    padding: 8px;
    border-radius: var(--radius-sm);
}

.dominance-demo {
    background: var(--bg-card);
    border: 1px solid var(--border-color);
    border-radius: var(--radius-lg);
    overflow: hidden;
}

.dominance-header {
    padding: 20px 24px;
    border-bottom: 1px solid var(--border-color);
}

.dominance-header h4 {
    font-size: 16px;
    font-weight: 600;
    margin-bottom: 8px;
}

.dominance-header p {
    font-size: 13px;
    color: var(--text-secondary);
}

.dominance-header strong {
    color: var(--accent-primary);
}

.dominance-examples {
    display: grid;
    grid-template-columns: 1fr 1fr;
    gap: 0;
}

.dominance-case {
    padding: 24px;
}

.dominance-case.bad {
    background: rgba(239, 68, 68, 0.03);
    border-right: 1px solid var(--border-color);
}

.dominance-case.good {
    background: rgba(34, 197, 94, 0.03);
}

.case-label {
    display: inline-block;
    font-size: 12px;
    font-weight: 600;
    margin-bottom: 16px;
}

.dominance-case.bad .case-label {
    color: var(--error);
}

.dominance-case.good .case-label {
    color: var(--success);
}

.dominance-case pre {
    margin: 0;
    background: var(--bg-tertiary);
    padding: 16px;
    border-radius: var(--radius-md);
    font-size: 12px;
    line-height: 1.8;
    overflow-x: auto;
}

.verdict-contract {
    margin-top: 48px;
    padding: 32px;
    background: var(--bg-card);
    border: 2px solid var(--border-color);
    border-radius: var(--radius-lg);
}

.verdict-contract h4 {
    font-size: 18px;
    font-weight: 600;
    margin-bottom: 8px;
}

.verdict-desc {
    font-size: 14px;
    color: var(--text-secondary);
    margin-bottom: 24px;
}

.verdict-desc strong {
    color: var(--accent-primary);
}

.obligation-checklist {
    display: grid;
    grid-template-columns: repeat(4, 1fr);
    gap: 12px;
    margin-bottom: 24px;
}

.obligation-item {
    padding: 16px;
    background: var(--bg-tertiary);
    border: 1px solid var(--border-color);
    border-radius: var(--radius-md);
    display: flex;
    flex-direction: column;
    gap: 8px;
}

.obligation-icon {
    font-size: 20px;
}

.obligation-content h5 {
    font-size: 13px;
    font-weight: 700;
    color: var(--text-primary);
    margin-bottom: 4px;
    font-family: 'JetBrains Mono', monospace;
}

.obligation-content p {
    font-size: 11px;
    color: var(--text-secondary);
    line-height: 1.5;
}

.obligation-status {
    font-size: 10px;
    font-weight: 700;
    text-transform: uppercase;
    letter-spacing: 0.05em;
    padding: 4px 8px;
    border-radius: var(--radius-sm);
    background: rgba(99, 102, 241, 0.15);
    color: var(--accent-primary);
    align-self: flex-start;
    margin-top: auto;
}

.obligation-status.check {
    background: rgba(234, 179, 8, 0.15);
    color: var(--warning);
}

.obligation-result {
    padding: 16px 20px;
    background: linear-gradient(135deg, rgba(99, 102, 241, 0.1) 0%, rgba(139, 92, 246, 0.05) 100%);
    border: 1px solid rgba(99, 102, 241, 0.2);
    border-radius: var(--radius-md);
    display: flex;
    align-items: center;
    justify-content: space-between;
    flex-wrap: wrap;
    gap: 12px;
    margin-bottom: 24px;
}

.obligation-result code {
    font-family: 'JetBrains Mono', monospace;
    font-size: 14px;
    font-weight: 600;
    color: var(--accent-primary);
}

.obligation-note {
    font-size: 12px;
    color: var(--text-muted);
}

@media (max-width: 1024px) {
    .obligation-checklist {
        grid-template-columns: repeat(2, 1fr);
    }
}

@media (max-width: 768px) {
    .obligation-checklist {
        grid-template-columns: 1fr;
    }

    .obligation-result {
        flex-direction: column;
        text-align: center;
    }
}

.verdict-grid {
    display: grid;
    grid-template-columns: repeat(3, 1fr);
    gap: 16px;
}

.verdict-item {
    padding: 20px;
    background: var(--bg-tertiary);
    border-radius: var(--radius-md);
    border-left: 4px solid;
}

.verdict-item.vuln {
    border-left-color: var(--error);
}

.verdict-item.review {
    border-left-color: var(--warning);
}

.verdict-item.safe {
    border-left-color: var(--success);
}

.verdict-badge {
    display: inline-block;
    font-size: 11px;
    font-weight: 700;
    text-transform: uppercase;
    letter-spacing: 0.05em;
    padding: 4px 10px;
    border-radius: var(--radius-sm);
    margin-bottom: 12px;
}

.verdict-item.vuln .verdict-badge {
    background: rgba(239, 68, 68, 0.15);
    color: var(--error);
}

.verdict-item.review .verdict-badge {
    background: rgba(234, 179, 8, 0.15);
    color: var(--warning);
}

.verdict-item.safe .verdict-badge {
    background: rgba(34, 197, 94, 0.15);
    color: var(--success);
}

.verdict-criteria {
    margin-bottom: 16px;
}

.verdict-criteria strong {
    display: block;
    font-size: 12px;
    color: var(--text-primary);
    margin-bottom: 8px;
}

.verdict-criteria ul {
    list-style: none;
    padding: 0;
    margin: 0;
}

.verdict-criteria li {
    font-size: 12px;
    color: var(--text-secondary);
    padding: 4px 0;
    padding-left: 16px;
    position: relative;
}

.verdict-criteria li::before {
    content: '•';
    position: absolute;
    left: 0;
    color: var(--text-muted);
}

.verdict-action {
    font-size: 11px;
    font-weight: 600;
    color: var(--text-muted);
    padding-top: 12px;
    border-top: 1px solid var(--border-color);
}

@media (max-width: 768px) {
    .verdict-grid {
        grid-template-columns: 1fr;
    }
}

.fp-stages {
    display: flex;
    flex-direction: column;
    gap: 16px;
    margin-bottom: 40px;
}

.fp-stage {
    display: flex;
    align-items: flex-start;
    gap: 20px;
    padding: 24px;
    background: var(--bg-card);
    border: 1px solid var(--border-color);
    border-radius: var(--radius-lg);
    transition: all var(--transition-normal);
    position: relative;
    overflow: hidden;
}

.fp-stage::before {
    content: '';
    position: absolute;
    left: 0;
    top: 0;
    bottom: 0;
    width: 4px;
    background: var(--border-color);
    transition: background var(--transition-normal);
}

.fp-stage:hover::before {
    background: var(--accent-gradient);
}

.fp-stage.featured {
    border-color: rgba(99, 102, 241, 0.3);
    background: rgba(99, 102, 241, 0.05);
}

.fp-stage.featured::before {
    background: var(--accent-gradient);
}

.fp-stage-number {
    width: 40px;
    height: 40px;
    display: flex;
    align-items: center;
    justify-content: center;
    background: var(--bg-tertiary);
    border: 1px solid var(--border-color);
    border-radius: 50%;
    font-size: 16px;
    font-weight: 700;
    color: var(--text-secondary);
    flex-shrink: 0;
}

.fp-stage.featured .fp-stage-number {
    background: var(--accent-gradient);
    border: none;
    color: white;
}

.fp-stage-content {
    flex: 1;
}

.fp-stage-content h4 {
    font-size: 16px;
    font-weight: 600;
    margin-bottom: 8px;
}

.fp-stage-content ul {
    list-style: none;
    display: flex;
    flex-wrap: wrap;
    gap: 8px;
}

.fp-stage-content li {
    font-size: 12px;
    color: var(--text-secondary);
    background: var(--bg-tertiary);
    padding: 4px 12px;
    border-radius: 100px;
}

.fp-stage-reduction {
    font-size: 12px;
    font-weight: 600;
    color: var(--success);
    background: rgba(34, 197, 94, 0.1);
    padding: 6px 14px;
    border-radius: 100px;
    flex-shrink: 0;
}

.fp-result {
    display: flex;
    align-items: center;
    gap: 32px;
    padding: 32px;
    background: linear-gradient(135deg, rgba(34, 197, 94, 0.1) 0%, rgba(99, 102, 241, 0.1) 100%);
    border: 1px solid rgba(34, 197, 94, 0.2);
    border-radius: var(--radius-lg);
}

.fp-result-stat {
    text-align: center;
}

.fp-result-value {
    display: block;
    font-size: 48px;
    font-weight: 800;
    background: linear-gradient(135deg, var(--success) 0%, var(--accent-primary) 100%);
    -webkit-background-clip: text;
    -webkit-text-fill-color: transparent;
    background-clip: text;
}

.fp-result-label {
    font-size: 14px;
    color: var(--text-secondary);
    font-weight: 500;
}

.fp-result-desc {
    font-size: 15px;
    color: var(--text-secondary);
    line-height: 1.6;
}

.verdict-model {
    padding: 32px;
    background: linear-gradient(135deg, rgba(34, 197, 94, 0.08) 0%, rgba(99, 102, 241, 0.08) 100%);
    border: 1px solid rgba(34, 197, 94, 0.2);
    border-radius: var(--radius-lg);
}

.verdict-model-title {
    font-size: 20px;
    font-weight: 600;
    margin-bottom: 12px;
    color: var(--text-primary);
}

.verdict-model-desc {
    font-size: 15px;
    color: var(--text-secondary);
    margin-bottom: 24px;
}

.verdict-levels {
    display: flex;
    flex-direction: column;
    gap: 12px;
    margin-bottom: 20px;
}

.verdict-level {
    display: flex;
    align-items: center;
    gap: 16px;
    padding: 12px 16px;
    background: rgba(0, 0, 0, 0.2);
    border-radius: var(--radius-md);
}

.verdict-level .verdict-badge {
    min-width: 120px;
    padding: 6px 12px;
    font-size: 12px;
    font-weight: 700;
    text-align: center;
    border-radius: var(--radius-sm);
    font-family: 'JetBrains Mono', monospace;
}

.verdict-level.verified .verdict-badge {
    background: rgba(34, 197, 94, 0.2);
    color: #22c55e;
    border: 1px solid rgba(34, 197, 94, 0.3);
}

.verdict-level.proof-backed .verdict-badge {
    background: rgba(99, 102, 241, 0.2);
    color: #818cf8;
    border: 1px solid rgba(99, 102, 241, 0.3);
}

.verdict-level.needs-review .verdict-badge {
    background: rgba(234, 179, 8, 0.2);
    color: #eab308;
    border: 1px solid rgba(234, 179, 8, 0.3);
}

.verdict-explanation {
    font-size: 14px;
    color: var(--text-secondary);
}

.verdict-footer {
    font-size: 13px;
    color: var(--text-muted);
    margin-top: 16px;
}

.verdict-footer a {
    color: var(--accent-primary);
    text-decoration: none;
}

.verdict-footer a:hover {
    text-decoration: underline;
}

.positioning-statement {
    margin-top: 40px;
    padding: 24px 32px;
    background: linear-gradient(135deg, rgba(99, 102, 241, 0.1) 0%, rgba(139, 92, 246, 0.1) 100%);
    border-left: 4px solid var(--accent-primary);
    border-radius: var(--radius-md);
}

.statement-text {
    font-size: 18px;
    font-weight: 500;
    font-style: italic;
    color: var(--text-primary);
    margin: 0;
}

.docker-replay-centered {
    display: flex;
    justify-content: center;
    margin-top: 20px;
}

.docker-replay-centered .highlight-item.docker-replay {
    max-width: 360px;
    width: 100%;
}

.highlight-item.docker-replay {
    background: linear-gradient(135deg, rgba(34, 197, 94, 0.08) 0%, rgba(99, 102, 241, 0.08) 100%);
    border: 1px solid rgba(34, 197, 94, 0.2);
}

.trust-model-box {
    background: linear-gradient(135deg, rgba(30, 41, 59, 0.8) 0%, rgba(15, 23, 42, 0.9) 100%);
    border: 1px solid rgba(99, 102, 241, 0.2);
    border-radius: var(--radius-lg);
    padding: 32px;
    margin-bottom: 40px;
}

.trust-model-header {
    display: flex;
    align-items: center;
    gap: 12px;
    margin-bottom: 24px;
    padding-bottom: 16px;
    border-bottom: 1px solid rgba(255, 255, 255, 0.1);
}

.trust-model-header .trust-icon {
    font-size: 28px;
}

.trust-model-header h4 {
    font-size: 18px;
    font-weight: 700;
    color: var(--text-primary);
    margin: 0;
}

.trust-model-content {
    display: grid;
    grid-template-columns: 1fr 1fr;
    gap: 24px;
    margin-bottom: 24px;
}

.trust-column {
    padding: 20px;
    border-radius: var(--radius-md);
}

.trust-column.deterministic {
    background: rgba(34, 197, 94, 0.08);
    border: 1px solid rgba(34, 197, 94, 0.2);
}

.trust-column.ai-assisted {
    background: rgba(99, 102, 241, 0.08);
    border: 1px solid rgba(99, 102, 241, 0.2);
}

.trust-column-header {
    display: flex;
    align-items: center;
    gap: 12px;
    margin-bottom: 16px;
}

.trust-column-header h5 {
    font-size: 15px;
    font-weight: 600;
    color: var(--text-primary);
    margin: 0;
}

.trust-badge {
    display: inline-block;
    padding: 4px 10px;
    border-radius: 100px;
    font-size: 10px;
    font-weight: 700;
    text-transform: uppercase;
    letter-spacing: 0.05em;
}

.trust-badge.always-on {
    background: rgba(34, 197, 94, 0.2);
    color: #22c55e;
}

.trust-badge.optional {
    background: rgba(99, 102, 241, 0.2);
    color: var(--accent-primary);
}

.trust-list {
    list-style: none;
    padding: 0;
    margin: 0;
}

.trust-list li {
    padding: 6px 0;
    padding-left: 20px;
    position: relative;
    color: var(--text-secondary);
    font-size: 14px;
}

.trust-list li::before {
    content: '✓';
    position: absolute;
    left: 0;
    color: inherit;
    opacity: 0.6;
}

.trust-column.deterministic .trust-list li::before {
    color: #22c55e;
}

.trust-column.ai-assisted .trust-list li::before {
    color: var(--accent-primary);
}

.trust-model-rule {
    display: flex;
    align-items: flex-start;
    gap: 12px;
    padding: 16px 20px;
    background: rgba(239, 68, 68, 0.08);
    border: 1px solid rgba(239, 68, 68, 0.2);
    border-radius: var(--radius-md);
}

.trust-model-rule .rule-icon {
    font-size: 18px;
    flex-shrink: 0;
}

.trust-model-rule .rule-text {
    color: var(--text-secondary);
    font-size: 14px;
    line-height: 1.6;
}

.trust-model-rule .rule-text strong {
    color: #f87171;
}

.trust-model-rule .rule-text code {
    background: rgba(255, 255, 255, 0.1);
    padding: 2px 6px;
    border-radius: 4px;
    font-family: var(--font-mono);
    font-size: 12px;
    color: var(--accent-primary);
}

@media (max-width: 768px) {
    .trust-model-content {
        grid-template-columns: 1fr;
    }
}

.llm-architecture {
    display: grid;
    grid-template-columns: 1fr 1.5fr;
    gap: 24px;
    margin-bottom: 40px;
}

.llm-model {
    padding: 32px;
    background: linear-gradient(135deg, rgba(99, 102, 241, 0.15) 0%, rgba(139, 92, 246, 0.1) 100%);
    border: 2px solid rgba(99, 102, 241, 0.3);
    border-radius: var(--radius-lg);
}

.llm-model-header {
    margin-bottom: 24px;
}

.llm-badge {
    display: inline-block;
    font-size: 10px;
    font-weight: 700;
    text-transform: uppercase;
    letter-spacing: 0.1em;
    color: var(--accent-primary);
    margin-bottom: 8px;
}

.llm-model h3 {
    font-size: 24px;
    font-weight: 700;
}

.llm-model-specs {
    display: flex;
    flex-wrap: wrap;
    gap: 16px;
}

.spec-item {
    flex: 1;
    min-width: 80px;
    padding: 16px;
    background: var(--bg-card);
    border-radius: var(--radius-md);
    text-align: center;
}

.spec-value {
    display: block;
    font-size: 24px;
    font-weight: 700;
    color: var(--text-primary);
    margin-bottom: 4px;
}

.spec-label {
    font-size: 11px;
    color: var(--text-muted);
    text-transform: uppercase;
    letter-spacing: 0.05em;
}

.llm-training {
    padding: 32px;
    background: var(--bg-card);
    border: 1px solid var(--border-color);
    border-radius: var(--radius-lg);
}

.llm-training h4 {
    font-size: 18px;
    font-weight: 600;
    margin-bottom: 24px;
}

.training-data {
    display: grid;
    grid-template-columns: repeat(4, 1fr);
    gap: 16px;
}

.data-item {
    text-align: center;
    padding: 20px;
    background: var(--bg-tertiary);
    border-radius: var(--radius-md);
    transition: all var(--transition-normal);
}

.data-item:hover {
    transform: translateY(-2px);
    background: var(--bg-secondary);
}

.data-icon {
    font-size: 24px;
    display: block;
    margin-bottom: 8px;
}

.data-value {
    display: block;
    font-size: 24px;
    font-weight: 700;
    color: var(--text-primary);
    margin-bottom: 4px;
}

.data-label {
    font-size: 11px;
    color: var(--text-muted);
}

.llm-capabilities {
    display: grid;
    grid-template-columns: repeat(3, 1fr);
    gap: 20px;
}

.capability {
    padding: 24px;
    background: var(--bg-card);
    border: 1px solid var(--border-color);
    border-radius: var(--radius-lg);
    transition: all var(--transition-normal);
}

.capability:hover {
    border-color: rgba(99, 102, 241, 0.3);
}

.capability h4 {
    font-size: 15px;
    font-weight: 600;
    margin-bottom: 12px;
}

.capability p {
    font-size: 13px;
    color: var(--text-secondary);
    line-height: 1.6;
}

.capability em {
    color: var(--text-primary);
    font-style: normal;
    font-weight: 500;
}

.evidence-example {
    background: var(--bg-card);
    border: 2px solid var(--border-color);
    border-radius: var(--radius-lg);
    overflow: hidden;
}

.evidence-header {
    display: flex;
    align-items: center;
    gap: 12px;
    padding: 16px 24px;
    background: var(--bg-tertiary);
    border-bottom: 1px solid var(--border-color);
}

.evidence-severity {
    padding: 6px 14px;
    font-size: 11px;
    font-weight: 700;
    text-transform: uppercase;
    letter-spacing: 0.05em;
    border-radius: var(--radius-sm);
}

.evidence-severity.critical {
    background: rgba(239, 68, 68, 0.2);
    color: var(--error);
}

.evidence-type {
    font-size: 13px;
    font-weight: 600;
    color: var(--text-primary);
}

.evidence-file {
    margin-left: auto;
    font-family: 'JetBrains Mono', monospace;
    font-size: 12px;
    color: var(--text-muted);
}

.evidence-body {
    padding: 24px;
}

.evidence-section {
    margin-bottom: 24px;
}

.evidence-section:last-child {
    margin-bottom: 0;
}

.evidence-section h4 {
    font-size: 12px;
    font-weight: 700;
    text-transform: uppercase;
    letter-spacing: 0.05em;
    color: var(--text-muted);
    margin-bottom: 12px;
}

.taint-chain {
    display: flex;
    align-items: center;
    gap: 8px;
    flex-wrap: wrap;
}

.chain-step {
    padding: 12px 16px;
    background: var(--bg-tertiary);
    border: 1px solid var(--border-color);
    border-radius: var(--radius-md);
    min-width: 180px;
}

.chain-step.source {
    border-color: rgba(234, 179, 8, 0.3);
    background: rgba(234, 179, 8, 0.05);
}

.chain-step.sink {
    border-color: rgba(239, 68, 68, 0.3);
    background: rgba(239, 68, 68, 0.05);
}

.step-type {
    display: block;
    font-size: 10px;
    font-weight: 700;
    text-transform: uppercase;
    letter-spacing: 0.05em;
    color: var(--text-muted);
    margin-bottom: 6px;
}

.chain-step.source .step-type { color: var(--warning); }
.chain-step.sink .step-type { color: var(--error); }

.chain-step code {
    display: block;
    font-family: 'JetBrains Mono', monospace;
    font-size: 12px;
    color: var(--text-primary);
    margin-bottom: 6px;
}

.step-file {
    font-size: 10px;
    color: var(--text-muted);
}

.chain-arrow {
    font-size: 20px;
    color: var(--accent-primary);
    animation: arrowPulse 2s ease-in-out infinite;
}

.guard-analysis {
    display: flex;
    flex-direction: column;
    gap: 8px;
}

.guard-item {
    display: flex;
    align-items: center;
    gap: 12px;
    padding: 12px 16px;
    background: var(--bg-tertiary);
    border-radius: var(--radius-md);
}

.guard-item.missing {
    border-left: 3px solid var(--error);
}

.guard-item.present {
    border-left: 3px solid var(--success);
}

.guard-status {
    font-size: 16px;
}

.guard-item.missing .guard-status { color: var(--error); }
.guard-item.present .guard-status { color: var(--success); }

.guard-name {
    font-size: 13px;
    font-weight: 600;
    color: var(--text-primary);
}

.guard-detail {
    font-size: 12px;
    color: var(--text-muted);
    margin-left: auto;
}

.effect-analysis {
    padding: 16px;
    background: rgba(239, 68, 68, 0.05);
    border: 1px solid rgba(239, 68, 68, 0.2);
    border-radius: var(--radius-md);
}

.effect-type {
    display: inline-block;
    font-size: 11px;
    font-weight: 700;
    text-transform: uppercase;
    letter-spacing: 0.05em;
    color: var(--error);
    margin-bottom: 8px;
}

.effect-analysis p {
    font-size: 13px;
    color: var(--text-secondary);
}

.evidence-footer {
    padding: 16px 24px;
    background: var(--bg-tertiary);
    border-top: 1px solid var(--border-color);
}

.auto-poc {
    display: flex;
    align-items: center;
    gap: 16px;
}

.poc-label {
    font-size: 11px;
    font-weight: 700;
    text-transform: uppercase;
    letter-spacing: 0.05em;
    color: var(--accent-primary);
}

.auto-poc code {
    flex: 1;
    font-family: 'JetBrains Mono', monospace;
    font-size: 12px;
    color: var(--text-secondary);
    background: var(--bg-card);
    padding: 8px 12px;
    border-radius: var(--radius-sm);
}

.results-stats {
    display: grid;
    grid-template-columns: repeat(4, 1fr);
    gap: 20px;
    margin-bottom: 48px;
}

.result-stat {
    padding: 32px;
    background: var(--bg-card);
    border: 1px solid var(--border-color);
    border-radius: var(--radius-lg);
    text-align: center;
    transition: all var(--transition-normal);
}

.result-stat:hover {
    transform: translateY(-4px);
    border-color: rgba(99, 102, 241, 0.3);
    box-shadow: 0 12px 32px rgba(99, 102, 241, 0.15);
}

.stat-value {
    font-size: 48px;
    font-weight: 800;
    background: var(--accent-gradient);
    -webkit-background-clip: text;
    -webkit-text-fill-color: transparent;
    background-clip: text;
    display: block;
    margin-bottom: 8px;
}

.stat-label {
    font-size: 14px;
    color: var(--text-secondary);
}

.cve-showcase {
    margin-bottom: 48px;
}

.cve-showcase h4 {
    font-size: 18px;
    font-weight: 600;
    margin-bottom: 20px;
}

.cve-grid {
    display: grid;
    grid-template-columns: repeat(2, 1fr);
    gap: 16px;
}

.cve-card {
    padding: 24px;
    background: var(--bg-card);
    border: 1px solid var(--border-color);
    border-radius: var(--radius-lg);
    transition: all var(--transition-normal);
}

.cve-card:hover {
    border-color: var(--border-color-hover);
    transform: translateX(4px);
}

.cve-header {
    display: flex;
    align-items: center;
    gap: 12px;
    margin-bottom: 12px;
}

.cve-id {
    font-family: 'JetBrains Mono', monospace;
    font-size: 12px;
    font-weight: 600;
    color: var(--accent-primary);
}

.cve-id.pending {
    font-family: 'Inter', sans-serif;
    font-size: 11px;
    font-style: italic;
    color: var(--text-muted);
    background: var(--bg-tertiary);
    padding: 2px 8px;
    border-radius: var(--radius-sm);
}

.cve-severity {
    font-size: 10px;
    font-weight: 700;
    text-transform: uppercase;
    letter-spacing: 0.05em;
    padding: 4px 10px;
    border-radius: var(--radius-sm);
}

.cve-severity.critical {
    background: rgba(239, 68, 68, 0.15);
    color: var(--error);
}

.cve-severity.high {
    background: rgba(234, 179, 8, 0.15);
    color: var(--warning);
}

.cve-card h5 {
    font-size: 15px;
    font-weight: 600;
    margin-bottom: 8px;
}

.cve-card p {
    font-size: 13px;
    color: var(--text-secondary);
    margin-bottom: 12px;
    line-height: 1.5;
}

.cve-project {
    font-family: 'JetBrains Mono', monospace;
    font-size: 11px;
    color: var(--text-muted);
}

.vuln-types-covered h4 {
    font-size: 18px;
    font-weight: 600;
    margin-bottom: 20px;
}

.vuln-type-grid {
    display: flex;
    flex-wrap: wrap;
    gap: 12px;
}

.vuln-type {
    padding: 12px 20px;
    font-size: 13px;
    font-weight: 600;
    border-radius: var(--radius-md);
    border: 2px solid;
    transition: all var(--transition-fast);
    cursor: default;
}

.vuln-type:hover {
    transform: translateY(-2px);
}

.vuln-type.idor { border-color: #ef4444; color: #ef4444; background: rgba(239, 68, 68, 0.1); }
.vuln-type.sqli { border-color: #f97316; color: #f97316; background: rgba(249, 115, 22, 0.1); }
.vuln-type.xss { border-color: #06b6d4; color: #06b6d4; background: rgba(6, 182, 212, 0.1); }
.vuln-type.ssrf { border-color: #22c55e; color: #22c55e; background: rgba(34, 197, 94, 0.1); }
.vuln-type.rce { border-color: #ef4444; color: #ef4444; background: rgba(239, 68, 68, 0.1); }
.vuln-type.auth { border-color: #eab308; color: #eab308; background: rgba(234, 179, 8, 0.1); }
.vuln-type.path { border-color: #ec4899; color: #ec4899; background: rgba(236, 72, 153, 0.1); }
.vuln-type.ssti { border-color: #8b5cf6; color: #8b5cf6; background: rgba(139, 92, 246, 0.1); }
.vuln-type.deser { border-color: #6366f1; color: #6366f1; background: rgba(99, 102, 241, 0.1); }
.vuln-type.redirect { border-color: #14b8a6; color: #14b8a6; background: rgba(20, 184, 166, 0.1); }
.vuln-type.header { border-color: #a855f7; color: #a855f7; background: rgba(168, 85, 247, 0.1); }
.vuln-type.proto { border-color: #f43f5e; color: #f43f5e; background: rgba(244, 63, 94, 0.1); }

.tech-cta {
    padding: 100px 0;
    background: linear-gradient(180deg, var(--bg-secondary) 0%, var(--bg-primary) 100%);
}

.tech-cta .cta-content {
    text-align: center;
    max-width: 700px;
    margin: 0 auto;
}

.tech-cta h2 {
    font-size: clamp(28px, 4vw, 40px);
    margin-bottom: 16px;
}

.tech-cta p {
    font-size: 18px;
    color: var(--text-secondary);
    margin-bottom: 32px;
}

.tech-cta .cta-buttons {
    display: flex;
    gap: 16px;
    justify-content: center;
}

@media (max-width: 1024px) {
    .toc-grid {
        grid-template-columns: repeat(2, 1fr);
    }

    .lang-grid {
        grid-template-columns: repeat(4, 1fr);
    }

    .guard-types {
        grid-template-columns: repeat(2, 1fr);
    }

    .llm-architecture {
        grid-template-columns: 1fr;
    }

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

    .results-stats {
        grid-template-columns: repeat(2, 1fr);
    }
}

@media (max-width: 768px) {
    .toc-grid {
        grid-template-columns: 1fr;
    }

    .pipeline-visual {
        flex-direction: column;
        padding: 24px;
    }

    .pipeline-arrow {
        transform: rotate(90deg);
        width: 100%;
        height: 48px;
    }

    .comparison-content {
        grid-template-columns: 1fr;
    }

    .comparison-item.bad {
        border-right: none;
        border-bottom: 1px solid var(--border-color);
    }

    .lang-grid {
        grid-template-columns: repeat(2, 1fr);
    }

    .feature-highlight {
        grid-template-columns: 1fr;
    }

    .guard-types {
        grid-template-columns: 1fr;
    }

    .dominance-examples {
        grid-template-columns: 1fr;
    }

    .dominance-case.bad {
        border-right: none;
        border-bottom: 1px solid var(--border-color);
    }

    .fp-stage {
        flex-direction: column;
        text-align: center;
    }

    .fp-stage-reduction {
        margin-top: 16px;
    }

    .fp-result {
        flex-direction: column;
        text-align: center;
    }

    .training-data {
        grid-template-columns: repeat(2, 1fr);
    }

    .taint-chain {
        flex-direction: column;
    }

    .chain-step {
        width: 100%;
    }

    .chain-arrow {
        transform: rotate(90deg);
    }

    .cve-grid {
        grid-template-columns: 1fr;
    }

    .results-stats {
        grid-template-columns: 1fr;
    }

    .tech-cta .cta-buttons {
        flex-direction: column;
        align-items: center;
    }
}

.architecture-advantages {
    margin-top: 48px;
    padding: 32px;
    background: linear-gradient(135deg, rgba(99, 102, 241, 0.05) 0%, rgba(139, 92, 246, 0.05) 100%);
    border: 1px solid rgba(99, 102, 241, 0.2);
    border-radius: var(--radius-lg);
}

.architecture-advantages h4 {
    font-size: 18px;
    font-weight: 600;
    margin-bottom: 24px;
    color: var(--text-primary);
}

.advantage-grid {
    display: grid;
    grid-template-columns: repeat(4, 1fr);
    gap: 16px;
}

.advantage-card {
    padding: 24px;
    background: var(--bg-card);
    border: 1px solid var(--border-color);
    border-radius: var(--radius-md);
    transition: all var(--transition-normal);
}

.advantage-card:hover {
    transform: translateY(-4px);
    border-color: rgba(99, 102, 241, 0.3);
    box-shadow: 0 8px 24px rgba(0, 0, 0, 0.2);
}

.advantage-icon {
    font-size: 28px;
    margin-bottom: 12px;
}

.advantage-card h5 {
    font-size: 15px;
    font-weight: 600;
    margin-bottom: 8px;
    color: var(--text-primary);
}

.advantage-card p {
    font-size: 13px;
    color: var(--text-secondary);
    line-height: 1.6;
    margin-bottom: 16px;
}

.advantage-badge {
    display: inline-block;
    font-size: 10px;
    font-weight: 700;
    text-transform: uppercase;
    letter-spacing: 0.05em;
    padding: 4px 10px;
    background: rgba(99, 102, 241, 0.15);
    color: var(--accent-primary);
    border-radius: var(--radius-sm);
}

@media (max-width: 1024px) {
    .advantage-grid {
        grid-template-columns: repeat(2, 1fr);
    }
}

@media (max-width: 768px) {
    .advantage-grid {
        grid-template-columns: 1fr;
    }
}

.animate-on-scroll {
    opacity: 0;
    transform: translateY(30px);
    transition: all 0.8s cubic-bezier(0.16, 1, 0.3, 1);
}

.animate-on-scroll.visible {
    opacity: 1;
    transform: translateY(0);
}

.stagger-1 { transition-delay: 0.1s; }
.stagger-2 { transition-delay: 0.2s; }
.stagger-3 { transition-delay: 0.3s; }
.stagger-4 { transition-delay: 0.4s; }
.stagger-5 { transition-delay: 0.5s; }

@keyframes float {
    0%, 100% { transform: translateY(0); }
    50% { transform: translateY(-10px); }
}

.float-animation {
    animation: float 3s ease-in-out infinite;
}

.glow-on-hover {
    transition: box-shadow var(--transition-normal);
}

.glow-on-hover:hover {
    box-shadow: 0 0 40px rgba(99, 102, 241, 0.3);
}

.privacy-section {
    background: linear-gradient(180deg, var(--bg-primary) 0%, var(--bg-secondary) 100%);
}

.privacy-hero {
    text-align: center;
    margin-bottom: 48px;
}

.privacy-visual {
    display: inline-block;
    padding: 32px 60px;
    background: linear-gradient(135deg, rgba(34, 197, 94, 0.1) 0%, rgba(99, 102, 241, 0.1) 100%);
    border: 2px solid rgba(34, 197, 94, 0.3);
    border-radius: var(--radius-xl);
}

.privacy-icon-large {
    font-size: 48px;
    margin-bottom: 12px;
}

.privacy-headline {
    font-size: 24px;
    font-weight: 700;
    color: var(--text-primary);
    margin-bottom: 6px;
}

.privacy-subline {
    font-size: 14px;
    color: var(--text-secondary);
}

.privacy-features {
    display: grid;
    grid-template-columns: repeat(3, 1fr);
    gap: 24px;
    margin-bottom: 48px;
}

.privacy-feature {
    padding: 32px;
    background: var(--bg-card);
    border: 1px solid var(--border-color);
    border-radius: var(--radius-lg);
    transition: all var(--transition-normal);
}

.privacy-feature:hover {
    border-color: rgba(34, 197, 94, 0.3);
    transform: translateY(-4px);
}

.privacy-feature-icon {
    font-size: 36px;
    margin-bottom: 16px;
}

.privacy-feature h4 {
    font-size: 18px;
    font-weight: 600;
    margin-bottom: 12px;
}

.privacy-feature > p {
    font-size: 14px;
    color: var(--text-secondary);
    line-height: 1.6;
    margin-bottom: 20px;
}

.privacy-checklist {
    list-style: none;
    padding: 0;
    margin: 0;
}

.privacy-checklist li {
    font-size: 13px;
    color: var(--text-secondary);
    padding: 8px 0;
    padding-left: 24px;
    position: relative;
    border-top: 1px solid var(--border-color);
}

.privacy-checklist li:first-child {
    border-top: none;
}

.privacy-checklist li::before {
    content: '✓';
    position: absolute;
    left: 0;
    color: var(--success);
    font-weight: 700;
}

.privacy-comparison {
    padding: 32px;
    background: var(--bg-card);
    border: 1px solid var(--border-color);
    border-radius: var(--radius-lg);
}

.privacy-comparison h4 {
    font-size: 18px;
    font-weight: 600;
    margin-bottom: 24px;
}

.privacy-table {
    display: flex;
    flex-direction: column;
    gap: 0;
}

.privacy-row {
    display: grid;
    grid-template-columns: 1fr 1.5fr 1.5fr;
    gap: 0;
}

.privacy-row.header {
    background: var(--bg-tertiary);
    border-radius: var(--radius-md) var(--radius-md) 0 0;
}

.privacy-row:not(.header) {
    border-top: 1px solid var(--border-color);
}

.privacy-col {
    padding: 16px 20px;
    font-size: 13px;
}

.privacy-row.header .privacy-col {
    font-weight: 600;
    color: var(--text-primary);
}

.privacy-col:first-child {
    font-weight: 500;
    color: var(--text-primary);
}

.privacy-col.bad-header {
    color: var(--error);
}

.privacy-col.good-header {
    color: var(--success);
}

.privacy-col.bad {
    color: var(--text-muted);
    background: rgba(239, 68, 68, 0.03);
}

.privacy-col.good {
    color: var(--success);
    background: rgba(34, 197, 94, 0.05);
    font-weight: 500;
}

.deployment-options {
    display: grid;
    grid-template-columns: repeat(2, 1fr);
    gap: 24px;
    margin-bottom: 32px;
}

.deployment-card {
    padding: 32px;
    background: var(--bg-card);
    border: 1px solid var(--border-color);
    border-radius: var(--radius-lg);
    transition: all var(--transition-base);
}

.deployment-card:hover {
    border-color: var(--accent-primary);
    transform: translateY(-2px);
    box-shadow: 0 8px 32px rgba(139, 92, 246, 0.1);
}

.deployment-card.self-hosted {
    border-top: 3px solid var(--success);
}

.deployment-card.managed-saas {
    border-top: 3px solid var(--accent-primary);
}

.deployment-card-header {
    display: flex;
    align-items: center;
    gap: 12px;
    margin-bottom: 16px;
    flex-wrap: wrap;
}

.deployment-icon {
    font-size: 28px;
}

.deployment-card-header h4 {
    font-size: 18px;
    font-weight: 600;
    color: var(--text-primary);
    margin: 0;
    flex: 1;
}

.deployment-badge {
    font-size: 11px;
    font-weight: 600;
    text-transform: uppercase;
    letter-spacing: 0.5px;
    padding: 4px 10px;
    border-radius: 12px;
    background: var(--accent-primary);
    color: white;
}

.self-hosted .deployment-badge {
    background: var(--success);
}

.deployment-desc {
    font-size: 14px;
    color: var(--text-secondary);
    line-height: 1.6;
    margin-bottom: 20px;
}

.deployment-shared {
    padding: 24px 32px;
    background: var(--bg-tertiary);
    border-radius: var(--radius-lg);
    text-align: center;
}

.deployment-shared h4 {
    font-size: 14px;
    font-weight: 600;
    color: var(--text-muted);
    margin-bottom: 16px;
    text-transform: uppercase;
    letter-spacing: 0.5px;
}

.shared-features {
    display: flex;
    justify-content: center;
    flex-wrap: wrap;
    gap: 16px 32px;
}

.shared-feature {
    font-size: 13px;
    color: var(--text-secondary);
    display: flex;
    align-items: center;
    gap: 6px;
}

@media (max-width: 768px) {
    .deployment-options {
        grid-template-columns: 1fr;
    }

    .shared-features {
        flex-direction: column;
        gap: 8px;
    }
}

@media (max-width: 768px) {
    .privacy-features {
        grid-template-columns: 1fr;
    }

    .privacy-visual {
        padding: 32px 40px;
    }

    .privacy-headline {
        font-size: 24px;
    }

    .privacy-row {
        grid-template-columns: 1fr;
        border: 1px solid var(--border-color);
        border-radius: var(--radius-md);
        margin-bottom: 12px;
    }

    .privacy-row.header {
        display: none;
    }

    .privacy-col {
        padding: 12px 16px;
    }

    .privacy-col:first-child {
        background: var(--bg-tertiary);
        font-weight: 600;
    }
}

.benchmark-box {
    padding: 32px;
    margin-bottom: 40px;
    background: linear-gradient(135deg, rgba(34, 197, 94, 0.08) 0%, rgba(99, 102, 241, 0.08) 100%);
    border: 2px solid rgba(34, 197, 94, 0.3);
    border-radius: var(--radius-lg);
}

.benchmark-title {
    font-size: 18px;
    font-weight: 600;
    margin-bottom: 20px;
    color: var(--text-primary);
}

.benchmark-specs {
    display: flex;
    flex-direction: column;
    gap: 12px;
}

.spec-row {
    display: flex;
    justify-content: space-between;
    align-items: center;
    padding: 12px 16px;
    background: rgba(0, 0, 0, 0.2);
    border-radius: var(--radius-md);
}

.spec-row.highlight {
    background: rgba(34, 197, 94, 0.15);
    border: 1px solid rgba(34, 197, 94, 0.3);
}

.spec-row .spec-label {
    font-size: 14px;
    font-weight: 500;
    color: var(--text-secondary);
}

.spec-row .spec-value {
    font-size: 14px;
    font-weight: 500;
    color: var(--text-primary);
}

.spec-row.highlight .spec-value {
    color: #22c55e;
    font-size: 16px;
}

.methodology-grid {
    display: grid;
    grid-template-columns: repeat(4, 1fr);
    gap: 20px;
    margin-bottom: 48px;
}

.methodology-card {
    padding: 28px;
    background: var(--bg-card);
    border: 1px solid var(--border-color);
    border-radius: var(--radius-lg);
    transition: all var(--transition-normal);
}

.methodology-card:hover {
    border-color: rgba(99, 102, 241, 0.3);
    transform: translateY(-4px);
}

.methodology-icon {
    font-size: 32px;
    margin-bottom: 16px;
}

.methodology-card h4 {
    font-size: 16px;
    font-weight: 600;
    margin-bottom: 12px;
}

.methodology-card > p {
    font-size: 13px;
    color: var(--text-secondary);
    line-height: 1.6;
    margin-bottom: 20px;
}

.methodology-detail {
    padding: 12px 16px;
    background: var(--bg-tertiary);
    border-radius: var(--radius-md);
    display: flex;
    flex-direction: column;
    gap: 4px;
}

.detail-label {
    font-size: 10px;
    font-weight: 700;
    text-transform: uppercase;
    letter-spacing: 0.05em;
    color: var(--text-muted);
}

.detail-value {
    font-size: 14px;
    font-weight: 600;
    color: var(--accent-primary);
}

.metrics-definitions {
    padding: 32px;
    background: var(--bg-card);
    border: 1px solid var(--border-color);
    border-radius: var(--radius-lg);
}

.metrics-definitions h4 {
    font-size: 18px;
    font-weight: 600;
    margin-bottom: 24px;
}

.metrics-grid {
    display: grid;
    grid-template-columns: repeat(4, 1fr);
    gap: 16px;
}

.metric-item {
    padding: 20px;
    background: var(--bg-tertiary);
    border-radius: var(--radius-md);
    display: flex;
    flex-direction: column;
    gap: 8px;
}

.metric-name {
    font-size: 18px;
    font-weight: 700;
    color: var(--text-primary);
}

.metric-def {
    font-size: 14px;
    color: var(--text-secondary);
    line-height: 1.6;
    flex: 1;
}

.metric-target {
    font-size: 14px;
    font-weight: 600;
    color: var(--accent-primary);
    padding-top: 8px;
    border-top: 1px solid var(--border-color);
}

@media (max-width: 1024px) {
    .methodology-grid {
        grid-template-columns: repeat(2, 1fr);
    }

    .metrics-grid {
        grid-template-columns: repeat(2, 1fr);
    }
}

@media (max-width: 768px) {
    .methodology-grid {
        grid-template-columns: 1fr;
    }

    .metrics-grid {
        grid-template-columns: 1fr;
    }
}

.architecture-diagram {
    display: flex;
    flex-direction: column;
    gap: 0;
    margin-bottom: 48px;
}

.arch-layer {
    padding: 32px;
    border-radius: var(--radius-lg);
    position: relative;
}

.arch-layer.core {
    background: linear-gradient(135deg, rgba(99, 102, 241, 0.15) 0%, rgba(139, 92, 246, 0.1) 100%);
    border: 2px solid rgba(99, 102, 241, 0.4);
    text-align: center;
}

.arch-layer.middle {
    background: var(--bg-card);
    border: 1px solid var(--border-color);
}

.arch-layer.outer {
    background: var(--bg-tertiary);
    border: 1px solid var(--border-color);
}

.layer-label {
    font-size: 20px;
    font-weight: 700;
    color: var(--text-primary);
    margin-bottom: 8px;
}

.layer-desc {
    font-size: 14px;
    color: var(--text-secondary);
    max-width: 600px;
    margin: 0 auto;
}

.layer-badge {
    position: absolute;
    top: -12px;
    right: 24px;
    font-size: 10px;
    font-weight: 700;
    text-transform: uppercase;
    letter-spacing: 0.1em;
    padding: 6px 14px;
    background: var(--bg-primary);
    border: 1px solid var(--border-color);
    border-radius: 100px;
    color: var(--accent-primary);
}

.arch-layer.core .layer-badge {
    background: var(--accent-primary);
    color: white;
    border-color: var(--accent-primary);
}

.arch-connector {
    text-align: center;
    font-size: 24px;
    color: var(--accent-primary);
    padding: 8px 0;
}

.layer-content {
    display: grid;
    grid-template-columns: repeat(2, 1fr);
    gap: 24px;
}

.layer-module {
    padding: 20px;
    background: var(--bg-tertiary);
    border-radius: var(--radius-md);
}

.arch-layer.outer .layer-module {
    background: var(--bg-card);
}

.module-title {
    display: block;
    font-size: 13px;
    font-weight: 600;
    color: var(--text-primary);
    margin-bottom: 12px;
}

.module-items {
    display: flex;
    flex-wrap: wrap;
    gap: 8px;
}

.module-items span {
    font-size: 11px;
    padding: 4px 10px;
    background: var(--bg-card);
    border: 1px solid var(--border-color);
    border-radius: 100px;
    color: var(--text-secondary);
}

.arch-layer.outer .module-items span {
    background: var(--bg-tertiary);
}

.extension-examples h4 {
    font-size: 18px;
    font-weight: 600;
    margin-bottom: 24px;
}

.extension-grid {
    display: grid;
    grid-template-columns: repeat(4, 1fr);
    gap: 20px;
}

.extension-item {
    padding: 28px;
    background: var(--bg-card);
    border: 1px solid var(--border-color);
    border-radius: var(--radius-lg);
    transition: all var(--transition-normal);
}

.extension-item:hover {
    border-color: rgba(99, 102, 241, 0.3);
    transform: translateY(-4px);
}

.extension-icon {
    font-size: 28px;
    margin-bottom: 16px;
}

.extension-item h5 {
    font-size: 15px;
    font-weight: 600;
    margin-bottom: 10px;
}

.extension-item p {
    font-size: 13px;
    color: var(--text-secondary);
    line-height: 1.6;
    margin-bottom: 16px;
}

.extension-item code {
    display: block;
    font-family: 'JetBrains Mono', monospace;
    font-size: 11px;
    color: var(--text-muted);
    background: var(--bg-tertiary);
    padding: 10px 12px;
    border-radius: var(--radius-sm);
}

@media (max-width: 1024px) {
    .layer-content {
        grid-template-columns: 1fr;
    }

    .extension-grid {
        grid-template-columns: repeat(2, 1fr);
    }
}

@media (max-width: 768px) {
    .extension-grid {
        grid-template-columns: 1fr;
    }

    .arch-layer {
        padding: 24px;
    }

    .layer-badge {
        position: static;
        display: inline-block;
        margin-bottom: 16px;
    }
}

.mode-switcher {
    margin-bottom: 32px;
    padding: 24px;
    background: var(--bg-card);
    border: 1px solid var(--border-color);
    border-radius: var(--radius-lg);
}

.mode-header {
    display: flex;
    align-items: baseline;
    gap: 12px;
    margin-bottom: 16px;
}

.mode-label {
    font-size: 14px;
    font-weight: 600;
    color: var(--text-primary);
}

.mode-desc {
    font-size: 12px;
    color: var(--text-muted);
}

.mode-options {
    display: flex;
    gap: 12px;
}

.mode-option {
    flex: 1;
    display: flex;
    flex-direction: column;
    align-items: center;
    gap: 6px;
    padding: 16px;
    background: var(--bg-tertiary);
    border: 2px solid var(--border-color);
    border-radius: var(--radius-md);
    cursor: pointer;
    transition: all var(--transition-normal);
}

.mode-option:hover {
    border-color: var(--accent-primary);
    background: rgba(99, 102, 241, 0.05);
}

.mode-option.active {
    border-color: var(--accent-primary);
    background: rgba(99, 102, 241, 0.1);
}

.mode-icon {
    font-size: 24px;
}

.mode-name {
    font-size: 13px;
    font-weight: 700;
    color: var(--text-primary);
    font-family: 'JetBrains Mono', monospace;
}

.mode-detail {
    font-size: 11px;
    color: var(--text-muted);
}

.pipeline-visual[data-active-mode="fast"] .pipeline-stage[data-stage="3"],
.pipeline-visual[data-active-mode="fast"] .pipeline-stage[data-stage="4"] {
    opacity: 0.4;
}

.pipeline-visual[data-active-mode="deep"] .pipeline-stage {
    border-color: var(--accent-primary);
}

@media (max-width: 768px) {
    .mode-options {
        flex-direction: column;
    }
}

.proof-chain-viewer {
    background: var(--bg-card);
    border: 2px solid var(--border-color);
    border-radius: var(--radius-lg);
    overflow: hidden;
}

.proof-viewer-layout {
    display: grid;
    grid-template-columns: 1fr 1fr;
    gap: 0;
}

.proof-code-panel {
    border-right: 1px solid var(--border-color);
}

.proof-code-header {
    display: flex;
    align-items: center;
    justify-content: space-between;
    padding: 12px 20px;
    background: var(--bg-tertiary);
    border-bottom: 1px solid var(--border-color);
}

.proof-file-name {
    font-family: 'JetBrains Mono', monospace;
    font-size: 12px;
    color: var(--text-secondary);
}

.proof-severity {
    font-size: 10px;
    font-weight: 700;
    text-transform: uppercase;
    padding: 4px 10px;
    border-radius: var(--radius-sm);
}

.proof-severity.critical {
    background: rgba(239, 68, 68, 0.15);
    color: var(--error);
}

.proof-code {
    margin: 0;
    padding: 20px;
    font-family: 'JetBrains Mono', monospace;
    font-size: 12px;
    line-height: 1.8;
    background: transparent;
    overflow-x: auto;
}

.proof-code .line-num {
    color: var(--text-muted);
    margin-right: 16px;
    user-select: none;
}

.proof-code .code-highlight.source {
    background: rgba(234, 179, 8, 0.15);
    padding: 2px 4px;
    border-radius: 3px;
}

.proof-code .code-highlight.sink {
    background: rgba(239, 68, 68, 0.15);
    padding: 2px 4px;
    border-radius: 3px;
}

.proof-chips-panel {
    padding: 20px;
    display: flex;
    flex-direction: column;
    gap: 16px;
}

.proof-chips-panel h4 {
    font-size: 14px;
    font-weight: 600;
    margin: 0;
}

.proof-chips {
    display: flex;
    gap: 8px;
}

.proof-chip {
    flex: 1;
    display: flex;
    align-items: center;
    justify-content: center;
    gap: 6px;
    padding: 12px 16px;
    background: var(--bg-tertiary);
    border: 2px solid var(--border-color);
    border-radius: var(--radius-md);
    cursor: pointer;
    transition: all var(--transition-fast);
}

.proof-chip:hover {
    transform: translateY(-2px);
}

.proof-chip.selected {
    transform: translateY(-2px) scale(1.05);
    box-shadow: 0 4px 12px rgba(0, 0, 0, 0.2);
}

.proof-chip.proven {
    border-color: var(--success);
    background: rgba(34, 197, 94, 0.1);
}

.proof-chip.proven .chip-icon {
    color: var(--success);
}

.proof-chip.failed {
    border-color: var(--error);
    background: rgba(239, 68, 68, 0.1);
}

.proof-chip.failed .chip-icon {
    color: var(--error);
}

.proof-chip.uncertain {
    border-color: var(--warning);
    background: rgba(234, 179, 8, 0.1);
}

.proof-chip.uncertain .chip-icon {
    color: var(--warning);
}

.chip-icon {
    font-size: 14px;
    font-weight: 700;
}

.chip-name {
    font-size: 11px;
    font-weight: 700;
    font-family: 'JetBrains Mono', monospace;
    color: var(--text-primary);
}

.chip-explanations {
    display: flex;
    flex-direction: column;
    gap: 8px;
}

.chip-explanation {
    padding: 12px 16px;
    background: var(--bg-tertiary);
    border-radius: var(--radius-md);
    font-size: 12px;
    line-height: 1.5;
    display: none;
}

.chip-explanation.active {
    display: block;
}

.chip-explanation strong {
    display: block;
    margin-bottom: 4px;
    color: var(--text-primary);
}

.chip-explanation p {
    color: var(--text-secondary);
    margin: 0;
}

.chip-explanation code {
    background: var(--bg-card);
    padding: 2px 6px;
    border-radius: 3px;
    font-size: 11px;
}

.proof-verdict {
    display: flex;
    align-items: center;
    gap: 12px;
    padding: 16px;
    background: rgba(239, 68, 68, 0.05);
    border: 1px solid rgba(239, 68, 68, 0.2);
    border-radius: var(--radius-md);
    margin-top: auto;
}

.verdict-label {
    font-size: 13px;
    font-weight: 500;
    color: var(--text-secondary);
}

.verdict-value {
    font-size: 14px;
    font-weight: 700;
    font-family: 'JetBrains Mono', monospace;
    padding: 4px 12px;
    border-radius: var(--radius-sm);
}

.verdict-value.vuln {
    background: var(--error);
    color: white;
}

.verdict-value.review {
    background: var(--warning);
    color: black;
}

.verdict-value.safe {
    background: var(--success);
    color: white;
}

.proof-viewer-footer {
    padding: 16px 20px;
    background: var(--bg-tertiary);
    border-top: 1px solid var(--border-color);
}

@media (max-width: 1024px) {
    .proof-viewer-layout {
        grid-template-columns: 1fr;
    }

    .proof-code-panel {
        border-right: none;
        border-bottom: 1px solid var(--border-color);
    }
}

@media (max-width: 768px) {
    .proof-chips {
        flex-wrap: wrap;
    }

    .proof-chip {
        flex: 1 1 45%;
    }
}

.call-graph-animation {
    margin-top: 48px;
    padding: 32px;
    background: var(--bg-card);
    border: 1px solid var(--border-color);
    border-radius: var(--radius-lg);
}

.call-graph-animation h4 {
    font-size: 18px;
    font-weight: 600;
    margin-bottom: 8px;
}

.call-graph-desc {
    font-size: 14px;
    color: var(--text-secondary);
    margin-bottom: 24px;
}

.call-graph-svg-container {
    width: 100%;
    overflow-x: auto;
    padding: 20px 0;
}

.call-graph-svg {
    width: 100%;
    max-width: 800px;
    height: 120px;
    margin: 0 auto;
    display: block;
}

.graph-node rect {
    fill: var(--bg-tertiary);
    stroke: var(--border-color);
    stroke-width: 2;
    transition: all var(--transition-normal);
}

.graph-node:hover rect {
    fill: rgba(99, 102, 241, 0.1);
    stroke: var(--accent-primary);
}

.graph-node.sink rect {
    fill: rgba(239, 68, 68, 0.1);
    stroke: var(--error);
}

.graph-node text {
    fill: var(--text-primary);
    font-size: 12px;
    font-weight: 500;
    text-anchor: middle;
    font-family: 'Inter', sans-serif;
}

.arrow-path {
    stroke: var(--accent-primary);
    stroke-width: 2;
    fill: none;
    stroke-dasharray: 8 4;
    animation: dashMove 1s linear infinite;
}

@keyframes dashMove {
    to {
        stroke-dashoffset: -12;
    }
}

.taint-dot {
    fill: var(--warning);
    filter: drop-shadow(0 0 6px rgba(234, 179, 8, 0.5));
}

.label-text {
    fill: var(--text-muted);
    font-size: 10px;
    font-family: 'JetBrains Mono', monospace;
    text-anchor: middle;
}

.label-text.danger {
    fill: var(--error);
    font-weight: 700;
}

.diff-animation {
    margin-top: 48px;
    padding: 32px;
    background: var(--bg-card);
    border: 1px solid var(--border-color);
    border-radius: var(--radius-lg);
}

.diff-animation h4 {
    font-size: 18px;
    font-weight: 600;
    margin-bottom: 8px;
}

.diff-desc {
    font-size: 14px;
    color: var(--text-secondary);
    margin-bottom: 24px;
}

.diff-container {
    display: flex;
    align-items: stretch;
    gap: 0;
    margin-bottom: 24px;
}

.diff-panel {
    flex: 1;
    border-radius: var(--radius-md);
    overflow: hidden;
    border: 1px solid var(--border-color);
}

.diff-panel.vulnerable {
    border-color: rgba(239, 68, 68, 0.3);
}

.diff-panel.patched {
    border-color: rgba(34, 197, 94, 0.3);
}

.diff-header {
    display: flex;
    align-items: center;
    gap: 8px;
    padding: 12px 16px;
    border-bottom: 1px solid var(--border-color);
}

.diff-panel.vulnerable .diff-header {
    background: rgba(239, 68, 68, 0.05);
}

.diff-panel.patched .diff-header {
    background: rgba(34, 197, 94, 0.05);
}

.diff-icon {
    font-size: 16px;
}

.diff-label {
    font-size: 12px;
    font-weight: 600;
    color: var(--text-primary);
}

.diff-code {
    margin: 0;
    padding: 16px;
    font-family: 'JetBrains Mono', monospace;
    font-size: 12px;
    line-height: 1.8;
    background: var(--bg-tertiary);
    overflow-x: auto;
}

.diff-line {
    display: block;
}

.diff-line.unchanged {
    color: var(--text-secondary);
}

.diff-line.removed {
    color: var(--error);
    background: rgba(239, 68, 68, 0.1);
    margin: 0 -16px;
    padding: 0 16px;
}

.diff-line.added {
    color: var(--success);
    background: rgba(34, 197, 94, 0.1);
    margin: 0 -16px;
    padding: 0 16px;
}

.diff-arrow {
    display: flex;
    align-items: center;
    justify-content: center;
    width: 60px;
    flex-shrink: 0;
}

.diff-arrow svg {
    width: 32px;
    height: 32px;
    color: var(--accent-primary);
    animation: arrowPulse 2s ease-in-out infinite;
}

.diff-explanation {
    padding: 20px;
    background: var(--bg-tertiary);
    border-radius: var(--radius-md);
}

.diff-explanation h5 {
    font-size: 14px;
    font-weight: 600;
    margin-bottom: 12px;
}

.diff-explanation ul {
    list-style: none;
    padding: 0;
    margin: 0;
    display: flex;
    flex-direction: column;
    gap: 8px;
}

.diff-explanation li {
    font-size: 13px;
    color: var(--text-secondary);
    line-height: 1.5;
}

.diff-explanation li strong {
    color: var(--text-primary);
}

.diff-explanation code {
    background: var(--bg-card);
    padding: 2px 6px;
    border-radius: 3px;
    font-size: 11px;
}

@media (max-width: 768px) {
    .diff-container {
        flex-direction: column;
    }

    .diff-arrow {
        width: 100%;
        height: 40px;
        transform: rotate(90deg);
    }
}

@media (prefers-reduced-motion: reduce) {
    *,
    *::before,
    *::after {
        animation-duration: 0.01ms !important;
        animation-iteration-count: 1 !important;
        transition-duration: 0.01ms !important;
    }

    .pipeline-stage {
        animation: none;
        opacity: 1;
        transform: none;
    }

    .pipeline-arrow svg,
    .chain-arrow,
    .diff-arrow svg {
        animation: none;
    }

    .arrow-path {
        animation: none;
        stroke-dasharray: none;
    }

    .taint-dot {
        display: none;
    }

    .flow-line::after {
        animation: none;
    }

    .glow-on-hover:hover {
        box-shadow: none;
    }
}

.pillars-grid {
    display: grid;
    grid-template-columns: repeat(2, 1fr);
    gap: 24px;
    margin-bottom: 48px;
}

.pillar-card {
    padding: 32px;
    background: var(--bg-card);
    border: 2px solid var(--border-color);
    border-radius: var(--radius-xl);
    position: relative;
    transition: all var(--transition-normal);
}

.pillar-card:hover {
    transform: translateY(-4px);
    box-shadow: var(--shadow-lg);
}

.pillar-card.local {
    border-color: rgba(34, 197, 94, 0.3);
}

.pillar-card.local:hover {
    border-color: rgba(34, 197, 94, 0.5);
    box-shadow: 0 8px 32px rgba(34, 197, 94, 0.15);
}

.pillar-card.proof {
    border-color: rgba(99, 102, 241, 0.3);
}

.pillar-card.proof:hover {
    border-color: rgba(99, 102, 241, 0.5);
    box-shadow: 0 8px 32px rgba(99, 102, 241, 0.15);
}

.pillar-card.verification {
    border-color: rgba(139, 92, 246, 0.3);
}

.pillar-card.verification:hover {
    border-color: rgba(139, 92, 246, 0.5);
    box-shadow: 0 8px 32px rgba(139, 92, 246, 0.15);
}

.pillar-card.modes {
    border-color: rgba(234, 179, 8, 0.3);
}

.pillar-card.modes:hover {
    border-color: rgba(234, 179, 8, 0.5);
    box-shadow: 0 8px 32px rgba(234, 179, 8, 0.15);
}

.pillar-number {
    position: absolute;
    top: 20px;
    right: 24px;
    font-size: 48px;
    font-weight: 800;
    color: var(--border-color);
    line-height: 1;
}

.pillar-icon {
    font-size: 36px;
    margin-bottom: 16px;
}

.pillar-card h3 {
    font-size: 24px;
    font-weight: 700;
    margin-bottom: 8px;
}

.pillar-tagline {
    font-size: 16px;
    color: var(--text-secondary);
    margin-bottom: 24px;
    font-weight: 500;
}

.pillar-details {
    margin-bottom: 24px;
}

.pillar-details ul {
    list-style: none;
    padding: 0;
    margin: 0;
}

.pillar-details li {
    font-size: 14px;
    color: var(--text-secondary);
    padding: 8px 0;
    padding-left: 24px;
    position: relative;
    border-top: 1px solid var(--border-color);
}

.pillar-details li:first-child {
    border-top: none;
}

.pillar-details li::before {
    content: '→';
    position: absolute;
    left: 0;
    color: var(--accent-primary);
    font-weight: 700;
}

.pillar-card.local .pillar-details li::before {
    color: var(--success);
}

.pillar-card.modes .pillar-details li::before {
    color: var(--warning);
}

.pillar-contrast {
    padding: 16px;
    background: var(--bg-tertiary);
    border-radius: var(--radius-md);
    margin-top: auto;
}

.contrast-label {
    display: block;
    font-size: 10px;
    font-weight: 700;
    text-transform: uppercase;
    letter-spacing: 0.1em;
    color: var(--text-muted);
    margin-bottom: 6px;
}

.contrast-text {
    font-size: 13px;
    color: var(--text-secondary);
    line-height: 1.5;
}

@media (max-width: 1024px) {
    .pillars-grid {
        grid-template-columns: 1fr;
    }

    .pillar-number {
        font-size: 36px;
    }
}

@media (max-width: 768px) {
    .pillar-card {
        padding: 24px;
    }

    .pillar-card h3 {
        font-size: 20px;
    }

    .pillar-number {
        font-size: 28px;
        top: 16px;
        right: 16px;
    }
}

.benchmark-stats {
    display: flex;
    justify-content: center;
    align-items: center;
    gap: 48px;
    margin-bottom: 48px;
    padding: 40px;
    background: var(--bg-card);
    border: 1px solid var(--border-color);
    border-radius: var(--radius-lg);
    max-width: 900px;
    margin-left: auto;
    margin-right: auto;
}

.benchmark-stat {
    text-align: center;
}

.benchmark-stat.highlight {
    padding: 24px 40px;
    background: rgba(34, 197, 94, 0.1);
    border: 2px solid rgba(34, 197, 94, 0.3);
    border-radius: var(--radius-lg);
    margin: -24px 0;
}

.stat-big {
    display: block;
    font-size: 56px;
    font-weight: 800;
    color: var(--text-primary);
    line-height: 1;
    margin-bottom: 8px;
}

.benchmark-stat.highlight .stat-big {
    color: #22c55e;
}

.stat-plus {
    font-size: 36px;
    vertical-align: super;
}

.stat-label {
    display: block;
    font-size: 14px;
    color: var(--text-secondary);
    font-weight: 500;
}

.language-breakdown {
    margin-top: 48px;
    padding: 32px;
    background: var(--bg-card);
    border: 1px solid var(--border-color);
    border-radius: var(--radius-lg);
}

.language-breakdown h4 {
    font-size: 18px;
    font-weight: 600;
    margin-bottom: 24px;
}

.language-grid {
    display: grid;
    grid-template-columns: repeat(2, 1fr);
    gap: 16px 32px;
}

.lang-item {
    display: flex;
    align-items: center;
    gap: 12px;
}

.lang-item .lang-name {
    width: 100px;
    font-size: 14px;
    font-weight: 500;
    color: var(--text-primary);
}

.lang-bar {
    flex: 1;
    height: 8px;
    background: var(--bg-tertiary);
    border-radius: 4px;
    overflow: hidden;
}

.lang-fill {
    height: 100%;
    background: linear-gradient(90deg, var(--accent-primary), #22c55e);
    border-radius: 4px;
    transition: width 0.6s ease;
}

.lang-pct {
    width: 48px;
    font-size: 14px;
    font-weight: 700;
    color: #22c55e;
    text-align: right;
    font-family: 'JetBrains Mono', monospace;
}

.testing-process {
    margin-top: 48px;
    padding: 32px;
    background: var(--bg-card);
    border: 1px solid var(--border-color);
    border-radius: var(--radius-lg);
}

.testing-process h4 {
    font-size: 18px;
    font-weight: 600;
    margin-bottom: 24px;
}

.process-steps {
    display: flex;
    align-items: center;
    justify-content: center;
    gap: 8px;
    flex-wrap: nowrap;
}

.process-step {
    display: flex;
    align-items: center;
    gap: 10px;
    padding: 12px 14px;
    min-width: 160px;
    max-width: 200px;
    background: var(--bg-tertiary);
    border: 1px solid var(--border-color);
    border-radius: var(--radius-md);
}

.step-number {
    width: 28px;
    height: 28px;
    display: flex;
    align-items: center;
    justify-content: center;
    background: var(--accent-primary);
    color: white;
    font-size: 14px;
    font-weight: 700;
    border-radius: 50%;
}

.step-title {
    font-size: 13px;
    font-weight: 500;
    color: var(--text-primary);
}

.process-arrow {
    font-size: 20px;
    color: var(--accent-primary);
    font-weight: bold;
}

.vuln-categories {
    margin-top: 48px;
    padding: 32px;
    background: var(--bg-card);
    border: 1px solid var(--border-color);
    border-radius: var(--radius-lg);
}

.vuln-categories h4 {
    font-size: 18px;
    font-weight: 600;
    margin-bottom: 24px;
}

.category-grid {
    display: flex;
    flex-wrap: wrap;
    gap: 12px;
}

.category-tag {
    padding: 8px 16px;
    border-radius: 100px;
    font-size: 13px;
    font-weight: 600;
}

.category-tag.critical {
    background: rgba(239, 68, 68, 0.15);
    color: #ef4444;
    border: 1px solid rgba(239, 68, 68, 0.3);
}

.category-tag.high {
    background: rgba(249, 115, 22, 0.15);
    color: #f97316;
    border: 1px solid rgba(249, 115, 22, 0.3);
}

.category-tag.medium {
    background: rgba(234, 179, 8, 0.15);
    color: #eab308;
    border: 1px solid rgba(234, 179, 8, 0.3);
}

.category-tag.low {
    background: rgba(34, 197, 94, 0.15);
    color: #22c55e;
    border: 1px solid rgba(34, 197, 94, 0.3);
}

.mode-comparison {
    margin-top: 48px;
    padding: 32px;
    background: var(--bg-card);
    border: 1px solid var(--border-color);
    border-radius: var(--radius-lg);
}

.mode-comparison h4 {
    font-size: 18px;
    font-weight: 600;
    margin-bottom: 24px;
}

.mode-table {
    display: flex;
    flex-direction: column;
    gap: 8px;
}

.mode-row {
    display: grid;
    grid-template-columns: 1fr 1.5fr 1fr 1.5fr;
    gap: 16px;
    padding: 16px 20px;
    background: var(--bg-tertiary);
    border-radius: var(--radius-md);
    align-items: center;
}

.mode-row.header {
    background: transparent;
    border-bottom: 1px solid var(--border-color);
    border-radius: 0;
    padding: 12px 20px;
}

.mode-row.header .mode-col {
    font-size: 12px;
    font-weight: 700;
    text-transform: uppercase;
    letter-spacing: 0.05em;
    color: var(--text-muted);
}

.mode-row.highlight {
    background: rgba(34, 197, 94, 0.1);
    border: 1px solid rgba(34, 197, 94, 0.3);
}

.mode-col {
    font-size: 14px;
    color: var(--text-primary);
}

.mode-col strong {
    font-weight: 600;
}

.reproduce-content {
    display: flex;
    flex-direction: column;
    gap: 24px;
}

.reproduce-card {
    padding: 32px;
    background: var(--bg-card);
    border: 1px solid var(--border-color);
    border-radius: var(--radius-lg);
}

.reproduce-card h4 {
    font-size: 18px;
    font-weight: 600;
    margin-bottom: 12px;
}

.reproduce-card > p {
    font-size: 14px;
    color: var(--text-secondary);
    margin-bottom: 20px;
}

.code-block {
    background: var(--bg-tertiary);
    border: 1px solid var(--border-color);
    border-radius: var(--radius-md);
    overflow: hidden;
}

.code-block pre {
    margin: 0;
    padding: 20px;
    overflow-x: auto;
}

.code-block code {
    font-family: 'JetBrains Mono', monospace;
    font-size: 13px;
    line-height: 1.7;
    color: var(--text-primary);
}

.reproduce-list {
    list-style: none;
    padding: 0;
    margin: 0;
    display: flex;
    flex-direction: column;
    gap: 12px;
}

.reproduce-list li {
    padding: 12px 16px;
    background: var(--bg-tertiary);
    border-radius: var(--radius-md);
    font-size: 14px;
    color: var(--text-secondary);
}

.reproduce-list li strong {
    color: var(--text-primary);
}

.reproduce-note {
    padding: 20px;
    background: rgba(99, 102, 241, 0.1);
    border: 1px solid rgba(99, 102, 241, 0.3);
    border-radius: var(--radius-md);
}

.reproduce-note p {
    font-size: 13px;
    color: var(--text-secondary);
    margin: 0;
}

.reproduce-note strong {
    color: var(--accent-primary);
}

@media (max-width: 1024px) {
    .benchmark-stats {
        gap: 32px;
    }

    .stat-big {
        font-size: 42px;
    }

    .language-grid {
        grid-template-columns: 1fr;
    }

    .mode-row {
        grid-template-columns: 1fr 1fr;
        gap: 12px;
    }
}

@media (max-width: 768px) {
    .benchmark-stats {
        flex-direction: column;
        gap: 24px;
        padding: 24px;
    }

    .benchmark-stat.highlight {
        margin: 0;
        padding: 20px;
    }

    .stat-big {
        font-size: 36px;
    }

    .process-steps {
        flex-direction: column;
    }

    .process-arrow {
        transform: rotate(90deg);
    }

    .mode-row {
        grid-template-columns: 1fr;
        text-align: center;
    }

    .mode-row.header {
        display: none;
    }

    .mode-col::before {
        display: block;
        font-size: 10px;
        font-weight: 700;
        text-transform: uppercase;
        letter-spacing: 0.05em;
        color: var(--text-muted);
        margin-bottom: 4px;
    }

    .mode-row:not(.header) .mode-col:nth-child(1)::before { content: 'Mode'; }
    .mode-row:not(.header) .mode-col:nth-child(2)::before { content: 'Speed'; }
    .mode-row:not(.header) .mode-col:nth-child(3)::before { content: 'Recall'; }
    .mode-row:not(.header) .mode-col:nth-child(4)::before { content: 'Use Case'; }
}

.architecture-comparison {
    display: grid;
    grid-template-columns: repeat(2, 1fr);
    gap: 24px;
    margin-bottom: 48px;
}

.arch-card {
    padding: 32px;
    background: var(--bg-card);
    border: 1px solid var(--border-color);
    border-radius: var(--radius-lg);
}

.arch-card h4 {
    font-size: 18px;
    font-weight: 600;
    margin-bottom: 24px;
    text-align: center;
}

.arch-flow {
    display: flex;
    align-items: center;
    justify-content: center;
    gap: 8px;
    flex-wrap: nowrap;
    margin-bottom: 20px;
}

.flow-step {
    display: flex;
    flex-direction: column;
    align-items: center;
    gap: 6px;
    padding: 12px 16px;
    background: transparent;
    border: none;
    border-radius: var(--radius-md);
    min-width: 80px;
    max-width: 110px;
    text-align: center;
}

.flow-step.highlight {
    background: transparent;
    border: none;
}

.flow-icon {
    font-size: 24px;
}

.flow-step:last-child .flow-icon {
    color: var(--accent-primary);
    font-weight: bold;
}

.arch-flow .flow-label {
    font-size: 12px;
    font-weight: 500;
    color: var(--text-secondary);
    background: none;
    padding: 0;
    border-radius: 0;
}

.flow-arrow {
    font-size: 20px;
    color: var(--accent-primary);
    font-weight: bold;
}

.arch-note {
    text-align: center;
    font-size: 13px;
    color: var(--text-secondary);
    padding: 12px 16px;
    background: rgba(34, 197, 94, 0.1);
    border-radius: var(--radius-md);
}

.data-retention {
    padding: 32px;
    background: var(--bg-card);
    border: 1px solid var(--border-color);
    border-radius: var(--radius-lg);
}

.data-retention h4 {
    font-size: 18px;
    font-weight: 600;
    margin-bottom: 24px;
}

.retention-grid {
    display: grid;
    grid-template-columns: repeat(2, 1fr);
    gap: 16px;
}

.retention-item {
    display: flex;
    justify-content: space-between;
    align-items: center;
    padding: 16px 20px;
    background: var(--bg-tertiary);
    border-radius: var(--radius-md);
}

.retention-label {
    font-size: 14px;
    font-weight: 600;
    color: var(--text-primary);
}

.retention-value {
    font-size: 13px;
    color: var(--text-secondary);
    text-align: right;
}

@media (max-width: 1024px) {
    .architecture-comparison {
        grid-template-columns: 1fr;
    }

    .retention-grid {
        grid-template-columns: 1fr;
    }
}

@media (max-width: 768px) {
    .arch-flow {
        flex-direction: column;
    }

    .flow-arrow {
        transform: rotate(90deg);
    }

    .retention-item {
        flex-direction: column;
        text-align: center;
        gap: 8px;
    }

    .retention-value {
        text-align: center;
    }
}

.faq-grid {
    display: grid;
    grid-template-columns: repeat(2, 1fr);
    gap: 24px;
}

.faq-item {
    padding: 28px;
    background: var(--bg-card);
    border: 1px solid var(--border-color);
    border-radius: var(--radius-lg);
    transition: all var(--transition-normal);
}

.faq-item:hover {
    border-color: rgba(99, 102, 241, 0.3);
}

.faq-item h4 {
    font-size: 16px;
    font-weight: 600;
    color: var(--text-primary);
    margin-bottom: 12px;
    line-height: 1.4;
}

.faq-item p {
    font-size: 14px;
    color: var(--text-secondary);
    line-height: 1.7;
    margin: 0;
}

.faq-item p strong {
    color: var(--success);
}

@media (max-width: 1024px) {
    .faq-grid {
        grid-template-columns: 1fr;
    }
}

@media (max-width: 768px) {
    .faq-item {
        padding: 20px;
    }

    .faq-item h4 {
        font-size: 15px;
    }
}